( en | de | ru )

 

Disambiguierung von "Maratea, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.

, und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 346-350. Springer, (2004)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-engine ASP solving with policy adaptation., , und . J. Log. Comput., 25 (6): 1285-1306 (2015)The Multi-Engine ASP Solver me-asp., , und . JELIA, Volume 7519 von Lecture Notes in Computer Science, Seite 484-487. Springer, (2012)CASP solutions for planning in hybrid domains., , , und . Theory Pract. Log. Program., 17 (4): 591-633 (2017)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)Algorithms for Solving Satisfiability Problems with Qualitative Preferences., und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 327-344. Springer, (2012)In-Station Train Dispatching: A PDDL+ Planning Approach., , , , und . ICAPS, Seite 450-458. AAAI Press, (2021)An Experimental Study of Search Strategies and Heuristics in Answer Set Programming., und . Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)optsat: A Tool for Solving SAT Related Optimization Problems., und . JELIA, Volume 4160 von Lecture Notes in Computer Science, Seite 485-489. Springer, (2006)(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver., , und . CP, Volume 2833 von Lecture Notes in Computer Science, Seite 842-846. Springer, (2003)A Simple Proof-Theoretic Characterization of Stable Models., , und . IPS-RCRA-SPIRIT@AI*IA, Volume 3585 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)