PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Chesani, Federico"

Author of the publication

copydeleteadd this publication to your clipboard
LPAD-based Fall Risk Assessment.

, , , , and . PAI@AI*IA, volume 1107 of CEUR Workshop Proceedings, page 15-20. CEUR-WS.org, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Federico Pinchetti University of Stuttgart

 

Other publications of authors with the same name

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework., , , , and . Multiagent and Grid Systems, 6 (2): 165-190 (2010)A distributed approach to compliance monitoring of business process event streams., , , and . Future Generation Comp. Syst., (2018)Monitoring Time-Aware Commitments within Agent-Based Simulation Environments., , , and . Cybernetics and Systems, 42 (7): 546-566 (2011)A Verifiable Logic-Based Agent Architecture., , , , and . ISMIS, volume 4203 of Lecture Notes in Computer Science, page 188-197. Springer, (2006)Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines., , , , , , and . KR4HC, volume 5943 of Lecture Notes in Computer Science, page 76-87. Springer, (2009)Monitoring business constraints with the event calculus., , , , and . ACM TIST, 5 (1): 17:1-17:30 (2013)An abductive framework for a-priori verification of web services., , , , , and . PPDP, page 39-50. ACM, (2006)Verification of Choreographies During Execution Using the Reactive Event Calculus., , , and . WS-FM, volume 5387 of Lecture Notes in Computer Science, page 55-72. Springer, (2008)Modeling and Verification of Business Processes and Choreographies in ALP., , , and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper)., , and . URANIA@AI*IA, volume 1802 of CEUR Workshop Proceedings, page 44-49. CEUR-WS.org, (2016)