Author of the publication

Objects in a Logic Programming Framework.

, , and . RCLP, volume 592 of Lecture Notes in Computer Science, page 102-113. Springer, (1991)

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

An Algorithm for Learning Abductive Rules., , , and . APPIA-GULP-PRODE, page 295-306. (1997)Mapping of Deontic Operators to Abductive Expectations., , , , , and . NORMAS, page 126-136. (2005)Probabilistic Ontologies in Datalog+/-., , and . CILC, volume 857 of CEUR Workshop Proceedings, page 221-235. CEUR-WS.org, (2012)Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties., , , , and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Coordinating the safe execution of tasks in a constrained multi-agent system., , , and . AAMAS, page 940-941. ACM, (2002)Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach., , , , and . Theory Pract. Log. Program., 19 (3): 449-476 (2019)Fun&Co: identification of key functional differences in transcriptomes., , , , , , , , and . Bioinform., 23 (20): 2725-2732 (2007)Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture., , , and . ELP, volume 798 of Lecture Notes in Computer Science, page 62-76. Springer, (1993)Abductive Reasoning in a Multi-Theory Framework., , , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 137-146. Springer, (1991)Multi-level Copying For Unification In Parallel Architectures., , , and . PDP, page 518-525. IEEE, (1994)