Thomas Eiter

According to our database1, Thomas Eiter
  • authored at least 369 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Spatial Ontology-Mediated Query Answering over Mobility Streams.
Proceedings of the Semantic Web - 14th International Conference, 2017

2016
A model building framework for answer set programming with external computations.
TPLP, 2016

Computing Repairs of Inconsistent DL-Programs over EL Ontologies.
J. Artif. Intell. Res., 2016

Semantically Enriched Multi-Modal Routing.
Int. J. Intelligent Transportation Systems Research, 2016

Helmut Veith (1971-2016).
Bulletin of the EATCS, 2016

Reactive Policies with Planning for Action Languages.
CoRR, 2016

Stream Reasoning-Based Control of Caching Strategies in CCN Routers.
CoRR, 2016

Answer Set Programming: An Introduction to the Special Issue.
AI Magazine, 2016

Evaluating epistemic negation in answer set programming.
Artif. Intell., 2016

Data repair of inconsistent nonmonotonic description logic programs.
Artif. Intell., 2016

Domain expansion for ASP-programs with external sources.
Artif. Intell., 2016

Semi-equilibrium models for paracoherent answer set programs.
Artif. Intell., 2016

Towards Spatial Ontology-Mediated Query Answering over Mobility Streams.
Proceedings of the Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to, 2016

Generalized Consistent Query Answering under Existential Rules.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Reactive Policies with Planning for Action Languages.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Equivalent Stream Reasoning Programs.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Artificial intelligence at the gates of dawn?
Proceedings of the Informatik 2016, 2016

A Benchmarking Framework for Stream Processors.
Proceedings of the Knowledge Engineering and Knowledge Management, 2016

Problem Solving Using the HEX Family.
Proceedings of the Computational Models of Rationality, 2016

2015
Introduction to the 31st International Conference on Logic Programming special issue.
TPLP, 2015

Distributed Evaluation of Nonmonotonic Multi-context Systems.
J. Artif. Intell. Res., 2015

A model building framework for Answer Set Programming with external computations.
CoRR, 2015

Towards Ideal Semantics for Analyzing Stream Reasoning.
CoRR, 2015

A Rule-based Framework for Creating Instance Data from OpenStreetMap.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Reasoning with Forest Logic Programs Using Fully Enriched Automata.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Linking Open-World Knowledge Bases Using Nonmonotonic Rules.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Towards Comparing RDF Stream Processing Semantics.
Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Contrasting RDF Stream Processing Semantics.
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Reasoning with Forest Logic Programs Using Fully Enriched Automata.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Answer Update for Rule-Based Stream Reasoning.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Preference-Based Diagnosis Selection in Multi-Context Systems.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

LARS: A Logic-Based Framework for Analyzing Reasoning over Streams.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Efficient HEX-Program Evaluation Based on Unfounded Sets.
J. Artif. Intell. Res., 2014

Answering regular path queries in expressive Description Logics via alternating tree-automata.
Inf. Comput., 2014

FLP answer set semantics without circular justifications for general logic programs.
Artif. Intell., 2014

Finding explanations of inconsistency in multi-context systems.
Artif. Intell., 2014

Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners.
Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014

Vienna Summer of Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Computing Repairs for Inconsistent DL-programs over EL Ontologies.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Modular Paracoherent Answer Sets.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Towards Practical Deletion Repair of Inconsistent DL-programs.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Towards Practical Deletion Repair of Inconsistent DL-programs.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Contextualized Knowledge Repositories with Justifiable Exceptions.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Defeasibility in Contextual Reasoning with CKR.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

Exploiting Support Sets for Answer Set Programs with External Evaluations.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Finding similar/diverse solutions in answer set programming.
TPLP, 2013

Model-based recasting in answer-set programming.
Journal of Applied Non-Classical Logics, 2013

Marco Cadoli's work on nonmonotonic reasoning.
Intelligenza Artificiale, 2013

Eliminating Unfounded Set Checking for HEX-Programs
CoRR, 2013

Causes and Explanations in the Structural-Model Approach: Tractable Cases
CoRR, 2013

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Inconsistency Management for Description Logic Programs and Beyond.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Hex Semantics via Approximation Fixpoint Theory.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

