XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. - Waseem Akhtar; Jacek Kopecký; Thomas Krennwallner; Axel Polleres (ESWC, 2008)

Rules and Ontologies for the Semantic Web. - Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner; Axel Polleres (Reasoning Web, 2008)

Exploiting conjunctive queries in description logic programs. - Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner; Roman Schindlauer (Ann. Math. Artif. Intell., 2008)

Realizing Default Logic over Description Logic Knowledge Bases. - Minh Dao-Tran; Thomas Eiter; Thomas Krennwallner (ECSQARU, 2009)

A Rule System for Querying Persistent RDFS Data. - Giovambattista Ianni; Thomas Krennwallner; Alessandra Martello; Axel Polleres (ESWC, 2009)

Combining Nonmonotonic Knowledge Bases with External Sources. - Thomas Eiter; Gerhard Brewka; Minh Dao-Tran; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner (FroCoS, 2009)

Modular Nonmonotonic Logic Programming Revisited. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (ICLP, 2009)

Decomposition of Declarative Knowledge Bases with External Functions. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner (IJCAI, 2009)

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (LPNMR, 2009)

Answer Set Programming: A Primer. - Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner (Reasoning Web, 2009)

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. - Giovambattista Ianni; Thomas Krennwallner; Alessandra Martello; Axel Polleres (ISWC, 2009)

Hybrid Reasoning with Rules and Ontologies. - Wlodzimierz Drabent; Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner; Thomas Lukasiewicz; Jan Maluszynski (REWERSE, 2009)

First-Order Encodings for Modular Nonmonotonic Datalog Programs. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (Datalog, 2010)

Decomposition of Distributed Nonmonotonic Multi-Context Systems. - Seif El-Din Bairakdar; Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (JELIA, 2010)

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. - Seif El-Din Bairakdar; Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (JELIA, 2010)

Distributed Nonmonotonic Multi-Context Systems. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (KR, 2010)

Promoting Modular Nonmonotonic Logic Programs. - Thomas Krennwallner (ICLP (Technical Communications), 2011)

HEX-Programs with Nested Program Calls. - Thomas Eiter; Thomas Krennwallner; Christoph Redl (INAP/WLP, 2011)

Model Streaming for Distributed Multi-Context Systems. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (Log-IC@LPNMR, 2011)

Symmetry Breaking for Distributed Multi-Context Systems. - Christian Drescher; Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Toby Walsh (LPNMR, 2011)

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner; Peter Schüller (LPNMR, 2011)

Declarative Belief Set Merging Using Merging Plans. - Christoph Redl; Thomas Eiter; Thomas Krennwallner (PADL, 2011)

Nested HEX-Programs - Thomas Eiter; Thomas Krennwallner; Christoph Redl (CoRR, 2011)

Inconsistency Management for Traffic Regulations. - Harald Beck; Thomas Eiter; Thomas Krennwallner (Semantic Cities @ AAAI, 2012)

Uniform Evaluation of Nonmonotonic DL-Programs. - Thomas Eiter; Thomas Krennwallner; Patrik Schneider; Guohui Xiao 001 (FoIKS, 2012)

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

Exploiting Unfounded Sets for HEX-Program Evaluation. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (JELIA, 2012)

The Answer Set Programming Competition. - Francesco Calimeri; Giovambattista Ianni; Thomas Krennwallner; Francesco Ricca (AI Mag., 2012)

Mapping between RDF and XML with XSPARQL. - Stefan Bischof 002; Stefan Decker; Thomas Krennwallner; Nuno Lopes 002; Axel Polleres (J. Data Semant., 2012)

Conflict-driven ASP solving with external sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (Theory Pract. Log. Program., 2012)

Liberal Safety for Answer Set Programs with External Sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (AAAI, 2013)

Lightweight Spatial Conjunctive Query Answering Using Keywords. - Thomas Eiter; Thomas Krennwallner; Patrik Schneider (ESWC, 2013)

hex-Programs with Existential Quantification. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (KDPD, 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; et al. (LPNMR, 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 001 (LPNMR, 2013)

Eliminating Unfounded Set Checking for HEX-Programs - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (CoRR, 2013)

FLP answer set semantics without circular justifications for general logic programs. - Yi-Dong Shen; Kewen Wang 001; Thomas Eiter; Michael Fink 001; Christoph Redl; Thomas Krennwallner; Jun Deng (Artif. Intell., 2014)

Efficient HEX-Program Evaluation Based on Unfounded Sets. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl; Peter Schüller (J. Artif. Intell. Res., 2014)

Distributed Evaluation of Nonmonotonic Multi-context Systems. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Thomas Krennwallner (J. Artif. Intell. Res., 2015)

Domain expansion for ASP-programs with external sources. - Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Christoph Redl (Artif. Intell., 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)

A model building framework for answer set programming with external computations. - Thomas Eiter; Michael Fink 001; Giovambattista Ianni; Thomas Krennwallner; Christoph Redl; Peter Schüller (Theory Pract. Log. Program., 2016)

Exact Methods for Extended Rotating Workforce Scheduling Problems. - Lucas Kletzander; Nysret Musliu; Johannes Gärtner; Thomas Krennwallner; Werner Schafhauser (ICAPS, 2019)

ASP-Core-2 Input Language Format. - Francesco Calimeri; Wolfgang Faber 001; Martin Gebser; Giovambattista Ianni; Roland Kaminski; Thomas Krennwallner; Nicola Leone; Marco Maratea; Francesco Ricca; Torsten Schaub (Theory Pract. Log. Program., 2020)