Autor der Publikation

Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.

, und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 436-453. Springer, (2012)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Knowledge Representation and Question Answering., , und . Handbook of Knowledge Representation, Volume 3 von Foundations of Artificial Intelligence, Elsevier, (2008)Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey., und . CoRR, (2013)Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report, und . CoRR, (2011)Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration., und . CoRR, (2013)The informal semantics of Answer Set Programming: A Tarskian perspective., , , und . CoRR, (2019)Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs., und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 346-350. Springer, (2004)What is answer set programming to propositional satisfiability.. Constraints An Int. J., 22 (3): 307-337 (2017)Constraint answer set solver EZCSP and why integration schemas matter., und . Theory Pract. Log. Program., 17 (4): 462-515 (2017)Transition systems for model generators - A unifying approach., und . Theory Pract. Log. Program., 11 (4-5): 629-646 (2011)On relation between constraint answer set programming and satisfiability modulo theories., und . Theory Pract. Log. Program., 17 (4): 559-590 (2017)