( en | de | ru )

 

Disambiguierung von "Pührer, Jörg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stepping through an Answer-Set Program.

, , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 134-147. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Johannes-Richard Jörg

Edgar Jörg

Ole Berg Jörgensen

Erwin Jörg

Hans Jörgens

 

Weitere Publikationen von Autoren mit dem selben Namen

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