Author of the publication

Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases.

, , , and . ILPS, page 415-416. MIT Press, (1997)

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

The Situation Calculus and Event Calculus Compared., and . ILPS, page 539-553. MIT Press, (1994)Programming in logic without logic programming., and . Theory Pract. Log. Program., 16 (3): 269-295 (2016)An Assumption-Based Framework for Non-Monotonic Reasoning., , and . LPNMR, page 171-189. MIT Press, (1993)Database Updates in the Event Calculus.. J. Log. Program., 12 (1&2): 121-146 (1992)Computational Logic as an Intelligent Agent's Language of Thought.. ICAART (1), page IS-11. SciTePress, (2015)An Abstract, Argumentation-Theoretic Approach to Default Reasoning., , , and . Artif. Intell., (1997)Artificial Intelligence and Human Thinking.. IJCAI, page 11-16. IJCAI/AAAI, (2011)The Limitaions of Logic and Its Role in Artificial Intelligence.. Foundations of Knowledge Base Management (Xania), page 477-493. Springer, (1985)How to do it with LPS (Logic-Based Production System)., , and . RuleML+RR (Supplement), volume 1875 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)The early history of Logic Programming. CACM, 31 (1): 38-43 (1988)