Thomas Krennwallner

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 8

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

J. Artif. Intell. Res.

Publications

Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20 (2) (2020)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. CoRR (2019)
Lucas Kletzander, Nysret Musliu, Johannes Gärtner, Thomas Krennwallner, Werner Schafhauser
Exact Methods for Extended Rotating Workforce Scheduling Problems. ICAPS (2019)
Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub
Semantically Enriched Multi-Modal Routing. Int. J. Intell. Transp. Syst. Res. 14 (1) (2016)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Domain expansion for ASP-programs with external sources. Artif. Intell. 233 (2016)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16 (4) (2016)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
A model building framework for Answer Set Programming with external computations. CoRR (2015)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Distributed Evaluation of Nonmonotonic Multi-context Systems. J. Artif. Intell. Res. 52 (2015)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. 49 (2014)
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213 (2014)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
hex-Programs with Existential Quantification. KDPD (2013)
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
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
VCWC: A Versioning Competition Workflow Compiler. LPNMR (2013)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
Eliminating Unfounded Set Checking for HEX-Programs CoRR (2013)
Thomas Eiter, Thomas Krennwallner, Patrik Schneider
Lightweight Spatial Conjunctive Query Answering Using Keywords. ESWC (2013)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Liberal Safety for Answer Set Programs with External Sources. AAAI (2013)
Harald Beck, Thomas Eiter, Thomas Krennwallner
Inconsistency Management for Traffic Regulations. Semantic Cities @ AAAI (2012)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA (2012)
Harald Beck, Thomas Eiter, Thomas Krennwallner
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. JELIA (2012)
Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao
Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS (2012)
Stefan Bischof, Stefan Decker, Thomas Krennwallner, Nuno Lopes, Axel Polleres
Mapping between RDF and XML with XSPARQL. J. Data Semant. 1 (3) (2012)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Conflict-driven ASP solving with external sources. Theory Pract. Log. Program. 12 (4-5) (2012)
Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca
The Answer Set Programming Competition. AI Mag. 33 (4) (2012)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
Conflict-driven ASP Solving with External Sources CoRR (2012)
Thomas Krennwallner
Promoting Modular Nonmonotonic Logic Programs. ICLP (Technical Communications) (2011)
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
Symmetry Breaking for Distributed Multi-Context Systems. LPNMR (2011)
Thomas Eiter, Thomas Krennwallner, Christoph Redl
HEX-Programs with Nested Program Calls. INAP/WLP (2011)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR (2011)
Thomas Eiter, Thomas Krennwallner, Christoph Redl
Nested HEX-Programs CoRR (2011)
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
Symmetry Breaking for Distributed Multi-Context Systems CoRR (2011)
Christoph Redl, Thomas Eiter, Thomas Krennwallner
Declarative Belief Set Merging Using Merging Plans. PADL (2011)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Model Streaming for Distributed Multi-Context Systems. Log-IC@LPNMR (2011)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog (2010)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Distributed Nonmonotonic Multi-Context Systems. KR (2010)
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA (2010)
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA (2010)
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. ISWC (2009)
Thomas Eiter, Michael Fink, Thomas Krennwallner
Decomposition of Declarative Knowledge Bases with External Functions. IJCAI (2009)
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS (2009)
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres
A Rule System for Querying Persistent RDFS Data. ESWC (2009)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Modular Nonmonotonic Logic Programming Revisited. ICLP (2009)
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
Realizing Default Logic over Description Logic Knowledge Bases. ECSQARU (2009)
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR (2009)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner
Answer Set Programming: A Primer. Reasoning Web (2009)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
Rules and Ontologies for the Semantic Web. Reasoning Web (2008)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer
Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres
XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. ESWC (2008)
Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni
Exploiting Conjunctive Queries in Description Logic Programs. ISAIM (2008)
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer
Exploiting Conjunctive Queries in Description Logic Programs. Description Logics (2007)