Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Torsten Schaub

Torsten Schaub

University of Potsdam, Germany

Automata for dynamic answer set solving: Preliminary report


Sep 04, 2021
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub


  Access Paper or Ask Questions

Planning with Incomplete Information in Quantified Answer Set Programming


Aug 13, 2021
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son

* Under consideration for publication in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

On the Foundations of Grounding in Answer Set Programming


Aug 10, 2021
Roland Kaminski, Torsten Schaub

* unpublished draft 

  Access Paper or Ask Questions

Towards a Semantics for Hybrid ASP systems


Aug 06, 2021
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko

* 29 pages 

  Access Paper or Ask Questions

Temporal Answer Set Programming


Sep 14, 2020
Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez, Torsten Schaub, Anna Schuhmann, Concepcion Vidal

* 47 pages, 5 figures, 4 tables, lots of theorems 

  Access Paper or Ask Questions

How to build your own ASP-based system?!


Aug 15, 2020
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

* 69 pages, submitted to TPLP 

  Access Paper or Ask Questions

Verifying Tight Logic Programs with anthem and Vampire


Aug 11, 2020
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

* Paper submitted to the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages (main part), 12 pages (appendix) 

  Access Paper or Ask Questions

Towards Metric Temporal Answer Set Programming


Aug 08, 2020
Pedro Cabalar, Martin Dieguez, Torsten Schaub, Anna Schuhmann

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 28 pages 

  Access Paper or Ask Questions

Verifying Tight Logic Programs with anthem and vampire


Aug 05, 2020
Jorge Fandinno, Vladimir Lifschitz, Patrick Luhne, Torsten Schaub

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages 

  Access Paper or Ask Questions

eclingo: A solver for Epistemic Logic Programs


Aug 05, 2020
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages 

  Access Paper or Ask Questions

Train Scheduling with Hybrid Answer Set Programming


Mar 19, 2020
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP


Mar 13, 2020
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko


  Access Paper or Ask Questions

An ASP semantics for Constraints involving Conditional Aggregates


Feb 22, 2020
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko


  Access Paper or Ask Questions

Implementing Dynamic Answer Set Programming


Feb 19, 2020
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière


  Access Paper or Ask Questions

ASP-Core-2 Input Language Format


Nov 11, 2019
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub


  Access Paper or Ask Questions

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming


Apr 27, 2018
Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018; 15 pages, LaTeX, 3 figures 

  Access Paper or Ask Questions

Experimenting with robotic intra-logistics domains


Apr 26, 2018
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 8 PDF figures (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

Temporal Answer Set Programming on Finite Traces


Apr 26, 2018
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 15 pages, LaTeX, 0 PDF figures (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

Multi-shot ASP solving with clingo


Mar 20, 2018
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

* Under consideration for publication in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks


Nov 14, 2017
Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub

* Bruno Pinaud; Fabrice Guillet; Bruno Cremilleux; Cyril de Runz. Advances in Knowledge Discovery and Management, 7, Springer, pp.41--81, 2017, 978-3-319-65405-8 

  Access Paper or Ask Questions

Clingo goes Linear Constraints over Reals and Integers


Jul 13, 2017
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX 

  Access Paper or Ask Questions

Clingcon: The Next Generation


May 12, 2017
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Grounding Recursive Aggregates: Preliminary Report


Mar 12, 2016
Martin Gebser, Roland Kaminski, Torsten Schaub

* 21 pages, 7 figures, preliminary version appeared at GTTV'15 

  Access Paper or Ask Questions

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming


May 07, 2014
Holger Hoos, Marius Lindauer, Torsten Schaub

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Solver Scheduling via Answer Set Programming


Jan 06, 2014
Holger Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

A System for Interactive Query Answering with Answer Set Programming


Dec 20, 2013
Martin Gebser, Philipp Obermeier, Torsten Schaub

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

  Access Paper or Ask Questions