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

 Add to Chrome

 Add to Firefox

 CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
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

* 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
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

* 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


  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

* 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

* 19 pages, 5 figures, to appear in Theory and Practice of Logic Programming 
  Access Paper or Ask Questions