scientific article
From MaRDI portal
Publication:4028812
zbMath0765.68197MaRDI QIDQ4028812
Hirofumi Katsuno, Alberto O. Mendelzon
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Unifying default reasoning and belief revision in a modal framework ⋮ Deriving properties of belief update from theories of action ⋮ Argumentation update in YALLA (yet another logic language for argumentation) ⋮ An overview of transaction logic ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ A logic programming system for nonmonotonic reasoning ⋮ Exploring the Power of Converse Events ⋮ Constrained incomplete argumentation frameworks ⋮ Relevant Minimal Change in Belief Update ⋮ A Unifying Perspective on Knowledge Updates ⋮ Editor's introduction to the special issue on belief revision ⋮ Constructive modelings for theory change ⋮ Contraction: On the decision-theoretical origins of minimal change and entrenchment ⋮ Observations on validity and conditionals in belief revision systems ⋮ A glance at revision and updating in knowledge bases ⋮ A survey of belief revision and updating in classical logic ⋮ A survey of belief revision and updating rules in various uncertainty models ⋮ A temporal revision model for reasoning about world change ⋮ Revision and action ⋮ Reasoning with partially ordered information in a possibilistic logic framework ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ Integration of weighted knowledge bases ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Multiagent reasoning with probability, time, and beliefs ⋮ Common knowledge and update in finite environments ⋮ A unified model of qualitative belief change: a dynamical systems perspective ⋮ Capturing model-based ontology evolution at the instance level: the case of DL-Lite ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Towards a theory of intention revision ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ ALX, an action logic for agents with bounded rationality ⋮ Modeling agents as qualitative decision makers ⋮ Local and global metrics for the semantics of counterfactual conditionals ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ Knowledge forgetting in propositional \(\mu\)-calculus ⋮ Updating action domain descriptions ⋮ Prime forms and minimal change in propositional belief bases ⋮ Sound and efficient closed-world reasoning for planning ⋮ Permissive planning: Extending classical planning to uncertain task domains. ⋮ Revision in networks of ontologies ⋮ Equilibria in social belief removal ⋮ A generic approach to planning in the presence of incomplete information: theory and implementation ⋮ Reducing belief revision to circumscription (and vice versa) ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Foundations of instance level updates in expressive description logics ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ COBA 2.0: A Consistency-Based Belief Change System ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ Confluence Operators ⋮ Probability and time ⋮ A Verified AsmL Implementation of Belief Revision ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Fusion of possibilistic knowledge bases from a postulate point of view. ⋮ Talkin'bout consistency, or: When logically possible becomes possible ⋮ A methodology for iterated theory change ⋮ Modal logic for modelling actions and agents ⋮ A new psychologism in logic? Reflections from the point of view of belief revision ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ Knowledge updates: Semantics and complexity issues ⋮ Lost in translation: language independence in propositional logic -- application to belief change ⋮ The size of a revised knowledge base ⋮ Propositional belief base update and minimal change ⋮ Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change ⋮ Temporal interaction of information and belief ⋮ Propositional knowledge base revision and minimal change ⋮ Knowledgebase transformations ⋮ The incremental satisfiability problem for a two conjunctive normal form ⋮ How Strong Can an Agent Believe Reported Information ? ⋮ Confluence operators and their relationships with revision, update and merging ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ Revising beliefs towards the truth ⋮ Keep changing your beliefs, aiming for the truth ⋮ Logic based merging ⋮ Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM ⋮ John McCarthy's legacy ⋮ Belief extrapolation (or how to reason about observations and unpredicted change) ⋮ On the dynamics of institutional agreements ⋮ A sound and complete model-generation procedure for consistent and confidentiality-preserving databases ⋮ Revising event calculus theories to recover from unexpected observations ⋮ Multi-source multiple change on belief bases ⋮ Two AGM-style characterizations of model repair ⋮ Two approaches to belief revision ⋮ Introducing a tool for concurrent argumentation ⋮ A system of dynamic modal logic ⋮ Using Transfinite Ordinal Conditional Functions ⋮ Classical and weighted knowledgebase transformations ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ An action language for multi-agent domains ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ Iterated belief revision, revised ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ The complexity of belief update ⋮ Two notions of epistemic validity. Epistemic models for Ramsey's conditionals ⋮ Knowledge forgetting: properties and applications ⋮ Sources of, and exploiting, inconsistency: preliminary report ⋮ A practical parallel algorithm for propositional knowledge base revision ⋮ LUPS -- A language for updating logic programs ⋮ The complexity of theory revision ⋮ Dealing with external actions in belief causal networks ⋮ Towards the qualitative, plan-based simulation of international crises
This page was built for publication:
