Thomas Krennwallner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2008–2013
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | AAAI | Liberal Safety for Answer Set Programs with External Sources. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | VCWC: A Versioning Competition Workflow Compiler. | Gnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2012 | AAAI | Inconsistency Management for Traffic Regulations. | Harald Beck, Thomas Eiter, Thomas Krennwallner |
| 2012 | JELIA | Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. | Harald Beck, Thomas Eiter, Thomas Krennwallner |
| 2012 | JELIA | Exploiting Unfounded Sets for HEX-Program Evaluation. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schller |
| 2011 | ICLP | Promoting Modular Nonmonotonic Logic Programs. | Thomas Krennwallner |
| 2011 | LPNMR | Model Streaming for Distributed Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2011 | LPNMR | Symmetry Breaking for Distributed Multi-Context Systems. | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
| 2011 | LPNMR | Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schller |
| 2011 | PADL | Declarative Belief Set Merging Using Merging Plans. | Christoph Redl, Thomas Eiter, Thomas Krennwallner |
| 2010 | JELIA | Decomposition of Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | JELIA | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | KR | Distributed Nonmonotonic Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | ECSQARU | Realizing Default Logic over Description Logic Knowledge Bases. | Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner |
| 2009 | ICLP | Modular Nonmonotonic Logic Programming Revisited. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | IJCAI | Decomposition of Declarative Knowledge Bases with External Functions. | Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | LPNMR | Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2008 | ISAIM | Exploiting Conjunctive Queries in Description Logic Programs. | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni |