Autor der Publikation

Democratix: A Declarative Approach to Winner Determination.

, und . ADT, Volume 9346 von Lecture Notes in Computer Science, Seite 253-269. Springer, (2015)

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

Variable-Deletion Backdoors to Planning., , und . AAAI, Seite 3305-3312. AAAI Press, (2015)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)On the Parameterized Complexity of Belief Revision., , , und . IJCAI, Seite 3149-3155. AAAI Press, (2015)Parameterized Complexity of Asynchronous Border Minimization., , , und . Algorithmica, 81 (1): 201-223 (2019)Lower Bounds for QBFs of Bounded Treewidth., , und . LICS, Seite 410-424. ACM, (2020)The complexity of handling minimal solutions in logic-based abduction., , und . J. Log. Comput., 25 (3): 805-825 (2015)Beyond IC Postulates: Classification Criteria for Merging Operators., , und . ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 372-380. IOS Press, (2016)Intra- and interdiagram consistency checking of behavioral multiview models., , , , und . Comput. Lang. Syst. Struct., (2015)PPI17 - Vorwort., und . BTW (Workshops), Volume P-266 von LNI, Seite 155-157. GI, (2017)The Parameterized Complexity of Abduction., , , und . AAAI, Seite 743-749. AAAI Press, (2012)