( en | de | ru )

 

Disambiguierung von "Dodaro, Carmine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Fourth Answer Set Programming Competition: Preliminary Report.

, , , , , , , , , , , , , , , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 42-53. Springer, (2013)

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

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)On the Computation of Paracoherent Answer Sets., , , , und . AAAI, Seite 1034-1040. AAAI Press, (2017)Externally Supported Models for Efficient Computation of Paracoherent Answer Sets., , , und . AAAI, Seite 1720-1727. AAAI Press, (2018)The Fourth Answer Set Programming Competition: Preliminary Report., , , , , , , , , und 8 andere Autor(en). LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 42-53. Springer, (2013)ASPQ: An ASP-Based 2QBF Solver., , und . QBF@SAT, Volume 1719 von CEUR Workshop Proceedings, Seite 49-54. CEUR-WS.org, (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)WASP: A Native ASP Solver Based on Constraint Learning., , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 54-66. Springer, (2013)An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , und . CoRR, (2016)The ASP System DLV2., , , , , , , , und . LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 215-221. Springer, (2017)