( en | de | ru )

 

Disambiguierung von "Balduccini, Marcello"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Advancements in xASP, an XAI System for Answer Set Programming.

, , , und . CILC, Volume 3428 von CEUR Workshop Proceedings, CEUR-WS.org, (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.

Alfredo Marcello Marcello

Marcello Andrea

Marcello Mariucci

Marcello Bisotti

Maresca Marcello

 

Weitere Publikationen von Autoren mit dem selben Namen

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