Autor der Publikation

Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming.

, , , , und . LION, Volume 7219 von Lecture Notes in Computer Science, Seite 130-144. Springer, (2012)

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

The Complexity of XPath Query Evaluation and XML Typing, , , und . Journal of the ACM, 52 (2): 284-335 (März 2005)Efficient Evaluation and Approximation of Well-designed Pattern Trees., , und . PODS, Seite 131-144. ACM, (2015)The complexity of evaluating tuple generating dependencies., und . ICDT, Seite 244-255. ACM, (2011)Algorithms on Atomic Representations of Herbrand Models.. JELIA, Volume 1489 von Lecture Notes in Computer Science, Seite 199-215. Springer, (1998)Incorporating Data Concerns into Query Languages for Data Services., , , und . ICEIS, Volume 102 von Lecture Notes in Business Information Processing, Seite 132-145. Springer, (2011)Complexity of Counting the Optimal Solutions., und . COCOON, Volume 5092 von Lecture Notes in Computer Science, Seite 149-159. Springer, (2008)Datalog: Bag Semantics via Set Semantics., , und . ICDT, Volume 127 von LIPIcs, Seite 16:1-16:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Efficient Algorithms for Processing XPath Queries., , und . VLDB, Seite 95-106. Morgan Kaufmann, (2002)Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems., , , und . IJCAI, Seite 1726-1733. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Loop Elimination for Database Updates., , und . BNCOD, Volume 7968 von Lecture Notes in Computer Science, Seite 48-61. Springer, (2013)