Name Card

Full name Familienname, Vorname
Rümmele, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief Merging within Fragments of Propositional LogicArtikel Article 2016
2Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan An extension-based approach to belief revision in abstract argumentationKonferenzbeitrag Inproceedings 2015
3Haret, Adrian ; Rümmele, Stefan ; Woltran, Stefan Merging in the Horn FragmentKonferenzbeitrag Inproceedings 2015
4Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
5Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief merging within fragments of propositional logicKonferenzbeitrag Inproceedings 2014
6Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief merging within fragments of propositional logicKonferenzbeitrag Inproceedings 2014
7PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable answer-set programming with weight constraints: bounded treewidth is not enoughArtikel Article2014
8Pobiedina, Nataliia ; Rümmele, Stefan ; Skritek, Sebastian ; Werthner, Hannes Benchmarking Database Systems for Graph Pattern MatchingKonferenzbeitrag Inproceedings 2014
9Pfandler, Andreas ; Rümmele, Stefan ; Szeider, Stefan Backdoors to AbductionKonferenzbeitrag Inproceedings 2013
10Fellows, Michael R. ; Pfandler, Andreas ; Rosamond, Frances A. ; Rümmele, Stefan The Parameterized Complexity of AbductionKonferenzbeitrag Inproceedings 2012
11Lackner, Martin ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Multicut on Graphs of Bounded Clique-WidthKonferenzbeitrag Inproceedings 2012
12Morak, Michael ; Musliu, Nysret ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Evaluating Tree-Decomposition Based Algorithms for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2012
13Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not EnoughPreprint Preprint2012
14PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not EnoughArtikel Article2012
15Morak, Michael ; Musliu, Nysret ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Evaluating Tree-Decomposition Based Algorithms for Answer Set ProgrammingBericht Report2011
16Morak, Michael ; Musliu, Nysret ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan A New Tree-Decomposition Based Algorithm for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2011
17Rümmele, Stefan Efficient Algorithms for Nonmonotonic Reasoning Using TreewidthPräsentation Presentation2010
18Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Multicut Algorithms via Tree DecompositionsKonferenzbeitrag Inproceedings 2010
19Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
20Morak, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan A Dynamic-Programming Based ASP-SolverKonferenzbeitrag Inproceedings 2010

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian Merging in the Horn fragmentThesis Hochschulschrift 2014