hex-Programs with Existential Quantification.
Proceedings of the Declarative Programming and Knowledge Management, 2013

Data Repair of Inconsistent DL-Programs.
Proceedings of the IJCAI 2013, 2013

Lightweight Spatial Conjunctive Query Answering Using Keywords.
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

Liberal Safety for Answer Set Programs with External Sources.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Conflict-driven ASP solving with external sources.
TPLP, 2012

Conjunctive query answering in the description logic SH using knots.
J. Comput. Syst. Sci., 2012

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
CoRR, 2012

Conflict-driven ASP Solving with External Sources
CoRR, 2012

Distribution and Modularity in Nonmonotonic Logic Programming.
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Linked Stream Data Processing Engines: Facts and Figures.
Proceedings of the Semantic Web - ISWC 2012, 2012

Semantic Independence in DL-Programs.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Forgetting for Defeasible Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Exploiting Unfounded Sets for HEX-Program Evaluation.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Uniform Evaluation of Nonmonotonic DL-Programs.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Towards Practical Query Answering for Horn-SHIQ.
Proceedings of the 2012 International Workshop on Description Logics, 2012

The DReW System for Nonmonotonic DL-Programs.
Proceedings of the Semantic Web and Web Science, 2012

Simulating Production Rules Using ACTHEX.
Proceedings of the Correct Reasoning, 2012

Query Rewriting for Horn-SHIQ Plus Rules.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Well-founded semantics for description logic programs in the semantic web.
ACM Trans. Comput. Log., 2011

Embedding nonground logic programs into autoepistemic logic for knowledge-base combination.
ACM Trans. Comput. Log., 2011

Embedding Description Logic Programs into Default Logic
CoRR, 2011

Nested HEX-Programs
CoRR, 2011

Finding Similar/Diverse Solutions in Answer Set Programming
CoRR, 2011

Answer Set Planning Under Action Costs
CoRR, 2011

Symmetry Breaking for Distributed Multi-Context Systems
CoRR, 2011

Answer set programming at a glance.
Commun. ACM, 2011

Inline Evaluation of Hybrid Knowledge Bases - PhD Description.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Declarative Belief Set Merging Using Merging Plans.
Proceedings of the Practical Aspects of Declarative Languages, 2011

Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Nonmonotonic Multi-Context Systems in Dynamic Environments.
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

Symmetry Breaking for Distributed Multi-Context Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Model Streaming for Distributed Multi-Context Systems.
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

HEX-Programs with Nested Program Calls.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Managed Multi-Context Systems.
Proceedings of the IJCAI 2011, 2011

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols.
ACM Trans. Comput. Log., 2010

Updating action domain descriptions.
Artif. Intell., 2010

Answer Set Programming in a Nutshell.
Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

F-Logic#: Loosely Coupling F-Logic Rules and Ontologies.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Finding Explanations of Inconsistency in Multi-Context Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Paracoherent Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Distributed Nonmonotonic Multi-Context Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Preference-Based Inconsistency Assessment in Multi-Context Systems.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The mcs-ie System for Explaining Inconsistency in Multi-Context Systems.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Decomposition of Distributed Nonmonotonic Multi-Context Systems.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System.
Proceedings of the Artificial Intelligence in Theory and Practice III, 2010

Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs.
Proceedings of the Semantic Web: Research and Applications, 2010

Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.
Proceedings of the ECAI 2010, 2010

Query Answering in the Description Logic S.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

First-Order Encodings for Modular Nonmonotonic Datalog Programs.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.
Proceedings of the Fields of Logic and Computation, 2010

Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Hybrid Reasoning with Rules and Ontologies.
Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Query Answering in Description Logics: The Knots Approach.
Proceedings of the Logic, 2009

Answer Set Programming: A Primer.
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

A Reasoner for Simple Conceptual Logic Programs.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

From Data Integration towards Knowledge Mediation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Argumentation Context Systems: A Framework for Abstract Group Argumentation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Bidirectional Answer Set Programs with Function Symbols.
Proceedings of the IJCAI 2009, 2009

Query Answering in Description Logics with Transitive Roles.
Proceedings of the IJCAI 2009, 2009

Decomposition of Declarative Knowledge Bases with External Functions.
Proceedings of the IJCAI 2009, 2009

