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 Anna Schuhmann

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

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

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