scientific article

zbMath0765.68196MaRDI QIDQ4028799

Gösta Grahne

Publication date: 28 March 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

triviality theoremcounterfactual implicationRamsey rulepropositional knowledge bases\(VCU^ 2\)

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

From ordering-based nonmonotonic reasoning to conditional logics ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ An overview of transaction logic ⋮ Querying disjunctive databases through nonmonotonic logics ⋮ A glance at revision and updating in knowledge bases ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ ALX, an action logic for agents with bounded rationality ⋮ A semantics for reasoning consistently in the presence of inconsistency ⋮ Modal logic for modelling actions and agents ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ Epistemic Conditionals and the Logic of Subsets ⋮ Beliefs in conditionals vs. conditional beliefs ⋮ Propositional belief base update and minimal change ⋮ Knowledgebase transformations ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ Actions, Belief Update, and DDL ⋮ Two notions of epistemic validity. Epistemic models for Ramsey's conditionals ⋮ A practical parallel algorithm for propositional knowledge base revision ⋮ Five faces of minimality