Torsten Schaub

University of Potsdam , Germany

14 papers in the IJCAI proceedings

IJCAI 2019

On the Integration of CP-nets in ASPRIN

with Mario Alviano, Javier Romero

doi:10.24963/ijcai.2019/207

Details PDF

IJCAI 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey

with Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca

doi:10.24963/ijcai.2018/769

Details PDF

IJCAI 2017

AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

with Marius Lindauer, Frank Hutter, Holger H. Hoos

doi:10.24963/ijcai.2017/715

Details PDF

Generalized Target Assignment and Path Finding Using Answer Set Programming

with Van Nguyen, Philipp Obermeier, Tran Cao Son, William Yeoh

doi:10.24963/ijcai.2017/169

Details PDF

IJCAI 2016

ASP for Anytime Dynamic Programming on Tree Decompositions

with Bernhard Bliem, Benjamin Kaufmann, Stefan Woltran

Details PDF

An ASP Semantics for Default Reasoning with Constraints

with Pedro Cabalar, Roland Kaminski, Max Ostrowski

Details PDF

Knowledge-Based Sequence Mining with ASP

with Martin Gebser, Thomas Guyet, Rene Quiniou, Javier Romero

Details PDF

IJCAI 2013

Advanced Conflict-Driven Disjunctive Answer Set Solving

with Martin Gebser, Benjamin Kaufmann

Details PDF

IJCAI 2011

Finite Model Computation via Answer Set Programming

with Martin Gebser, Orkunt Sabuncu

doi:10.5591/978-1-57735-516-8/IJCAI11-437

Details PDF

IJCAI 2007

Belief Change Based on Global Minimisation

with James P. Delgrande, Jérôme Lang

Details PDF

Conflict-Driven Answer Set Solving

with Martin Gebser, Benjamin Kaufmann, André Neumann

Details PDF

IJCAI 2001

A Comparative Study of Logic Programs with Preference

with Kewen Wang

Details PDF

IJCAI 1997

Circumscribing Inconsistency

with Philippe Besnard

Details PDF

Compiling Reasoning with and about Preferences into Default Logic

with James P. Delgrande

Details PDF