Author of the publication

Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems.

, , and . PADL, volume 8324 of Lecture Notes in Computer Science, page 87-103. Springer, (2014)

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

Justification and debugging of answer set programs in ASP., , and . AADEBUG, page 49-58. ACM, (2005)Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel., , , , and . ACM Trans. Access. Comput., 3 (2): 8:1-8:50 (2010)Representing Multi-agent Planning in CLP., , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 423-429. Springer, (2009)Parallel Answer Set Programming., , and . Handbook of Parallel Constraint Reasoning, Springer, (2018)Data structures for order-sensitive predicates in parallel nondeterministic systems., , and . Acta Informatica, 37 (1): 21-43 (2000)Sequential and parallel algorithms for the NCA problem on pure pointer machines., , and . Theor. Comput. Sci., 352 (1-3): 108-135 (2006)Update models for lying and misleading announcements., , and . SAC, page 911-916. ACM, (2022)Determinancy Driven Optimization of Parallel Prolog Implementations., , and . Workshop on Design and Impl. of Parallel Logic Programming Systems, page 54-71. (1994)A Robust State Transition Function for Multi-agent Epistemic Systems., , , and . EPIA, volume 13566 of Lecture Notes in Computer Science, page 688-700. Springer, (2022)A Review of the Muddy Children Problem., , , and . AI*IA, volume 13796 of Lecture Notes in Computer Science, page 127-139. Springer, (2022)