Autor der Publikation

Abstract Answer Set Solvers for Cautious Reasoning.

, und . ICLP (Technical Communications), Volume 1433 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)

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

The Seventh Answer Set Programming Competition: Design and Results., , und . CoRR, (2019)Operating Room (Re)Scheduling with Bed Management via ASP., , , , und . CoRR, (2021)CNL2ASP: converting controlled natural language sentences into ASP., , , , und . CoRR, (2023)Shared aggregate sets in answer set programming., , und . Theory Pract. Log. Program., 18 (3-4): 301-318 (2018)Design and results of the Second International Competition on Computational Models of Argumentation., , , und . Artif. Intell., (2020)Experimental evaluation of algorithms for solving problems with combinatorial explosion., , und . AI Commun., 29 (2): 245-247 (2016)Translation-based approaches for solving disjunctive temporal problems with preferences., , und . Constraints An Int. J., 23 (4): 383-402 (2018)Look-back Techniques for ASP Programs with Aggregates., , , und . RCRA, Volume 451 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Scheduling Periodic Treatments Via Answer Set Programming., , , und . CILC, Volume 3428 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)An ASP-based Approach to Master Surgical Scheduling., , , , , und . CILC, Volume 3204 von CEUR Workshop Proceedings, Seite 313-328. CEUR-WS.org, (2022)