Author of the publication

Expressing and Verifying Business Contracts with Abductive Logic Programming.

, , , , , , and . Int. J. Electron. Commer., 12 (4): 9-38 (2008)

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.

 

Other publications of authors with the same name

Normal Logic Programs as Open Positive Programs., , , and . JICSLP, page 783-797. MIT Press, (1992)An Optimized Implementation of a Dynamic Modular Logic Language., , and . Software - Concepts and Tools, 17 (4): 148-162 (1996)Interpreting Abduction in CLP., , , , and . APPIA-GULP-PRODE, page 25-35. (2003)Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System., , , , , , and . ICTAI, page 752-759. IEEE Computer Society, (2015)Expressing Collaborative and Competitive Coordination among Abductive., , , and . CL-2000 Workshop on Computational Logic in Multi-Agent Systems, page 35-43. (2000)Combining Solvers in a Meta Constraint Logic Programming Architecture., , and . FroCoS, volume 3 of Applied Logic Series, page 267-283. Kluwer Academic Publishers, (1996)Learning Multiple Predicates., , and . AIMSA, volume 1480 of Lecture Notes in Computer Science, page 303-316. Springer, (1998)Interactive Constraint Satisfaction and its Application to Visual Object Recognition., , , , and . APPIA-GULP-PRODE, page 57-70. (1998)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)