| 2013 | ||
|---|---|---|
| i4 | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller: Eliminating Unfounded Set Checking for HEX-Programs. CoRR abs/1301.1390 (2013) | |
| 2012 | ||
| j4 | Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca: The Answer Set Programming Competition. AI Magazine 33(4): 114-118 (2012) | |
| j3 | Stefan Bischof, Stefan Decker, Thomas Krennwallner, Nuno Lopes, Axel Polleres: Mapping between RDF and XML with XSPARQL. J. Data Semantics 1(3): 147-185 (2012) | |
| j2 | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl: Conflict-driven ASP solving with external sources. TPLP 12(4-5): 659-679 (2012) | |
| c23 | Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao: Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS 2012: 1-22 | |
| c22 | Harald Beck, Thomas Eiter, Thomas Krennwallner: Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. JELIA 2012: 80-93 | |
| c21 | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller: Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA 2012: 160-175 | |
| e1 | Thomas Eiter, Thomas Krennwallner (Eds.): Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings. Lecture Notes in Computer Science 7487, Springer 2012, isbn 978-3-642-33157-2 | |
| i3 | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl: Conflict-driven ASP Solving with External Sources. CoRR abs/1210.1649 (2012) | |
| 2011 | ||
| c20 | Thomas Krennwallner: Promoting Modular Nonmonotonic Logic Programs. ICLP (Technical Communications) 2011: 274-279 | |
| c19 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39 | |
| c18 | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller: Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106 | |
| c17 | Christoph Redl, Thomas Eiter, Thomas Krennwallner: Declarative Belief Set Merging Using Merging Plans. PADL 2011: 99-114 | |
| i2 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011) | |
| i1 | ||
| 2010 | ||
| c16 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77 | |
| c15 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37 | |
| c14 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 352-355 | |
| c13 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Distributed Nonmonotonic Multi-Context Systems. KR 2010 | |
| 2009 | ||
| c12 | Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner: Realizing Default Logic over Description Logic Knowledge Bases. ECSQARU 2009: 602-613 | |
| c11 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: A Rule System for Querying Persistent RDFS Data. ESWC 2009: 857-862 | |
| c10 | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS 2009: 18-42 | |
| c9 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159 | |
| c8 | Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758 | |
| c7 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100 | |
| c6 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner: Answer Set Programming: A Primer. Reasoning Web 2009: 40-110 | |
| c5 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. International Semantic Web Conference 2009: 310-327 | |
| p1 | Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49 | |
| 2008 | ||
| j1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1-4): 115-152 (2008) | |
| c4 | Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres: XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. ESWC 2008: 432-447 | |
| c3 | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni: Exploiting Conjunctive Queries in Description Logic Programs. ISAIM 2008 | |
| c2 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres: Rules and Ontologies for the Semantic Web. Reasoning Web 2008: 1-53 | |
| 2007 | ||
| c1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting Conjunctive Queries in Description Logic Programs. Description Logics 2007 | |
Data released under the ODC-BY 1.0 license — See also our legal information page