Regular Path Queries in Expressive Description Logics with Nominals.
Proceedings of the IJCAI 2009, 2009

Finding Similar or Diverse Solutions in Answer Set Programming.
Proceedings of the Logic Programming, 25th International Conference, 2009

Modular Nonmonotonic Logic Programming Revisited.
Proceedings of the Logic Programming, 25th International Conference, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Realizing Default Logic over Description Logic Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008
Repair localization for query answering from inconsistent databases.
ACM Trans. Database Syst., 2008

Data Complexity of Query Answering in Expressive Description Logics via Tableaux.
J. Autom. Reasoning, 2008

Undoing the effects of action sequences.
J. Applied Logic, 2008

Computational aspects of monotone dualization: A brief survey.
Discrete Applied Mathematics, 2008

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
CoRR, 2008

Exploiting conjunctive queries in description logic programs.
Ann. Math. Artif. Intell., 2008

Semantic forgetting in answer set programming.
Artif. Intell., 2008

Combining answer set programming with description logics for the Semantic Web.
Artif. Intell., 2008

Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell., 2008

A knowledge-based videotheodolite measurement system for object representation/monitoring.
Advances in Engineering Software, 2008

Rules and Ontologies for the Semantic Web.
Proceedings of the Reasoning Web, 2008

Reasoning Using Knots.
Proceedings of the Logic for Programming, 2008

Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Query Answering in the Description Logic Horn-.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Exploiting Conjunctive Queries in Description Logic Programs.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

SMS and ASP: Hype or TST?.
Proceedings of the Logic Programming, 24th International Conference, 2008

New Results for Horn Cores and Envelopes of Horn Disjunctions.
Proceedings of the ECAI 2008, 2008

Conjunctive Query Answering in SH using Knots.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Error Classification in Action Descriptions: A Heuristic Approach.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
A knowledge-based approach for selecting information sources.
TPLP, 2007

Semantical characterizations and complexity of equivalences in answer set programming.
ACM Trans. Comput. Log., 2007

Preface.
Theor. Comput. Sci., 2007

On computing all abductive explanations from a propositional Horn theory.
J. ACM, 2007

A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution.
Fundam. Inform., 2007

Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell., 2007

Comparing action descriptions based on semantic preferences.
Ann. Math. Artif. Intell., 2007

Foundations of Rule-Based Query Answering.
Proceedings of the Reasoning Web, 2007

Conditional Planning with External Functions.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.
Proceedings of the Logic for Programming, 2007

Complexity Results for Checking Equivalence of Stratified Logic Programs.
Proceedings of the IJCAI 2007, 2007

On Reversing Actions: Algorithms and Complexity.
Proceedings of the IJCAI 2007, 2007

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination.
Proceedings of the IJCAI 2007, 2007

Answer Set Programming for the Semantic Web.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Exploiting Conjunctive Queries in Description Logic Programs.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications.
TPLP, 2006

Introduction to special ICDT section.
ACM Trans. Database Syst., 2006

The DLV system for knowledge representation and reasoning.
ACM Trans. Comput. Log., 2006

Reasoning under minimal upper bounds in propositional logic.
Theor. Comput. Sci., 2006

A Knowledge-Based Approach for Selecting Information Sources
CoRR, 2006

Causes and explanations in the structural-model approach: Tractable cases.
Artif. Intell., 2006

dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
Proceedings of the 20th Workshop on Logic Programming, 2006

Replacements in Non-Ground Answer-Set Programming.
Proceedings of the 20th Workshop on Logic Programming, 2006

Forgetting in Managing Rules and Ontologies.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Reasoning with Rules and Ontologies.
Proceedings of the Reasoning Web, 2006

On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules.
Proceedings of the Knowledge Science, 2006

Replacements in Non-Ground Answer-Set Programming.
Proceedings of the Proceedings, 2006

An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A Tool for Answering Queries on Action Descriptions.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Comparing Action Descriptions Based on Semantic Preferences.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A Distance-Based Method for the Evaluation of Interest point Detection Algorithms.
Proceedings of the International Conference on Image Processing, 2006

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.
Proceedings of the Semantic Web: Research and Applications, 2006

Resolving Conflicts in Action Descriptions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

