Autor der Publikation

The Birth of a WASP: Preliminary Report on a New ASP Solver.

, , , , , und . CILC, Volume 810 von CEUR Workshop Proceedings, Seite 99-113. CEUR-WS.org, (2011)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Implementation of Negation in Database Logic Query Languages., , , und . LOGIDATA+: Deductive Databases with Complex Objects, Volume 701 von Lecture Notes in Computer Science, Springer, (1993)On Modularity Properties of Partial Semantics for Disjunctive Logic Programs., und . WLP, Seite 217-226. (1995)Progress Report on the Disjunctive Deductive Database System dlv., , , , und . FQAS, Volume 1495 von Lecture Notes in Computer Science, Seite 148-163. Springer, (1998)An ASP-Based System for e-Tourism., , , und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 368-381. Springer, (2009)A DLP System with Object-Oriented Features., , , , , und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 432-436. Springer, (2005)Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments., , , , und . ICAISC, Volume 9120 von Lecture Notes in Computer Science, Seite 541-553. Springer, (2015)Computing LOGCFL Certificates., , und . ICALP, Volume 1644 von Lecture Notes in Computer Science, Seite 361-371. Springer, (1999)Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications., und . Reasoning Web, Volume 9203 von Lecture Notes in Computer Science, Seite 308-326. Springer, (2015)Magic Sets and Their Application to Data Integration., , und . ICDT, Volume 3363 von Lecture Notes in Computer Science, Seite 306-320. Springer, (2005)An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots., , , , , , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 32-44. Springer, (2019)