Author of the publication

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.

No persons found for author name Mello, Paola
add a person with the name Mello, Paola
 

Other publications of authors with the same name

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions., , , and . Intelligenza Artificiale, 5 (1): 101-105 (2011)Modularity in Logic Programming., , and . J. Log. Program., (1994)Extending Constraint Logic Programming for Temporal Reasoning., , and . Ann. Math. Artif. Intell., 22 (1-2): 139-158 (1998)Interpreting Abduction in CLP., , , , and . APPIA-GULP-PRODE, page 25-35. (2003)Interactive Constraint Satisfaction and its Application to Visual Object Recognition., , , , and . APPIA-GULP-PRODE, page 57-70. (1998)Normal Logic Programs as Open Positive Programs., , , and . JICSLP, page 783-797. MIT Press, (1992)Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols., , , and . CBMS, page 503-505. IEEE Computer Society, (2005)Checking Compliance of Execution Traces to Business Rules., , , , , and . Business Process Management Workshops, volume 17 of Lecture Notes in Business Information Processing, page 134-145. Springer, (2008)Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting., , , and . SWAP, volume 426 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Policy-based Reasoning for Smart Web Service Interaction., , , , and . SWAP, volume 201 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)