( en | de | ru )

 

Disambiguation of "Balduccini, Marcello"

Author of the publication

copydeleteadd this publication to your clipboard
CASP solutions for planning in hybrid domains.

, , , and . Theory Pract. Log. Program., 17 (4): 591-633 (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.

Alfredo Marcello Marcello

Marcello Andrea

Marcello Mariucci

Marcello Bisotti

Maresca Marcello

 

Other publications of authors with the same name

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)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)Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules, and . CoRR, (2013)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)Reasoning about Truthfulness of Agents Using Answer Set Programming., , and . AAAI Fall Symposia, page 47-50. AAAI Press, (2015)Issues in parallel execution of non-monotonic reasoning systems., , , and . Parallel Comput., 31 (6): 608-647 (2005)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)