Andreas Pfandler

37 papers A* 13A 2B 3C 1Misc 2Journal 11Unranked 5

Year	Rank	Type	Title / Venue / Authors
2020	A*	`conf`	Lower Bounds for QBFs of Bounded Treewidth. LICS Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
2020	A*	`conf`	Proportional Belief Merging. AAAI Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes P. Wallner
2019	J	`jnl`	Backdoors to planning. Artif. Intell. Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2019	J	`jnl`	Parameterized Complexity of Asynchronous Border Minimization. Algorithmica Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
2019	J	`jnl`	TE-ETH: Lower Bounds for QBFs of Bounded Treewidth. CoRR Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
2017	J	`jnl`	Computational Aspects of Nearly Single-Peaked Electorates. J. Artif. Intell. Res. Gábor Erdélyi, Martin Lackner, Andreas Pfandler
2017	J	`jnl`	Conformant planning as a case study of incremental QBF solving. Ann. Math. Artif. Intell. Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
2017	—	`conf`	PPI17 - Vorwort. BTW (Workshops) Markus Endres, Andreas Pfandler
2016	A	`conf`	Beyond IC Postulates: Classification Criteria for Merging Operators. ECAI Adrian Haret, Andreas Pfandler, Stefan Woltran
2016	—	`conf`	Unsere Empfehlung für Sie: Präferenzen und Personalisierung in der Informatik. GI-Jahrestagung Markus Endres, Andreas Pfandler
2015	—	`conf`	Democratix: A Declarative Approach to Winner Determination. ADT Günther Charwat, Andreas Pfandler
2015	A*	`conf`	Distance-Bounded Consistent Query Answering. IJCAI Andreas Pfandler, Emanuel Sallinger
2015	A*	`conf`	Fixed-Parameter Tractable Reductions to SAT for Planning. IJCAI Ronald de Haan, Martin Kronegger, Andreas Pfandler
2015	J	`jnl`	Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2015	—	`conf`	Manipulation of k-Approval in Nearly Single-Peaked Electorates. ADT Gábor Erdélyi, Martin Lackner, Andreas Pfandler
2015	A*	`conf`	On the Parameterized Complexity of Belief Revision. IJCAI Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
2015	C	`conf`	Parameterized Complexity of Asynchronous Border Minimization. TAMC Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
2015	J	`jnl`	Parameterized Complexity of Asynchronous Border Minimization. CoRR Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
2015	J	`jnl`	The complexity of handling minimal solutions in logic-based abduction. J. Log. Comput. Andreas Pfandler, Reinhard Pichler, Stefan Woltran
2015	A*	`conf`	Variable-Deletion Backdoors to Planning. AAAI Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2014	A*	`conf`	A Parameterized Complexity Analysis of Generalized CP-Nets. AAAI Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
2014	B	`conf`	A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2014	A*	`conf`	Backdoors to Planning. AAAI Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2014	Misc	`conf`	Conformant Planning as a Case Study of Incremental QBF Solving. AISC Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
2014	J	`jnl`	Conformant Planning as a Case Study of Incremental QBF Solving. CoRR Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
2013	J	`jnl`	Backdoors to Abduction CoRR Andreas Pfandler, Stefan Rümmele, Stefan Szeider
2013	A*	`conf`	Backdoors to Abduction. IJCAI Andreas Pfandler, Stefan Rümmele, Stefan Szeider
2013	A*	`conf`	Computational Aspects of Nearly Single-Peaked Electorates. AAAI Gábor Erdélyi, Martin Lackner, Andreas Pfandler
2013	—	`conf`	Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2013	A*	`conf`	Parameterized Complexity of Optimal Planning: A Detailed Map. IJCAI Martin Kronegger, Andreas Pfandler, Reinhard Pichler
2013	B	`conf`	The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013	B	`conf`	VCWC: A Versioning Competition Workflow Compiler. LPNMR Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2012	J	`jnl`	Computational Aspects of Nearly Single-Peaked Electorates CoRR Gábor Erdélyi, Martin Lackner, Andreas Pfandler
2012	A	`conf`	Fixed-Parameter Algorithms for Closed World Reasoning. ECAI Martin Lackner, Andreas Pfandler
2012	A*	`conf`	Fixed-Parameter Algorithms for Finding Minimal Models. KR Martin Lackner, Andreas Pfandler
2012	A*	`conf`	The Parameterized Complexity of Abduction. AAAI Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele
2012	Misc	`conf`	Train Marshalling Is Fixed Parameter Tractable. FUN Leo Brueggeman, Michael R. Fellows, Rudolf Fleischer, Martin Lackner, Christian Komusiewicz, Yiannis Koutis, Andreas Pfandler, Frances A. Rosamond