Schaub, Torsten

23 publications

IJCAI 2019 On the Integration of CP-Nets in ASPRIN Mario Alviano, Javier Romero, Torsten Schaub

IJCAI 2018 Evaluation Techniques and Systems for Answer Set Programming: A Survey Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub

IJCAI 2017 AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract) Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub

IJCAI 2017 Generalized Target Assignment and Path Finding Using Answer Set Programming Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh

IJCAI 2016 ASP for Anytime Dynamic Programming on Tree Decompositions Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran

IJCAI 2016 An ASP Semantics for Default Reasoning with Constraints Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

IJCAI 2016 Knowledge-Based Sequence Mining with ASP Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub

AAAI 2016 Solving Goal Recognition Design Using ASP Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh

AAAI 2015 Asprin: Customizing Answer Set Preferences Without a Headache Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub

JAIR 2015 AutoFolio: An Automatically Configured Algorithm Selector Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub

AAAI 2015 What's Hot in the SAT and ASP Competitions Marijn Heule, Torsten Schaub

IJCAI 2013 Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser, Benjamin Kaufmann, Torsten Schaub

AAAI 2013 Domain-Specific Heuristics in Answer Set Programming Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko

IJCAI 2011 Finite Model Computation via Answer Set Programming Martin Gebser, Orkunt Sabuncu, Torsten Schaub

AAAI 2008 A Meta-Programming Technique for Debugging Answer-Set Programs Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits

IJCAI 2007 Belief Change Based on Global Minimisation James P. Delgrande, Jérôme Lang, Torsten Schaub

IJCAI 2007 Conflict-Driven Answer Set Solving Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub

IJCAI 2001 A Comparative Study of Logic Programs with Preference Torsten Schaub, Kewen Wang

AAAI 2000 A Consistency-Based Model for Belief Change: Preliminary Report James P. Delgrande, Torsten Schaub

IJCAI 1997 Circumscribing Inconsistency Philippe Besnard, Torsten Schaub

IJCAI 1997 Compiling Reasoning with and About Preferences into Default Logic James P. Delgrande, Torsten Schaub

AAAI 1993 A Context-Based Framework for Default Logics Philippe Besnard, Torsten Schaub

AAAI 1993 Minimal Belief and Negation as Failure: A Feasible Approach Antje Beringer, Torsten Schaub