Autor der Publikation

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

, , , , , , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 261-278. Springer, (2023)

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

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP., und . CoRR, (2018)Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming., , und . CoRR, (2021)Prolog: Past, Present, and Future., , , , , , , , , und 3 andere Autor(en). Prolog: The Next 50 Years, Volume 13900 von Lecture Notes in Computer Science, Springer, (2023)Value awareness and process automation: a reflection through school place allocation models., , , und . ICLP Workshops, Volume 3437 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , und . ICLP Workshops, Volume 2970 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Counterfactual Explanation Generation with s(CASP)., , , , und . CoRR, (2023)Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming., , , , , , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 261-278. Springer, (2023)Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)., , , , , und . PADL, Volume 13165 von Lecture Notes in Computer Science, Seite 181-190. Springer, (2022)Building Information Modeling Using Constraint Logic Programming., , , und . Theory Pract. Log. Program., 22 (5): 723-738 (2022)Constraint Answer Set Programming without Grounding and its Applications., , , und . Datalog, Volume 2368 von CEUR Workshop Proceedings, Seite 22-26. CEUR-WS.org, (2019)