Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Rümmele, Stefan
 
Main Affiliation Organisations­zuordnung
 

Results 1-18 of 18 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
2Fellows, Michael R. ; Pfandler, Andreas ; Rosamond, Frances A. ; Rümmele, Stefan ; Hoffmann, Jörg ; Selman, Bart The Parameterized Complexity of AbductionKonferenzbeitrag Inproceedings 2012
3Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan ; Yang, Qiang ; Wooldridge, Michael On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
4Lackner, Martin ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Lin, Guohui Multicut on Graphs of Bounded Clique-WidthKonferenzbeitrag Inproceedings 2012
5Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Calamoneri, Tiziana ; Diaz, Josep Multicut Algorithms via Tree DecompositionsKonferenzbeitrag Inproceedings 2010
6Haret, Adrian ; Rümmele, Stefan ; Woltran, Stefan ; Yang, Qiang ; Wooldridge, Michael Merging in the Horn FragmentKonferenzbeitrag Inproceedings 2015
7Morak, Michael ; Musliu, Nysret ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Evaluating Tree-Decomposition Based Algorithms for Answer Set ProgrammingBericht Report2011
8Morak, Michael ; Musliu, Nysret ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Hamadi, Youssef ; Schoenauer, Marc Evaluating Tree-Decomposition Based Algorithms for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2012
9Rümmele, Stefan Efficient Algorithms for Nonmonotonic Reasoning Using TreewidthPräsentation Presentation2010
10Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Goebel, Randy ; Siekmann, Jörg ; Wahlster, Wolfgang Counting and Enumeration Problems with Bounded TreewidthKonferenzbeitrag Inproceedings 2010
11Pobiedina, Nataliia ; Rümmele, Stefan ; Skritek, Sebastian ; Werthner, Hannes Benchmarking Database Systems for Graph Pattern MatchingKonferenzbeitrag Inproceedings 2014
12Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten Belief Revision with Bounded TreewidthKonferenzbeitrag Inproceedings 2009
13Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief merging within fragments of propositional logicKonferenzbeitrag Inproceedings 2014
14Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief merging within fragments of propositional logicKonferenzbeitrag Inproceedings 2014
15Pfandler, Andreas ; Rümmele, Stefan ; Szeider, Stefan ; Rossi, Francesca Backdoors to AbductionKonferenzbeitrag Inproceedings 2013
16Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan ; Yang, Qiang ; Wooldridge, Michael An extension-based approach to belief revision in abstract argumentationKonferenzbeitrag Inproceedings 2015
17Morak, Michael ; Musliu, Nysret ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Khoshgoftaar, Thagi M. ; Zhu, Xingquan A New Tree-Decomposition Based Algorithm for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2011
18Morak, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Goebel, Randy ; Siekmann, Jörg ; Wahlster, Wolfgang A Dynamic-Programming Based ASP-SolverKonferenzbeitrag Inproceedings 2010

Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian Merging in the Horn fragmentThesis Hochschulschrift 2014