Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Krennwallner
2010 – today
- 2013
[c24]Thomas Eiter, Thomas Krennwallner, Patrik Schneider: Lightweight Spatial Conjunctive Query Answering Using Keywords. ESWC 2013: 243-258- [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
2000 – 2009
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-24 22:19 CEST by the dblp team