Hans Tompits

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

Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.

[BibT_eX]

[DOI]

Stefan Woltran

Proceedings of the Logic Programming, 21st International Conference, 2005

Representing Paraconsistent Reasoning via Quantified Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

On Computing Belief Change Operations using Quantified Boolean Formulas.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Comput. Intell., 2004

Well-Founded Semantics for Description Logic Programs in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

On acyclic and head-cycle free nested logic programs.

[BibT_eX]

[DOI]

Thomas Linke

Stefan Woltran

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

nlp: A Compiler for Nested Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Simplifying Logic Programs Under Uniform and Strong Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Nonmonotonic Description Logic Programs: Implementation and Experiments.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

Combining Answer Set Programming with Description Logics for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On Eliminating Disjunctions in Stable Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Domain-Specific Preferences for Causal Reasoning and Planning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

A Framework for Compiling Preferences in Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

On Different Proof-Search Strategies for Orthologic.

[BibT_eX]

[DOI]

Uwe Egly

Stud Logica, 2003

Expressing default abduction problems as quantified Boolean formulas.

[BibT_eX]

[DOI]

AI Commun., 2003

Comparing Different Prenexing Strategies for Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Declarative Update Policies for Nonmonotonic Knowledge Bases.

[BibT_eX]

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Using Methods of Declarative Logic Programming for Intelligent Information Agents.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

On Properties of Update Sequences Based on Causal Rejection.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Computational Logic, 2002

A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

A Generic Approach for Knowledge-Based Information-Site Selection.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Proof-complexity results for nonmonotonic reasoning.

[BibT_eX]

[DOI]

Uwe Egly

ACM Trans. Comput. Log., 2001

An Update Front-End for Extended Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

plp: A Generic Compiler for Ordered Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

A Framework for Declarative Update Specifications in Logic Programs.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.

[BibT_eX]

[DOI]

David Pearce

Stefan Woltran

Proceedings of the Progress in Artificial Intelligence, 2001

On Computing Solutions to Belief Change Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

[BibT_eX]

[DOI]

CoRR, 2000

A Compiler for Ordered Logic Programs

[BibT_eX]

[DOI]

CoRR, 2000

Implementing Default Reasoning Using Quantified Boolean Formulae.

[BibT_eX]

Proceedings of the 14. Workshop Logische Programmierung, 2000

Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.

[BibT_eX]

Proceedings of the WLP 2000, 2000

Considerations on Updates of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

A Compilation of Brewka and Eiter's Approach to Prioritization.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Logic Programs with Compiled Preferences.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

Some Strengths of Nonmonotonic Reasoning.

[BibT_eX]

Uwe Egly