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 Thomas Krennwallner

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

A model building framework for Answer Set Programming with external computations


Jul 11, 2015
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller

* Theory and Practice of Logic Programming 16 (2015) 418-464 
* 57 pages, 9 figures, 3 tables, 6 algorithms, to appear in Theory and Practice of Logic Programming (accepted in June 2015) 

  Access Paper or Ask Questions

Eliminating Unfounded Set Checking for HEX-Programs


Jan 08, 2013
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 

  Access Paper or Ask Questions

Conflict-driven ASP Solving with External Sources


Oct 05, 2012
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

* Theor. Pract. Log. Prog. 12:4-5 (2012) 659-679 
* To appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

Nested HEX-Programs


Aug 29, 2011
Thomas Eiter, Thomas Krennwallner, Christoph Redl

* Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) 

  Access Paper or Ask Questions