( en | de | ru )

 

Disambiguierung von "Rümmele, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An extension-based approach to belief revision in abstract argumentation.

, , , , und . Int. J. Approx. Reason., (2018)

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.

Annette Rümmele

Petra Rümmele

Frank Rümmele

Edgar Rümmele

Klaus Rümmele

 

Weitere Publikationen von Autoren mit dem selben Namen

Turbocharging Treewidth Heuristics., , , , und . IPEC, Volume 63 von LIPIcs, Seite 13:1-13:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Belief Merging within Fragments of Propositional Logic., , , und . ACM Trans. Comput. Log., 17 (3): 20 (2016)Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough., , , und . KR, AAAI Press, (2010)Multicut on Graphs of Bounded Clique-Width., , , und . COCOA, Volume 7402 von Lecture Notes in Computer Science, Seite 115-126. Springer, (2012)Counting and Enumeration Problems with Bounded Treewidth., , und . LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 387-404. Springer, (2010)Benchmarking Database Systems for Graph Pattern Matching., , , und . DEXA (1), Volume 8644 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2014)On the Parameterized Complexity of Belief Revision., , , und . IJCAI, Seite 3149-3155. AAAI Press, (2015)Belief Revision with Bounded Treewidth., , und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 250-263. Springer, (2009)A Dynamic-Programming Based ASP-Solver., , , und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 369-372. Springer, (2010)A New Tree-Decomposition Based Algorithm for Answer Set Programming., , , , und . ICTAI, Seite 916-918. IEEE Computer Society, (2011)