LPForget: A System of Forgetting in Answer Set Programming.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
Proceedings of the Proceedings, 2006

Forgetting and Conflict Resolving in Disjunctive Logic Programming.
Proceedings of the Proceedings, 2006

2005
Reasoning about evolving nonmonotonic knowledge bases.
ACM Trans. Comput. Log., 2005

Complexity of propositional nested circumscription and nested abnormality theories.
ACM Trans. Comput. Log., 2005

Preface.
J. Applied Logic, 2005

Data complexity of answering conjunctive queries over SHIQ knowledge bases
CoRR, 2005

Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
CoRR, 2005

Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications
CoRR, 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Information Extraction for the Semantic Web.
Proceedings of the Reasoning Web, 2005

Data Integration: a Challenging ASP Application.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Testing Strong Equivalence of Datalog Programs - Implementation and Examples.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

KMonitor - A Tool for Monitoring Plan Execution in Action Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Data Integration and Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

On Solution Correspondences in Answer-Set Programming.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Updating Action Domain Descriptions.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.
Proceedings of the Proceedings, 2005

Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.
Proceedings of the Proceedings, 2005

2004
A logic programming approach to knowledge-state planning: Semantics and complexity.
ACM Trans. Comput. Log., 2004

Preface.
Ann. Math. Artif. Intell., 2004

Complexity results for explanations in the structural-model approach.
Artif. Intell., 2004

Well-Founded Semantics for Description Logic Programs in the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Plan reversals for recovery in execution monitoring.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Towards Automated Integration of Guess and Check Programs in Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Simplifying Logic Programs Under Uniform and Strong Equivalence.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Nonmonotonic Description Logic Programs: Implementation and Experiments.
Proceedings of the Logic for Programming, 2004

Combining Answer Set Programming with Description Logics for the Semantic Web.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On Eliminating Disjunctions in Stable Logic Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Polynomial-Time Algorithm for Constructing k-Maintainable Policies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

04171 Abstracts Collection - Logic Based Information Agents.
Proceedings of the Logic Based Information Agents, 18.04. - 23.04.2004, 2004

A Polynomial Time Algorithm for Constructing k-Maintainable Policies.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

2003
Computing preferred answer sets by meta-interpretation in answer set programming.
TPLP, 2003

New Results on Monotone Dualization and Generating Hypergraph Transversals.
SIAM J. Comput., 2003

Answer Set Planning Under Action Costs.
J. Artif. Intell. Res., 2003

Monitoring Agents using Declarative Planning.
Fundam. Inform., 2003

A logic programming approach to knowledge-state planning, II: The DLVK system.
Artif. Intell., 2003

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories.
Proceedings of the UAI '03, 2003

Monitoring Agents Using Declarative Planning.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Efficient Evaluation of Logic Programs for Querying Data Integration Systems.
Proceedings of the Logic Programming, 19th International Conference, 2003

Uniform Equivalence of Logic Programs under the Stable Model Semantics.
Proceedings of the Logic Programming, 19th International Conference, 2003

Abduction and the Dualization Problem.
Proceedings of the Discovery Science, 6th International Conference, 2003

Declarative Update Policies for Nonmonotonic Knowledge Bases.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Generating All Abductive Explanations for Queries on Propositional Horn Theories.
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
Proceedings of the Answer Set Programming, 2003

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Answer Set Programming, 2003

Abduction and the Dualization Problem.
Proceedings of the Algorithmic Learning Theory, 14th International Conference, 2003

Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
Using Methods of Declarative Logic Programming for Intelligent Information Agents.
TPLP, 2002

On Properties of Update Sequences Based on Causal Rejection.
TPLP, 2002

On the complexity of data disjunctions.
Theor. Comput. Sci., 2002

Decision lists and related Boolean functions.
Theor. Comput. Sci., 2002

Recognition and dualization of disguised bidual Horn functions.
Inf. Process. Lett., 2002

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
CoRR, 2002

New Results on Monotone Dualization and Generating Hypergraph Transversals
CoRR, 2002

The DLV System for Knowledge Representation and Reasoning
CoRR, 2002

Reasoning about Evolving Nonmonotonic Knowledge Bases
CoRR, 2002

Complexity of Nested Circumscription and Nested Abnormality Theories
CoRR, 2002

