BibSonomy publications for /author/Krennwallner

Exploiting Conjunctive Queries in Description Logic Programs.

dblp — 2012-02-09T00:00:00+01:00

Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, and Giovambattista Ianni ISAIM, (2008)

First-Order Encodings for Modular Nonmonotonic Datalog Programs.

dblp — 2012-01-31T00:00:00+01:00

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner Datalog, volume 6702 of Lecture Notes in Computer Science, page 59-77. Springer, (2010)

Nested HEX-Programs

dblp — 2011-12-05T00:00:00+01:00

Thomas Eiter, Thomas Krennwallner, and Christoph Redl CoRR (2011)

Symmetry Breaking for Distributed Multi-Context Systems

dblp — 2011-12-05T00:00:00+01:00

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, and Toby Walsh CoRR (2011)

Hybrid Reasoning with Rules and Ontologies

reynares.e — 2011-08-09T16:33:51+02:00

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, and Jan Maluszynski Semantic Techniques for the Web: The REWERSE Perspective, chapter 1, (2009)

Promoting Modular Nonmonotonic Logic Programs.

dblp — 2011-07-11T00:00:00+02:00

Thomas Krennwallner ICLP Technical Communications, volume 11 of LIPIcs, page 274-279. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.

dblp — 2011-05-02T00:00:00+02:00

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, and Peter Schüller LPNMR, volume 6645 of Lecture Notes in Computer Science, page 93-106. Springer, (2011)

Symmetry Breaking for Distributed Multi-Context Systems.

dblp — 2011-05-02T00:00:00+02:00

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, and Toby Walsh LPNMR, volume 6645 of Lecture Notes in Computer Science, page 26-39. Springer, (2011)

Declarative Belief Set Merging Using Merging Plans.

dblp — 2011-02-15T00:00:00+01:00

Christoph Redl, Thomas Eiter, and Thomas Krennwallner PADL, volume 6539 of Lecture Notes in Computer Science, page 99-114. Springer, (2011)

Hybrid Reasoning with Rules and Ontologies

flint63 — 2010-10-31T22:39:10+01:00

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, and Jan Maluszynski Semantic Techniques for the Web: The REWERSE Perspective, chapter 1, (2009)

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes

flint63 — 2010-10-31T09:37:52+01:00

Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel Polleres The Semantic Web -- ISWC 2009: 8th International Semantic Web Conference, Chantilly, VA, USA, (2009)

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.

dblp — 2010-09-21T00:00:00+02:00

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner JELIA, volume 6341 of Lecture Notes in Computer Science, page 352-355. Springer, (2010)

Decomposition of Distributed Nonmonotonic Multi-Context Systems.

dblp — 2010-09-21T00:00:00+02:00

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner JELIA, volume 6341 of Lecture Notes in Computer Science, page 24-37. Springer, (2010)

Distributed Nonmonotonic Multi-Context Systems.

dblp — 2010-07-21T16:01:11+02:00

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner KR, AAAI Press, (2010)

Hybrid reasoning with rules and ontologies

ontorule — 2010-03-29T16:58:04+02:00

W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, and J. Maluszynski. Semantic Techniques for the Web (July 2009)

Realizing Default Logic over Description Logic Knowledge Bases

ontorule — 2010-03-29T16:54:10+02:00

Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2009, Verona, Italy, July 1--3, 2009, page 602-613. Springer, (2009)Forthcoming .

Decomposition of declarative knowledge bases with external functions

ontorule — 2010-03-29T16:48:42+02:00

T. Eiter, M. Fink, and T. Krennwallner Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (2009)

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes.

dblp — 2009-11-11T00:00:00+01:00

Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel Polleres International Semantic Web Conference, volume 5823 of Lecture Notes in Computer Science, page 310-327. Springer, (2009)

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes

ivan_herman — 2009-11-03T13:41:58+01:00

Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel Polleres The Semantic Web - ISWC 2009, volume 5823 of Lecture Notes in Computer Science, page 310--327. Springer, (2009)

Realizing Default Logic over Description Logic Knowledge Bases

stijn.heymans — 2009-10-22T15:47:30+02:00

Minh DAO Tran, Thomas Eiter, and Thomas Krennwallner Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2009, Verona, Italy, July 1--3, 2009, Springer, (2009)Forthcoming .