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

Temporal Answer Set Programming


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

Figure 1 for Temporal Answer Set Programming
Figure 2 for Temporal Answer Set Programming
Figure 3 for Temporal Answer Set Programming
Figure 4 for Temporal Answer Set Programming
* 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

Figure 1 for How to build your own ASP-based system?!
Figure 2 for How to build your own ASP-based system?!
Figure 3 for How to build your own ASP-based system?!
Figure 4 for How to build your own ASP-based system?!
* 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

Figure 1 for Towards Metric Temporal Answer Set Programming
Figure 2 for Towards Metric Temporal Answer Set Programming
* 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

Figure 1 for eclingo: A solver for Epistemic Logic Programs
Figure 2 for eclingo: A solver for Epistemic Logic Programs
Figure 3 for eclingo: A solver for Epistemic Logic Programs
Figure 4 for eclingo: A solver for Epistemic Logic Programs
* 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

Figure 1 for Train Scheduling with Hybrid Answer Set Programming
Figure 2 for Train Scheduling with Hybrid Answer Set Programming
Figure 3 for Train Scheduling with Hybrid Answer Set Programming
Figure 4 for Train Scheduling with Hybrid Answer Set Programming
* 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

Figure 1 for Implementing Dynamic Answer Set Programming
Figure 2 for Implementing Dynamic Answer Set Programming
Figure 3 for Implementing Dynamic Answer Set Programming

  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

Figure 1 for Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Figure 2 for Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Figure 3 for Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Figure 4 for Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
* 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

Figure 1 for Experimenting with robotic intra-logistics domains
Figure 2 for Experimenting with robotic intra-logistics domains
* 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

Figure 1 for Temporal Answer Set Programming on Finite Traces
* 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

Figure 1 for Multi-shot ASP solving with clingo
Figure 2 for Multi-shot ASP solving with clingo
Figure 3 for Multi-shot ASP solving with clingo
Figure 4 for Multi-shot ASP solving with clingo
* 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

Figure 1 for Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
Figure 2 for Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
Figure 3 for Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
Figure 4 for Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
* 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

Figure 1 for Clingo goes Linear Constraints over Reals and Integers
Figure 2 for Clingo goes Linear Constraints over Reals and Integers
Figure 3 for Clingo goes Linear Constraints over Reals and Integers
Figure 4 for Clingo goes Linear Constraints over Reals and Integers
* 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

Figure 1 for Clingcon: The Next Generation
Figure 2 for Clingcon: The Next Generation
Figure 3 for Clingcon: The Next Generation
Figure 4 for Clingcon: The Next Generation
* 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

Figure 1 for Grounding Recursive Aggregates: Preliminary Report
Figure 2 for Grounding Recursive Aggregates: Preliminary Report
Figure 3 for Grounding Recursive Aggregates: Preliminary Report
Figure 4 for Grounding Recursive Aggregates: Preliminary Report
* 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

Figure 1 for claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Figure 2 for claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Figure 3 for claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Figure 4 for claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
* 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

Figure 1 for Solver Scheduling via Answer Set Programming
Figure 2 for Solver Scheduling via Answer Set Programming
Figure 3 for Solver Scheduling via Answer Set Programming
Figure 4 for Solver Scheduling via Answer Set Programming
* 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

Figure 1 for A System for Interactive Query Answering with Answer Set Programming
* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 
  Access Paper or Ask Questions

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming


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

Figure 1 for Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Figure 2 for Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 
  Access Paper or Ask Questions

ROSoClingo: A ROS package for ASP-based robot control


Jul 28, 2013
Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam

Figure 1 for ROSoClingo: A ROS package for ASP-based robot control
Figure 2 for ROSoClingo: A ROS package for ASP-based robot control
Figure 3 for ROSoClingo: A ROS package for ASP-based robot control
Figure 4 for ROSoClingo: A ROS package for ASP-based robot control

  Access Paper or Ask Questions

Answer Set Programming for Stream Reasoning


Jan 08, 2013
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

Figure 1 for Answer Set Programming for Stream Reasoning
Figure 2 for Answer Set Programming for Stream Reasoning
* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 
  Access Paper or Ask Questions

Multi-threaded ASP Solving with clasp


Oct 11, 2012
Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Figure 1 for Multi-threaded ASP Solving with clasp
Figure 2 for Multi-threaded ASP Solving with clasp
Figure 3 for Multi-threaded ASP Solving with clasp
Figure 4 for Multi-threaded ASP Solving with clasp
* 19 pages, 5 figures, to appear in Theory and Practice of Logic Programming 
  Access Paper or Ask Questions