( en | de | ru )

 

Disambiguation of "Pührer, Jörg"

Author of the publication

copydeleteadd this publication to your clipboard
Stepwise debugging of answer-set programs.

, , and . Theory Pract. Log. Program., 18 (1): 30-80 (2018)

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.

Florian Jörg

Dorothea Jörg

Rainer Georg Jörgensen

Hans Jörg

Hansjörg Jörger

 

Other publications of authors with the same name

Stepwise Debugging of Description-Logic Programs., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 492-508. Springer, (2012)Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection., and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 264-276. Springer, (2009)F-Logic#: Loosely Coupling F-Logic Rules and Ontologies., , , , and . Web Intelligence, page 248-255. IEEE Computer Society, (2010)An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions., , and . ICLP (Technical Communications), volume 17 of LIPIcs, page 222-234. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Stepping through an Answer-Set Program., , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 134-147. Springer, (2011)Stream Packing for Asynchronous Multi-Context Systems using ASP., and . CoRR, (2016)Annotating answer-set programs in Lana., , , , and . Theory Pract. Log. Program., 12 (4-5): 619-637 (2012)Realizability of three-valued semantics for abstract dialectical frameworks.. Artif. Intell., (2020)ArgueApply: A Mobile App for Argumentation.. LPNMR, volume 10377 of Lecture Notes in Computer Science, page 250-262. Springer, (2017)Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin., , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 323-328. Springer, (2013)