| 2011 |
|---|
| 20 | Nested HEX-Programs. Thomas Eiter, Thomas Krennwallner, Christoph Redl. CoRR (abs/1108.5626) (2011). Web SearchBibTeXDownload |
| 19 | Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller. LPNMR 2011, 93-106. Web SearchBibTeXDownload |
| 18 | Symmetry Breaking for Distributed Multi-Context Systems. Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh. LPNMR 2011, 26-39. Web SearchBibTeXDownload |
| 17 | Declarative Belief Set Merging Using Merging Plans. Christoph Redl, Thomas Eiter, Thomas Krennwallner. PADL 2011, 99-114. Web SearchBibTeXDownload |
| 2010 |
|---|
| 16 | First-Order Encodings for Modular Nonmonotonic Datalog Programs. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. Datalog 2010, 59-77. Web SearchBibTeXDownload |
| 15 | Decomposition of Distributed Nonmonotonic Multi-Context Systems. Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. JELIA 2010, 24-37. Web SearchBibTeXDownload |
| 14 | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. JELIA 2010, 352-355. Web SearchBibTeXDownload |
| 13 | Distributed Nonmonotonic Multi-Context Systems. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. KR 2010. Web SearchBibTeXDownload |
| 2009 |
|---|
| 12 | Realizing Default Logic over Description Logic Knowledge Bases. Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner. ECSQARU 2009, 602-613. Web SearchBibTeXDownload |
| 11 | A Rule System for Querying Persistent RDFS Data. Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres. ESWC 2009, 857-862. Web SearchBibTeXDownload |
| 10 | Combining Nonmonotonic Knowledge Bases with External Sources. Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner. FroCos 2009, 18-42. Web SearchBibTeXDownload |
| 9 | Modular Nonmonotonic Logic Programming Revisited. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. ICLP 2009, 145-159. Web SearchBibTeXDownload |
| 8 | Decomposition of Declarative Knowledge Bases with External Functions. Thomas Eiter, Michael Fink, Thomas Krennwallner. IJCAI 2009, 752-758. Web SearchBibTeXDownload |
| 7 | Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres. International Semantic Web Conference 2009, 310-327. Web SearchBibTeXDownload |
| 6 | Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. LPNMR 2009, 87-100. Web SearchBibTeXDownload |
| 5 | Answer Set Programming: A Primer. Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner. Reasoning Web 2009, 40-110. Web SearchBibTeXDownload |
| 4 | Hybrid Reasoning with Rules and Ontologies. Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski. REWERSE 2009, 1-49. Web SearchBibTeXDownload |
| 2008 |
|---|
| 3 | Exploiting conjunctive queries in description logic programs. Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer. Ann. Math. Artif. Intell. (53): 115-152 (2008). Web SearchBibTeXDownload |
| 2 | Rules and Ontologies for the Semantic Web. Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres. Reasoning Web 2008, 1-53. Web SearchBibTeXDownload |
| 2007 |
|---|
| 1 | Exploiting Conjunctive Queries in Description Logic Programs. Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer. Description Logics 2007. Web SearchBibTeXDownload |
