Content: Publications

Publications by Torsten Schaub

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Philipp Wanko

Theory Solving Made Easy with Clingo 5

Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

An ASP Semantics for Default Reasoning with Constraints

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Martin Gebser, Thomas Guyet, Rene Quiniou, Javier Romero, Torsten Schaub

Knowledge-based Sequence Mining with ASP

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran

ASP for Anytime Dynamic Programming on Tree Decompositions

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh

Solving Goal Recognition Design using ASP

Thirtieth National Conference on Artificial Intelligence (AAAI'16) (2016)

Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub

Integrating ASP into ROS for Reasoning in Robots

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics

Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Tomi Janhunen, Torsten Schaub, Shahab Tasharrofi

Writing Declarative Specifications for Clauses

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)

Martin Gebser, Roland Kaminski, Torsten Schaub

Grounding Recursive Aggregates: Preliminary Report

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming Modulo Acyclicity

Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming modulo Acyclicity

the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran

Shift Design with Answer Set Programming

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub

Progress in clasp Series 3

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Gerd Brewka, James Delgrande, Javier Romero, Torsten Schaub

Implementing Preferences with asprin

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

ASP Solving for Expanding Universes

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Carito Guziolowski, Loïc Paulevé, Max Ostrowski, Torsten Schaub, Anne Siegel

Boolean Network Identification from Multiplex Time Series Data"

Thirteenth International Conference on Computational Methods in Systems Biology (CMSB'15) (2015)

Martin Gebser, Philipp Obermeier, Torsten Schaub

Interactive Answer Set Programming: Preliminary Report

International Workshop on User-Oriented Logic Programming (IULP'15) (2015)

Sarah Opolka, Philipp Obermeier, Torsten Schaub

Automatic Genre-Dependent Composition using Answer Set Programming

Twenty-first International Symposium on Electronic Art (ISEA'15) (2015)

Gerd Brewka, James Delgrande, Javier Romero, Torsten Schaub

asprin: Customizing Answer Set Preferences without a Headache"

Twenty-Ninth National Conference on Artificial Intelligence (AAAI'15) (2015)

Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub

Ricochet Robots Reloaded: A Case-study in Multi-shot ASP Solving

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (2015)

Gerd Brewka, Javier Romero, James Delgrande, Torsten Schaub

Are Preferences Giving You a Headache? --- Take asprin!

Proceedings of the Seventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14) (2014)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Clingo = ASP + Control: Preliminary Report

Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14) (2014)

Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez , Torsten Schaub

Learning boolean logic models of signaling networks with asp

Theoretical Computer Science (2014)

Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele

Extending the metabolic network of ectocarpus siliculosus using answer set programming

Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub

Matchmaking with Answer Set Programming

Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

Ricochet Robots: A transverse ASP benchmark.

Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Martin Gebser, Philipp Obermeier, Torsten Schaub

A system for interactive query answering with answer set programming

Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13) (2013)

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

Aspartame: Solving constraint satisfaction problems with answer set programming

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13) (2013)

Arne König, Torsten Schaub

Monitoring and Visualizing Answer Set Solving

Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'13) (2013)

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

Answer Set Programming as a Modeling Language for Course Timetabling

Article in Journal, in Theory and Practice of Logic Programming (2013)

Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

ROSoClingo: A ROS package for ASP-based robot control

Proceedings of Combined Robot Motion Planning and AI Planning for Practical Applications (RSS-CP13) (2013)

Roland Kaminski, Torsten Schaub, Anne Siegel, Santiago Videla

Minimal Intervention Strategies in Logical Signaling Networks with Answer Set Programming

Article in Journal, in Theory and Practice of Logic Programming (2013)

Martin Gebser, Benjamin Kaufmann, Ramón Otero, Javier Romero, Torsten Schaub, Philipp Wanko

Domain-specific Heuristics in Answer Set Programming

Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)

Max Ostrowski, Torsten Schaub

Asp modulo csp: The clingcon system

Article in Journal, in Theory and Practice of Logic Programming 4-5, pp. 485-503 (2012)