Author of the publication

Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

, and (Eds.) volume 10377 of Lecture Notes in Computer Science, Springer, (2017)

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

Reasoning about Truthfulness of Agents Using Answer Set Programming., , and . AAAI Fall Symposia, page 47-50. AAAI Press, (2015)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)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)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)Answer set based design of knowledge systems., , and . Ann. Math. Artif. Intell., 47 (1-2): 183-219 (2006)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)Experiments in Answer Sets Planning., , , , and . MICAI, volume 1793 of Lecture Notes in Computer Science, page 95-107. Springer, (2000)Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework., , , , , and . CoRR, (2022)