Author of the publication

Solving Overconstrained Temporal Reasoning Problems.

, , , and . Australian Joint Conference on Artificial Intelligence, volume 2256 of Lecture Notes in Computer Science, page 37-49. Springer, (2001)

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

Human and Unhuman Commonsense Reasoning.. LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 16-29. Springer, (2010)Reasoning with Disjunctive Constrained Tuple-Generating Dependencies., , and . DEXA, volume 2113 of Lecture Notes in Computer Science, page 963-973. Springer, (2001)Beyond Finite Domains., , , and . PPCP, volume 874 of Lecture Notes in Computer Science, page 86-94. Springer, (1994)Equivalences of Logic Programs. Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)Strategic Argumentation., , and . FLAP, 8 (6): 1679-1748 (2021)Optimal Fixedpoints of Logic Programs., and . Theor. Comput. Sci., (1985)A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.. Theor. Comput. Sci., 110 (2): 377-403 (1993)Rethinking Defeasible Reasoning: A Scalable Approach., , , , and . Theory Pract. Log. Program., 20 (4): 552-586 (2020)Strategic Argumentation Under Grounded Semantics is NP-Complete., , , , and . EUMAS, volume 8953 of Lecture Notes in Computer Science, page 379-387. Springer, (2014)Elimination of Negation in Term Algebras., , and . MFCS, volume 520 of Lecture Notes in Computer Science, page 1-16. Springer, (1991)