List of works - Thomas Eiter

A logic programming approach to knowledge-state planning

A logic programming approach to knowledge-state planning, II: The DLVK system

An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks ⬇️

scientific article published on 15 October 2020

An efficient method for eliminating varying predicates from a circumscription

article published in 1992

Answer Set Programming: A Primer

Answering regular path queries in expressive Description Logics via alternating tree-automata

Combining Nonmonotonic Knowledge Bases with External Sources

Complexity and expressive power of logic programming

Complexity of propositional nested circumscription and nested abnormality theories

Computational aspects of monotone dualization: A brief survey

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Data Integration: a Challenging ASP Application

scientific article published in 2005

Declarative Belief Set Merging Using Merging Plans

Decomposition of Distributed Nonmonotonic Multi-Context Systems

Domain expansion for ASP-programs with external sources

Efficient Evaluation of Logic Programs for Querying Data Integration Systems

scientific article published in 2003

Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

Enhancing model checking in verification by AI techniques

Exploiting Unfounded Sets for HEX-Program Evaluation

Exploiting conjunctive queries in description logic programs

Expressiveness of stable model semantics for disjunctive logic programs with functions

FLP answer set semantics without circular justifications for general logic programs

First-Order Encodings for Modular Nonmonotonic Datalog Programs

Forgetting for Defeasible Logic

scientific article published in 2012

Generalized Quantifiers in Logic Programs

Hybrid Answer Set Programming: Opportunities and Challenges ⬇️

scientific paper published in CEUR-WS Volume 3197

Hybrid Reasoning with Rules and Ontologies

Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

article published in 2012

Linked Stream Data Processing Engines: Facts and Figures

scientific article published at ISWC 2012

Modular Nonmonotonic Logic Programming Revisited

New Results on Monotone Dualization and Generating Hypergraph Transversals

On ACTL Formulas Having Linear Counterexamples

article

On the complexity of propositional knowledge base revision, updates, and counterfactuals

On the computational cost of disjunctive logic programming: Propositional case

Preface

scientific article published in June 2005

Progression for Monitoring in Temporal ASP

scientific article published on 28 September 2023

Propositional circumscription and extended closed-world reasoning are ΠP2-complete

Pruning external minimality checking for answer set programs using semantic dependencies

scientific article published in 2021

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$

Realizing Default Logic over Description Logic Knowledge Bases

Reasoning under minimal upper bounds in propositional logic

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

Repair localization for query answering from inconsistent databases

scientific article published in June 2008

Symmetry Breaking for Distributed Multi-Context Systems

System Description: The DLVK Planning System

The DLV system for knowledge representation and reasoning

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems

The INFOMIX system for advanced integration of incomplete and inconsistent data

The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey