Author of the publication

Propagation Completeness of Reactive Constraints.

. ICLP, volume 2401 of Lecture Notes in Computer Science, page 148-162. Springer, (2002)

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

Equivalences of Logic Programs. Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)Beyond Finite Domains., , , and . PPCP, volume 874 of Lecture Notes in Computer Science, page 86-94. Springer, (1994)Elimination of Negation in Term Algebras., , and . MFCS, volume 520 of Lecture Notes in Computer Science, page 1-16. Springer, (1991)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)Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs., , and . PODC, page 241-255. ACM, (1991)Human and Unhuman Commonsense Reasoning.. LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 16-29. Springer, (2010)