Krennwallner, Thomas

4 publications

JAIR 2015 Distributed Evaluation of Nonmonotonic Multi-Context Systems Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

JAIR 2014 Efficient HEX-Program Evaluation Based on Unfounded Sets Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

AAAI 2013 Liberal Safety for Answer Set Programs with External Sources Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

IJCAI 2009 Decomposition of Declarative Knowledge Bases with External Functions Thomas Eiter, Michael Fink, Thomas Krennwallner