Comparing environments for developing software agents.
AI Commun., 2002

Complexity results for structure-based causality.
Artif. Intell., 2002

Causes and Explanations in the Structural-Model Approach : Tractable Cases.
Proceedings of the UAI '02, 2002

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

New results on monotone dualization and generating hypergraph transversals.
Proceedings of the Proceedings on 34th Annual ACM Symposium on Theory of Computing, 2002

Complexity Results for Explanations in the Structural-Model Approach.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

A Generic Approach for Knowledge-Based Information-Site Selection.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

The DLV System.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Hypergraph Transversal Computation and Related Problems in Logic and AI.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

The DLVK Planning System: Progress Report.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Answer Set Planning under Action Costs.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Error-Tolerant Agents.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

On Computing all Abductive Explanations.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Probabilistic object bases.
ACM Trans. Database Syst., 2001

Disjunctions of Horn Theories and Their Cores.
SIAM J. Comput., 2001

On ACTL Formulas Having Linear Counterexamples.
J. Comput. Syst. Sci., 2001

Complexity and expressive power of logic programming.
ACM Comput. Surv., 2001

Using Methods of Declarative Logic Programming for Intelligent Information Agents
CoRR, 2001

A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
CoRR, 2001

On Properties of Update Sequences Based on Causal Rejection
CoRR, 2001

A data model and algebra for probabilistic complex values.
Ann. Math. Artif. Intell., 2001

An Update Front-End for Extended Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: The DLVK Planning System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Reasoning about Evolving Nonmonotonic Knowledge Bases.
Proceedings of the Logic for Programming, 2001

Complexity Results for Structure-Based Causality.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

A Framework for Declarative Update Specifications in Logic Programs.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Complexity of Nested Circumscription and Abnormality Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Second-Order Logic over Strings: Regular and Non-regular Fragments.
Proceedings of the Developments in Language Theory, 5th International Conference, 2001

Matchmaking for Structured Objects.
Proceedings of the Data Warehousing and Knowledge Discovery, 2001

Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Proceedings of the Answer Set Programming, 2001

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Proceedings of the Answer Set Programming, 2001

2000
On the Difference of Horn Theories.
J. Comput. Syst. Sci., 2000

Existential second-order logic over strings.
J. ACM, 2000

Complexity results for some eigenvector problems.
Int. J. Comput. Math., 2000

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
CoRR, 2000

DLV - A System for Declarative Problem Solving
CoRR, 2000

Heterogeneous active agents, III: Polynomially implementable agents.
Artif. Intell., 2000

Default reasoning from conditional knowledge bases: Complexity and tractable cases.
Artif. Intell., 2000

Using the dlv System for Planning and Diagnostic Reasoning.
WLP, 2000

Implementing Default Reasoning Using Quantified Boolean Formulae.
WLP, 2000

Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.
15. WLP, 2000

On the Complexity of Theory Curbing.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Complexity Results for Default Reasoning from Conditional Knowledge Bases.
Proceedings of the KR 2000, 2000

New Tractable Cases in Default Reasoning from Conditional Knowledge Bases.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Considerations on Updates of Logic Programs.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Extension of the Relational Algebra to Probabilistic Complex Values.
Proceedings of the Foundations of Information and Knowledge Systems, 2000

Planning under Incomplete Knowledge.
Proceedings of the Computational Logic, 2000

Prioritizing Default Logic.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Heterogenous Active Agents
MIT Press, ISBN: 0-262-19436-8, 2000

1999
Bidual Horn Functions and Extensions.
Discrete Applied Mathematics, 1999

The Diagnosis Frontend of the dlv System.
AI Commun., 1999

Heterogeneous Active Agents, I: Semantics.
Artif. Intell., 1999

Heterogeneous Active Agents, II: Algorithms and Complexity.
Artif. Intell., 1999

Computing Intersections of Horn Theories for Reasoning with Models.
Artif. Intell., 1999

Enhancing Model Checking in Verification by AI Techniques.
Artif. Intell., 1999

Preferred Answer Sets for Extended Logic Programs.
Artif. Intell., 1999

On the Difference of Horn Theories.
Proceedings of the STACS 99, 1999

1998
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
Theor. Comput. Sci., 1998

