Thomas Krennwallner

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