Thomas Krennwallner

According to our database, Thomas Krennwallner authored at least 44 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

ASP-Core-2 Input Language Format.

Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub

Theory Pract. Log. Program., 2020

2019

Exact Methods for Extended Rotating Workforce Scheduling Problems.

Lucas Kletzander, Nysret Musliu, Johannes Gärtner, Thomas Krennwallner, Werner Schafhauser

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2016

A model building framework for answer set programming with external computations.

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller

Theory Pract. Log. Program., 2016

Semantically Enriched Multi-Modal Routing.

Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub

Int. J. Intell. Transp. Syst. Res., 2016

Domain expansion for ASP-programs with external sources.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Artif. Intell., 2016

2015

Distributed Evaluation of Nonmonotonic Multi-context Systems.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

J. Artif. Intell. Res., 2015

2014

Efficient HEX-Program Evaluation Based on Unfounded Sets.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

J. Artif. Intell. Res., 2014

FLP answer set semantics without circular justifications for general logic programs.

Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng

Artif. Intell., 2014

2013

Eliminating Unfounded Set Checking for HEX-Programs

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

CoRR, 2013

VCWC: A Versioning Competition Workflow Compiler.

Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

hex-Programs with Existential Quantification.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Proceedings of the Declarative Programming and Knowledge Management, 2013

Lightweight Spatial Conjunctive Query Answering Using Keywords.

Thomas Eiter, Thomas Krennwallner, Patrik Schneider

Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

Liberal Safety for Answer Set Programs with External Sources.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Conflict-driven ASP solving with external sources.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Theory Pract. Log. Program., 2012

Mapping between RDF and XML with XSPARQL.

Stefan Bischof, Stefan Decker, Thomas Krennwallner, Nuno Lopes, Axel Polleres

J. Data Semant., 2012

The Answer Set Programming Competition.

Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca

AI Mag., 2012

Exploiting Unfounded Sets for HEX-Program Evaluation.

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.

Harald Beck, Thomas Eiter, Thomas Krennwallner

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Uniform Evaluation of Nonmonotonic DL-Programs.

Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao

Proceedings of the Foundations of Information and Knowledge Systems, 2012

Inconsistency Management for Traffic Regulations.

Harald Beck, Thomas Eiter, Thomas Krennwallner

Proceedings of the Semantic Cities, 2012

2011

Nested HEX-Programs

Thomas Eiter, Thomas Krennwallner, Christoph Redl

CoRR, 2011

Declarative Belief Set Merging Using Merging Plans.

Christoph Redl, Thomas Eiter, Thomas Krennwallner

Proceedings of the Practical Aspects of Declarative Languages, 2011

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Symmetry Breaking for Distributed Multi-Context Systems.

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Model Streaming for Distributed Multi-Context Systems.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

HEX-Programs with Nested Program Calls.

Thomas Eiter, Thomas Krennwallner, Christoph Redl

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Promoting Modular Nonmonotonic Logic Programs.

Thomas Krennwallner

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

Distributed Nonmonotonic Multi-Context Systems.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Decomposition of Distributed Nonmonotonic Multi-Context Systems.

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

First-Order Encodings for Modular Nonmonotonic Datalog Programs.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

Hybrid Reasoning with Rules and Ontologies.

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

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

Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Answer Set Programming: A Primer.

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner

Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Decomposition of Declarative Knowledge Bases with External Functions.

Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the IJCAI 2009, 2009

Modular Nonmonotonic Logic Programming Revisited.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Proceedings of the Logic Programming, 25th International Conference, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.

Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

A Rule System for Querying Persistent RDFS Data.

Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres

Proceedings of the Semantic Web: Research and Applications, 2009

Realizing Default Logic over Description Logic Knowledge Bases.

Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

Exploiting conjunctive queries in description logic programs.

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer

Ann. Math. Artif. Intell., 2008

Rules and Ontologies for the Semantic Web.

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres

Proceedings of the Reasoning Web, 2008

XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage.

Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres

Proceedings of the Semantic Web: Research and Applications, 2008