Author of the publication

Justifications for logic programs under answer set semantics.

, , and . Theory Pract. Log. Program., 9 (1): 1-56 (2009)

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

ACI1 Constraints., , , and . ICLP, page 573-587. MIT Press, (1999)On the Representation and Management of Finite Sets in CLP Languages., , , and . IJCSLP, page 40-54. MIT Press, (1998)Some Results on the Completeness of Approximation Based Reasoning., , and . AAAI Spring Symposium: Emotion, Personality, and Social Behavior, page 61-66. AAAI, (2008)ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities., , , , and . AAMAS, page 606-614. ACM, (2016)Parallel Answer Set Programming., , and . Handbook of Parallel Constraint Reasoning, Springer, (2018)Representing Multi-agent Planning in CLP., , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 423-429. Springer, (2009)Justifications for logic programs under answer set semantics., , and . Theory Pract. Log. Program., 9 (1): 1-56 (2009)A conformant planner based on approximation: CpA(H)., , , and . ACM Trans. Intell. Syst. Technol., 4 (2): 36:1-36:38 (2013)Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices., , and . Int. J. Data Min. Bioinform., 4 (1): 1-20 (2010)Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures., , , and . J. Log. Comput., 19 (4): 697-715 (2009)