On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.
J. Symb. Log., 1998

Double Horn Functions.
Inf. Comput., 1998

A First-Order Representation of Stable Models.
AI Commun., 1998

On Disguised Double Horn Functions and Extensions.
Proceedings of the STACS 98, 1998

Existential Second-Order Logic over Strings.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

The KR System dlv: Progress Report, Comparisons and Benchmarks.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Preferred Answer Sets for Extended Logic Programs.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Disjunctions of Horn Theories and Their Cores.
Proceedings of the Algorithms and Computation, 9th International Symposium, 1998

Progress Report on the Disjunctive Deductive Database System dlv.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

Deontic Action Programs.
Proceedings of the Fundamentals of Information Systems, 1998

Computing Intersections of Horn Theories for Reasoning with Models.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Disjunctive Datalog.
ACM Trans. Database Syst., 1997

Default Logic as a Query Language.
IEEE Trans. Knowl. Data Eng., 1997

Abduction from Logic Programs: Semantics and Complexity.
Theor. Comput. Sci., 1997

On the Indiscernibility of Individuals in Logic Programming.
J. Log. Comput., 1997

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions.
J. Log. Program., 1997

On the Partial Semantics for Disjunctive Deductive Databases.
Ann. Math. Artif. Intell., 1997

Semantics and Complexity of Abduction from Default Theories.
Artif. Intell., 1997

Distance Measures for Point Sets and their Computation.
Acta Inf., 1997

The dlv System: Model Generator and Advanced Frontends (system description).
WLP, 1997

Computing Non-Ground Representations of Stable Models.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

A Deductive System for Non-Monotonic Reasoning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Modular Logic Programming and Generalized Quantifiers.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Two-Face Horn Extensions.
Proceedings of the Algorithms and Computation, 8th International Symposium, 1997

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

Generalized Quantifiers in Logic Programs.
Proceedings of the Generalized Quantifiers and Computation, 1997

Complexity and Expressive Power of Logic Programming.
Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, 1997

The Architecture of a Disjunctive Deductive Database System.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Querying Disjunctive Databases Through Nonmonotonic Logics.
Theor. Comput. Sci., 1996

Mächtigkeit von Logikprogrammierung über Datenbanken.
KI, 1996

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions.
J. Comput. Syst. Sci., 1996

Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.
Ann. Pure Appl. Logic, 1996

The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Proceedings of the Logic in Databases, 1996

Partial Semantics for Disjunctive Deductive Databases.
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Identifying the Minimal Transversals of a Hypergraph and Related Problems.
SIAM J. Comput., 1995

The Complexity of Logic-Based Abduction.
J. ACM, 1995

Recognizing Renamable Generalized Propositional Horn Formulas Is NP-complete.
Discrete Applied Mathematics, 1995

On the Computational Cost of Disjunctive Logic Programming: Propositional Case.
Ann. Math. Artif. Intell., 1995

Generating Boolean mu-Expressions.
Acta Inf., 1995

On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.
WLP, 1995

Complexity Results for Abductive Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Semantics and Complexity of Abduction from Default Theories.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Querying Disjunctive Database Through Nonmonotonic Logics.
Proceedings of the Database Theory, 1995

1994
Exact Transversal Hypergraphs and Application to Boolean µ-Functions.
J. Symb. Comput., 1994

Adding Disjunction to Datalog.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Default Logic as a Query Language.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics.
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Disjunctive Logic Programming over Finite Structures.
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

1993
Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete.
Theor. Comput. Sci., 1993

The Complexity of Logic-Based Abduction.
Proceedings of the STACS 93, 1993

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics.
Proceedings of the Logic Programming, 1993

Complexity Aspects of Various Semantics for Disjunctive Databases.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Reasoning with parsimonious and moderately grounded expansions.
Fundam. Inform., 1992

On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
Artif. Intell., 1992

An Efficient Method for Eliminating Varying Predicates from a Circumscription.
Artif. Intell., 1992

On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Complexity Results for Logic-Based Abduction.
Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992

Complexity of Propositional Knowledge Base Revision.
Proceedings of the CNKBS'92, 1992

1991
Sperrverfahren für B-Bäume im Vergleich.
Informatik Spektrum, 1991


  Loading...