Complexity of Propositional Knowledge Base Revision

Complexity of Propositional Knowledge Base Revision

Bibliographic Details
Main Authors:	Eiter, T, Gottlob, G
Format:	Conference item
Published:	European Computer−Industry Research Centre‚ Munich 1992

Similar Items

On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
by: Eiter, T, et al.
Published: (1992)

On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
by: Eiter, T, et al.
Published: (1992)

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
by: Eiter, T, et al.
Published: (1993)

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
by: Eiter, T, et al.
Published: (1996)

Complexity of propositional nested circumscription and nested abnormality theories
by: Cadoli, M, et al.
Published: (2005)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case
by: Eiter, T, et al.
Published: (1995)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)

Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
by: Eiter, T, et al.
Published: (1993)

Propositional default logics made easier: computational complexity of model checking
by: Baumgartner, R, et al.
Published: (2002)

The Complexity of Logic−Based Abduction
by: Eiter, T, et al.
Published: (1995)

The Complexity of Logic−Based Abduction
by: Eiter, T, et al.
Published: (1993)

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
by: Baumgartner, R, et al.
Published: (1999)

Complexity Results for Logic−Based Abduction
by: Eiter, T, et al.
Published: (1992)

On the Complexity of Theory Curbing
by: Eiter, T, et al.
Published: (2000)

Complexity Results for Default Reasoning from Conditional Knowledge Bases
by: Eiter, T, et al.
Published: (2000)

Complexity Aspects of Various Semantics for Disjunctive Databases
by: Eiter, T, et al.
Published: (1993)

Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
by: Eiter, T, et al.
Published: (2000)

Propositionalism
by: Paseau, A
Published: (2021)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by: Eiter, T, et al.
Published: (1993)

Revision of DL−Lite Knowledge Bases
by: Wang, Z, et al.
Published: (2009)

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
by: Eiter, T, et al.
Published: (1997)

Complexity Results for Abductive Logic Programming
by: Eiter, T, et al.
Published: (1995)

Complexity of Nested Circumscription and Abnormality Theories
by: Cadoli, M, et al.
Published: (2001)

Complexity of Nested Circumscription and Nested Abnormality Theories
by: Cadoli, M, et al.
Published: (2002)

Abduction from Logic Programs: Semantics and Complexity
by: Eiter, T, et al.
Published: (1997)

Semantics and Complexity of Abduction from Default Theories
by: Eiter, T, et al.
Published: (1997)

Semantics and Complexity of Abduction from Default Theories
by: Eiter, T, et al.
Published: (1995)

Reasoning-Supported Interactive Revision of Knowledge Bases.
by: Nikitina, N, et al.
Published: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
by: Nikitina, N, et al.
Published: (2011)

Revising General Knowledge Bases in Description Logics
by: Wang, Z, et al.
Published: (2010)

Reasoning−Supported Interactive Revision of Knowledge Bases
by: Nikitina, N, et al.
Published: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
by: Nikitina, N, et al.
Published: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
by: Nikitina, N, et al.
Published: (2011)

Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness
by: Ben-Ari, Mordechai, et al.
Published: (2023)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
by: Eiter, T, et al.
Published: (1994)

Complexity and expressive power of logic programming
by: Dantsin, E, et al.
Published: (2001)

Complexity and Expressive Power of Logic Programming
by: Dantsin, E, et al.
Published: (1997)

Semi−Automatic Revision of Formalized Knowledge
by: Nikitina, N
Published: (2010)

A New Approach to Knowledge Base Revision in DL−Lite
by: Wang, Z, et al.
Published: (2010)