Author of the publication

Partial Models of Extended Generalized Logic Programs.

, , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 149-163. Springer, (2000)

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

Automated Reasoning in Geometry Theorem Proving with Prolog., and . J. Autom. Reason., 2 (4): 329-390 (1986)'Classical' Negation in Nonmonotonic Reasoning and Logic Programming., , and . J. Autom. Reason., 20 (1): 107-142 (1998)Mediating Artificial Intelligence Developments through Negative and Positive Incentives., , , and . CoRR, (2020)Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems., , , and . AAMAS, page 1422-1430. ACM, (2017)Contradiction Removal within Well Founded Semantics., , and . LPNMR, page 105-119. The MIT Press, (1991)Properties of Stable Model Semantics Extensions., and . CoRR, (2014)Preferring and Updating in Abductive Multi-agent Systems., and . ESAW, volume 2203 of Lecture Notes in Computer Science, page 57-73. Springer, (2001)Preferring and Updating in Logic-Based Agents., and . INAP (LNCS Volume), volume 2543 of Lecture Notes in Computer Science, page 70-85. Springer, (2001)Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents., , and . RuleML Europe, volume 6826 of Lecture Notes in Computer Science, page 250-265. Springer, (2011)Contextual Reasoning: Usually Birds Can Abductively Fly., , and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 64-77. Springer, (2017)