Author of the publication

Accountable Protocols in Abductive Logic Programming.

, , and . ACM Trans. Internet Techn., 18 (4): 46:1-46:20 (2018)

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

Unsupervised and supervised learning in cascade for petroleum geology., , and . Expert Syst. Appl., 39 (10): 9504-9514 (2012)Exploiting Type Analysis for Unification in a Distributed Environment., , , and . Comput. Artif. Intell., 18 (5): 447-465 (1999)Blackboard- and Object-Based Systems via Multi-Head Clauses., , , and . Comput. Artif. Intell., 16 (4): 401-423 (1997)A distributed constraint-based scheduler., , and . Artif. Intell. Eng., 11 (2): 91-105 (1997)Statistical relational learning for workflow mining., , and . Intell. Data Anal., 20 (3): 515-541 (2016)Coordinating the safe execution of tasks in a constrained multi-agent system., , , and . AAMAS, page 940-941. ACM, (2002)LAILA: a language for coordinating abductive reasoning among logic agents., , , and . Comput. Lang., 27 (4): 137-161 (2001)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)A Rationalisation of the ATMS in Terms of Partial Evaluation., and . LOPSTR, page 118-131. Springer, (1992)