Author of the publication

Advancements in xASP, an XAI System for Answer Set Programming.

, , , and . CILC, volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)

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.

 

Other publications of authors with the same name

Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules, and . CoRR, (2013)Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case. CoRR, (2011)Reasoning about Truthfulness of Agents Using Answer Set Programming., , and . AAAI Fall Symposia, page 47-50. AAAI Press, (2015)How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.. LPNMR, volume 5753 of Lecture Notes in Computer Science, page 4-16. Springer, (2009)Experiments in Answer Sets Planning., , , , and . MICAI, volume 1793 of Lecture Notes in Computer Science, page 95-107. Springer, (2000)Answer set based design of knowledge systems., , and . Ann. Math. Artif. Intell., 47 (1-2): 183-219 (2006)Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs)., , and . AI Soc., 38 (2): 613-629 (April 2023)Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework., , , , , and . CoRR, (2022)An Answer Set Solver for non-Herbrand Programs: Progress Report.. ICLP (Technical Communications), volume 17 of LIPIcs, page 49-60. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Issues in parallel execution of non-monotonic reasoning systems., , , and . Parallel Comput., 31 (6): 608-647 (2005)