Publications (29)
Embedding Description Logic Programs into Default Logic
Yisong Wang, Jia-Huai You, Li Yan Yuan +2
Causes and Explanations in the Structural-Model Approach: Tractable Cases
Thomas Eiter, Thomas Lukasiewicz
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
Loris Bozzato, Luciano Serafini, Thomas Eiter
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
Thomas Eiter, Thomas Lukasiewicz
A Knowledge-Based Approach for Selecting Information Sources
Thomas Eiter, Michael Fink, Hans Tompits
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres +1
Ticker: A System for Incremental ASP-based Stream Reasoning
Harald Beck, Thomas Eiter, Christian Folie
Complexity of Nested Circumscription and Nested Abnormality Theories
Marco Cadoli, Thomas Eiter, Georg Gottlob
New Results on Monotone Dualization and Generating Hypergraph Transversals
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility
Loris Bozzato, Thomas Eiter, Luciano Serafini
Data complexity of answering conjunctive queries over SHIQ knowledge bases
M. Magdalena Ortiz de la Fuente, Diego Calvanese, Thomas Eiter +1
The DLV System for Knowledge Representation and Reasoning
Nicola Leone, Gerald Pfeifer, Wolfgang Faber +4
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher, Thomas Eiter, Michael Fink +2
Estimates of time-periodic fundamental solutions to the linearized Navier-Stokes equations
Thomas Eiter, Mads Kyed
Towards Ideal Semantics for Analyzing Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter +1
Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications
Thomas Eiter, Axel Polleres
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Zeynep G. Saribatur, Thomas Eiter
Reactive Policies with Planning for Action Languages
Zeynep G. Saribatur, Thomas Eiter
DLV - A System for Declarative Problem Solving
Thomas Eiter, Wolfgang Faber, Christoph Koch +2
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
Thomas Eiter, Michael Fink, Stefan Woltran
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
Thomas Eiter, Wolfgang Faber, Nicola Leone +2
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Conflict-driven ASP Solving with External Sources
Thomas Eiter, Michael Fink, Thomas Krennwallner +1
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
Thomas Eiter, Wolfgang Faber, Nicola Leone +1
Finding Similar/Diverse Solutions in Answer Set Programming
Thomas Eiter, Esra Erdem, Halit Erdogan +1
Stream Reasoning-Based Control of Caching Strategies in CCN Routers
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran +3
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
Uwe Egly, Thomas Eiter, Hans Tompits +1
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter, Michael Fink, Thomas Krennwallner +2
Nested HEX-Programs
Thomas Eiter, Thomas Krennwallner, Christoph Redl