( en | de | ru )

 

Disambiguierung von "Dodaro, Carmine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluation of disjunctive programs in WASP.

, , , , , und . (März 2019)

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.

Reinhold Carmine

Carmine Chiellino

Carmine Raffa

Carmine Minale

Carmine Paglino

 

Weitere Publikationen von Autoren mit dem selben Namen

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets., , , und . AAAI, Seite 1720-1727. AAAI Press, (2018)On the Computation of Paracoherent Answer Sets., , , , und . AAAI, Seite 1034-1040. AAAI Press, (2017)ASPQ: An ASP-Based 2QBF Solver., , und . QBF@SAT, Volume 1719 von CEUR Workshop Proceedings, Seite 49-54. CEUR-WS.org, (2016)WASP: A Native ASP Solver Based on Constraint Learning., , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 54-66. Springer, (2013)The ASP System DLV2., , , , , , , , und . LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 215-221. Springer, (2017)On the Application of Answer Set Programming to the Conference Paper Assignment Problem., , , und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 164-178. Springer, (2016)A Tool for Encoding Controlled Natural Language Specifications as ASP Rules., , und . Datalog, Volume 3203 von CEUR Workshop Proceedings, Seite 188-201. CEUR-WS.org, (2022)An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , und . CoRR, (2016)Allotment Problem in Travel Industry: A Solution Based on ASP., , , und . RR, Volume 9209 von Lecture Notes in Computer Science, Seite 77-92. Springer, (2015)KR&R Approaches for Robot Manipulation Tasks with Articulated Objects., , , , , und . RiCeRcA@AI*IA, Volume 2272 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)