 | 2012 |
| 25 |  | Thomas Eiter,
Thomas Krennwallner,
Patrik Schneider,
Guohui Xiao:
Uniform Evaluation of Nonmonotonic DL-Programs.
FoIKS 2012: 1-22 |
| 2011 |
| 24 |  | Thomas Krennwallner:
Promoting Modular Nonmonotonic Logic Programs.
ICLP (Technical Communications) 2011: 274-279 |
| 23 |  | Christian Drescher,
Thomas Eiter,
Michael Fink,
Thomas Krennwallner,
Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems.
LPNMR 2011: 26-39 |
| 22 |  | Thomas Eiter,
Michael Fink,
Giovambattista Ianni,
Thomas Krennwallner,
Peter Schüller:
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
LPNMR 2011: 93-106 |
| 21 |  | Christoph Redl,
Thomas Eiter,
Thomas Krennwallner:
Declarative Belief Set Merging Using Merging Plans.
PADL 2011: 99-114 |
| 20 |  | Christian Drescher,
Thomas Eiter,
Michael Fink,
Thomas Krennwallner,
Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems
CoRR abs/1104.3931: (2011) |
| 19 |  | Thomas Eiter,
Thomas Krennwallner,
Christoph Redl:
Nested HEX-Programs
CoRR abs/1108.5626: (2011) |
| 2010 |
| 18 |  | Minh Dao-Tran,
Thomas Eiter,
Michael Fink,
Thomas Krennwallner:
First-Order Encodings for Modular Nonmonotonic Datalog Programs.
Datalog 2010: 59-77 |
| 17 |  | Seif El-Din Bairakdar,
Minh Dao-Tran,
Thomas Eiter,
Michael Fink,
Thomas Krennwallner:
Decomposition of Distributed Nonmonotonic Multi-Context Systems.
JELIA 2010: 24-37 |
| 16 |  | 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 |
| 15 |  | Minh Dao-Tran,
Thomas Eiter,
Michael Fink,
Thomas Krennwallner:
Distributed Nonmonotonic Multi-Context Systems.
KR 2010 |
| 2009 |
| 14 |  | Minh Dao-Tran,
Thomas Eiter,
Thomas Krennwallner:
Realizing Default Logic over Description Logic Knowledge Bases.
ECSQARU 2009: 602-613 |
| 13 |  | Giovambattista Ianni,
Thomas Krennwallner,
Alessandra Martello,
Axel Polleres:
A Rule System for Querying Persistent RDFS Data.
ESWC 2009: 857-862 |
| 12 |  | Thomas Eiter,
Gerhard Brewka,
Minh Dao-Tran,
Michael Fink,
Giovambattista Ianni,
Thomas Krennwallner:
Combining Nonmonotonic Knowledge Bases with External Sources.
FroCos 2009: 18-42 |
| 11 |  | Minh Dao-Tran,
Thomas Eiter,
Michael Fink,
Thomas Krennwallner:
Modular Nonmonotonic Logic Programming Revisited.
ICLP 2009: 145-159 |
| 10 |  | Thomas Eiter,
Michael Fink,
Thomas Krennwallner:
Decomposition of Declarative Knowledge Bases with External Functions.
IJCAI 2009: 752-758 |
| 9 |  | 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 |
| 8 |  | Minh Dao-Tran,
Thomas Eiter,
Michael Fink,
Thomas Krennwallner:
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.
LPNMR 2009: 87-100 |
| 7 |  | Thomas Eiter,
Giovambattista Ianni,
Thomas Krennwallner:
Answer Set Programming: A Primer.
Reasoning Web 2009: 40-110 |
| 6 |  | Wlodzimierz Drabent,
Thomas Eiter,
Giovambattista Ianni,
Thomas Krennwallner,
Thomas Lukasiewicz,
Jan Maluszynski:
Hybrid Reasoning with Rules and Ontologies.
REWERSE 2009: 1-49 |
| 2008 |
| 5 |  | 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 |
| 4 |  | Thomas Eiter,
Thomas Krennwallner,
Roman Schindlauer,
Giovambattista Ianni:
Exploiting Conjunctive Queries in Description Logic Programs.
ISAIM 2008 |
| 3 |  | Thomas Eiter,
Giovambattista Ianni,
Thomas Krennwallner,
Axel Polleres:
Rules and Ontologies for the Semantic Web.
Reasoning Web 2008: 1-53 |
| 2 |  | 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) |
| 2007 |
| 1 |  | Thomas Eiter,
Giovambattista Ianni,
Thomas Krennwallner,
Roman Schindlauer:
Exploiting Conjunctive Queries in Description Logic Programs.
Description Logics 2007 |