Horn Complements: Towards Horn-to-Horn Belief Revision

No abstract is available for this paper.

• Publication year

  2008

• Venue

  AAAI Conference on Artificial Intelligence

• Publication date

  2008-07-13

• Fields of study

  Philosophy, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Learning Large Scale Common Sense Models of Everyday Life

  2007cited by this paper
• The DNF exception problem

  2006cited by this paper
• On belief change in ontology evolution

  2006influential reference
• On belief change and ontology evolution

  2006influential reference
• Updating Description Logics using the AGM Theory

  2005cited by this paper
• Inverse Resolution as Belief Change

  2005cited by this paper
• A continuous–discontinuous second‐order transition in the satisfiability of random Horn‐SAT formulas

  2005cited by this paper
• Iterated Belief Revision: A Computational Approach

  2005cited by this paper
• Generalizing the AGM postulates: preliminary results and applications

  2004influential reference
• The Public Acquisition of Commonsense Knowledge

  2002cited by this paper
• Iterated Syntax-Based Revision in a Nonmonotonic Setting

  2001cited by this paper
• Statistical mechanics methods and phase transitions in optimization problems

  2001cited by this paper
• Weakening conflicting information for iterated revision and knowledge integration

  2001cited by this paper
• Frontiers in Belief Revision

  2001cited by this paper
• Compilability and compact representations of revision of Horn knowledge bases

  2000cited by this paper
• A textbook of belief dynamics - theory change and database updating

  1999cited by this paper
• Incremental Recompilation of Knowledge

  1997cited by this paper
• The Complexity of Iterated Belief Revision

  1997cited by this paper
• Scientific discovery based on belief revision

  1997cited by this paper
• Reliable Belief Revision

  1997cited by this paper
• How Hard is it to Revise a Belief Base

  1996cited by this paper
• Essential and redundant rules in Horn knowledge bases

  1995cited by this paper
• Concept Formation and Knowledge Revision

  1994cited by this paper
• On the complexity of propositional knowledge base revision, updates, and counterfactuals

  1992cited by this paper
• Knowledge in Flux

  1991cited by this paper
• Knowledge in Flux

  1988cited by this paper
• On the logic of theory change: Partial meet contraction and revision functions

  1985cited by this paper

• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

  2023cites this paper
• On Mixed Iterated Revisions

  2021cites this paper
• A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

  2019cites this paper
• Direct and Binary Direct Bases for One-set Updates of a Closure System

  2018cites this paper
• Inter-Definability of Horn Contraction and Horn Revision

  2016cites this paper
• Characterizability in Horn Belief Revision

  2016cites this paper
• Belief revision in Horn theories

  2015cites this paper
• Dynamics of Belief: Horn Knowledge Base and Database Updates

  2015cites this paper
• Resolving conflicts in knowledge for ambient intelligence

  2015cites this paper
• Printed in the United Kingdom Resolving Conflicts in Knowledge for Ambient Intelligence

  2015cites this paper
• Comparative study of view update algorithms in rational choice theory

  2014cites this paper
• Belief Merging within Fragments of Propositional Logic

  2014cites this paper
• A new rational algorithm for view updating in relational databases

  2014cites this paper
• Entrenchment-Based Horn Contraction

  2014cites this paper
• Minimal change: Relevance and recovery revisited

  2013cites this paper
• A Rational and Efficient Algorithm for View Revision in Databases

  2013cites this paper
• Horn Clause Contraction Functions

  2013cites this paper
• Exploring the Rationality of Some Syntactic Merging Operators

  2012cites this paper
• Belief revision within fragments of propositional logic

  2012cites this paper
• Belief Revision in Non-Classical Logics

  2012cites this paper
• Belief Revision : Revising Horn Clause Theories

  2011cites this paper
• AGM 25 Years

  2011cites this paper
• Boolean Functions

  2011cites this paper
• On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

  2011cites this paper
• Language Splitting and Relevance-Based Belief Change in Horn Logic

  2011cites this paper
• Revising Horn Theories

  2011cites this paper
• Horn Belief Contraction: Remainders, Envelopes and Complexity

  2011influential citation
• On Approximate Horn Formula Minimization

  2010cites this paper
• Horn Contraction via Epistemic Entrenchment

  2010cites this paper
• Horn Belief Change: A Contraction Core

  2010cites this paper
• A contraction core for Horn belief change: Preliminary report

  2010cites this paper
• Horn Clause Contraction Functions: Belief Set and Belief Base Approaches

  2010cites this paper
• On Approximate Horn Minimization

  2009cites this paper
• Horn Clause Belief Change: Contraction Functions

  2008cites this paper
• Combinatorial problems for Horn clauses

  2008cites this paper
• Formalizing the Evolution Process

  2008cites this paper