Thomas Krennwallner

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller: Eliminating Unfounded Set Checking for HEX-Programs. CoRR abs/1301.1390 (2013)

Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca: The Answer Set Programming Competition. AI Magazine 33(4): 114-118 (2012)

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)

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl: Conflict-driven ASP solving with external sources. TPLP 12(4-5): 659-679 (2012)

Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao: Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS 2012: 1-22

Harald Beck, Thomas Eiter, Thomas Krennwallner: Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. JELIA 2012: 80-93

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller: Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA 2012: 160-175

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

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl: Conflict-driven ASP Solving with External Sources. CoRR abs/1210.1649 (2012)

Thomas Krennwallner: Promoting Modular Nonmonotonic Logic Programs. ICLP (Technical Communications) 2011: 274-279

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller: Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106

Christoph Redl, Thomas Eiter, Thomas Krennwallner: Declarative Belief Set Merging Using Merging Plans. PADL 2011: 99-114

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011)

Thomas Eiter, Thomas Krennwallner, Christoph Redl: Nested HEX-Programs. CoRR abs/1108.5626 (2011)

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37

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

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Distributed Nonmonotonic Multi-Context Systems. KR 2010

Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner: Realizing Default Logic over Description Logic Knowledge Bases. ECSQARU 2009: 602-613

Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: A Rule System for Querying Persistent RDFS Data. ESWC 2009: 857-862

Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS 2009: 18-42

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159

Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner: Answer Set Programming: A Primer. Reasoning Web 2009: 40-110

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

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49

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)

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

Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni: Exploiting Conjunctive Queries in Description Logic Programs. ISAIM 2008

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres: Rules and Ontologies for the Semantic Web. Reasoning Web 2008: 1-53

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting Conjunctive Queries in Description Logic Programs. Description Logics 2007