Author of the publication

An Abductive Framework for Extended Logic Programming.

, , , and . LPNMR, volume 928 of Lecture Notes in Computer Science, page 330-343. Springer, (1995)

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

Blackboard- and Object-Based Systems via Multi-Head Clauses., , , and . Comput. Artif. Intell., 16 (4): 401-423 (1997)Exploiting Type Analysis for Unification in a Distributed Environment., , , and . Comput. Artif. Intell., 18 (5): 447-465 (1999)GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module., , and . Int. J. Intell. Syst., (2023)A knowledge based system for the anticoagulant oral therapy., , , , , and . Intelligenza Artificiale, 1 (4): 9-15 (2004)An Algorithm for Learning Abductive Rules., , , and . APPIA-GULP-PRODE, page 295-306. (1997)LAILA: a language for coordinating abductive reasoning among logic agents., , , and . Comput. Lang., 27 (4): 137-161 (2001)Coordinating the safe execution of tasks in a constrained multi-agent system., , , and . AAMAS, page 940-941. ACM, (2002)Statistical relational learning for workflow mining., , and . Intell. Data Anal., 20 (3): 515-541 (2016)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)