scientific article; zbMATH DE number 140403
From MaRDI portal
Publication:4028812
Recommendations
Cited in
(only showing first 100 items - show all)- Iterated belief revision, revised
- Knowledge forgetting: properties and applications
- A unified model of qualitative belief change: a dynamical systems perspective
- Propositional knowledge base revision and minimal change
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- A system of dynamic modal logic
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Two notions of epistemic validity. Epistemic models for Ramsey's conditionals
- Unifying default reasoning and belief revision in a modal framework
- Deriving properties of belief update from theories of action
- An overview of transaction logic
- Common knowledge and update in finite environments
- Modeling belief in dynamic systems. I: Foundations
- Modeling agents as qualitative decision makers
- Sound and efficient closed-world reasoning for planning
- Permissive planning: Extending classical planning to uncertain task domains.
- Reducing belief revision to circumscription (and vice versa)
- Fusion of possibilistic knowledge bases from a postulate point of view.
- The complexity of belief update
- LUPS -- A language for updating logic programs
- The complexity of theory revision
- Towards the qualitative, plan-based simulation of international crises
- Belief revision and projection in the epistemic situation calculus
- The incremental satisfiability problem for a two conjunctive normal form
- Revising beliefs towards the truth
- Keep changing your beliefs, aiming for the truth
- Classical and weighted knowledgebase transformations
- A logic programming system for nonmonotonic reasoning
- A logical framework for knowledge base maintenance
- Editor's introduction to the special issue on belief revision
- Constructive modelings for theory change
- The size of a revised knowledge base
- Propositional belief base update and minimal change
- Revising event calculus theories to recover from unexpected observations
- Two approaches to belief revision
- Introducing a tool for concurrent argumentation
- 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
- Constrained incomplete argumentation frameworks
- 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
- Pseudo-contractions as gentle repairs
- Confluence operators and their relationships with revision, update and merging
- Multi-source multiple change on belief bases
- Two AGM-style characterizations of model repair
- Dealing with external actions in belief causal networks
- Probability and time
- Weak AGM postulates and strong Ramsey test: A logical formalization
- Knowledge updates: Semantics and complexity issues
- Temporal interaction of information and belief
- ALX, an action logic for agents with bounded rationality
- A test battery for rational database updating
- Knowledge forgetting in propositional \(\mu\)-calculus
- scientific article; zbMATH DE number 1696578 (Why is no real title available?)
- scientific article; zbMATH DE number 1708074 (Why is no real title available?)
- Argumentation update in YALLA (yet another logic language for argumentation)
- Exploring the power of converse events
- Relevant minimal change in belief update
- A Unifying Perspective on Knowledge Updates
- How strong can an agent believe reported information?
- Sources of, and exploiting, inconsistency: preliminary report
- On knowledge evolution: acquisition, revision, contraction
- On the Semantics of Arbitration
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
- Private expansion and revision in multi-agent settings
- COBA 2.0: A Consistency-Based Belief Change System
- From DEL to EDL: Exploring the Power of Converse Events
- Confluence Operators
- A Verified AsmL Implementation of Belief Revision
- Compositional belief update
- Using Transfinite Ordinal Conditional Functions
- Capturing model-based ontology evolution at the instance level: the case of DL-Lite
- Foundations of instance level updates in expressive description logics
- Belief change in branching time: AGM-consistency and iterated revision
- scientific article; zbMATH DE number 1241667 (Why is no real title available?)
- A practical parallel algorithm for propositional knowledge base revision
- scientific article; zbMATH DE number 1269568 (Why is no real title available?)
- scientific article; zbMATH DE number 517036 (Why is no real title available?)
- 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
- A Unified View of Belief Revision and Update
- Local and global metrics for the semantics of counterfactual conditionals
- Update by means of inference rules
- scientific article; zbMATH DE number 1784994 (Why is no real title available?)
- Characterization of logic program revision as an extension of propositional revision
- Talkin'bout consistency, or: When logically possible becomes possible
- A methodology for iterated theory change
- Modal logic for modelling actions and agents
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- scientific article; zbMATH DE number 219220 (Why is no real title available?)
- Multiagent reasoning with probability, time, and beliefs
- Knowledge base dynamics, abduction, and database updates
- Lost in translation: language independence in propositional logic -- application to belief change
- Actions, belief update, and DDL
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028812)
