Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Principles of Knowledge Representation and Reasoning

• Publication date

  2014-07-20

• 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.

• Belief Merging in Dynamic Logic of Propositional Assignments

  2014cited by this paper
• A Dynamic Logic Framework for Abstract Argumentation

  2014cited by this paper
• Reasoning About the Transfer of Control

  2014cited by this paper
• Propositional Update Operators Based on Formula/Literal Dependence

  2013cited by this paper
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

  2013influential reference
• Combining Equilibrium Logic and Dynamic Logic

  2013cited by this paper
• A Simple Separation Logic

  2013cited by this paper
• Foundations of instance level updates in expressive description logics

  2011cited by this paper
• Propositional Independence: Formula-Variable Independence and Forgetting

  2011cited by this paper
• A Dynamic Logic of Normative Systems

  2011influential reference
• Prime forms and minimal change in propositional belief bases

  2010cited by this paper
• On Semantic Update Operators for Answer-Set Programs

  2010cited by this paper
• Prime Implicate-based Belief Revision Operators

  2008cited by this paper
• Belief Update Revisited

  2007cited by this paper
• Parallel interpolation, splitting, and relevance in belief change

  2007cited by this paper
• Updating Description Logic ABoxes

  2006cited by this paper
• On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases

  2005cited by this paper
• A Description Logic Based Approach to Reasoning about Web Services

  2005cited by this paper
• Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)

  2004cited by this paper
• Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

  2002cited by this paper
• Dynamic logic

  2001influential reference
• Making things happen.

  2000cited by this paper
• Propositional Belief Base Update and Minimal Change

  1999influential reference
• Logic, language and computation, vol. 2

  1999cited by this paper
• Beliefs, belief revision, and splitting languages

  1999cited by this paper
• The PMA Revisited

  1996cited by this paper
• Eliminating “converse” from converse PDL

  1996cited by this paper
• Belief Revision

  1995cited by this paper
• Reasoning about actions: Non-deterministic effects, Constraints, and Qualification

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

  1992influential reference
• On the Difference between Updating a Knowledge Base and Revising It

  1991influential reference
• Introducing Actions into Qualitative Simulation

  1989influential reference
• Investigations into a Theory of Knowledge Base Revision

  1988influential reference
• Reasoning about Action Using a Possible Models Approach

  1988cited by this paper
• Nonmonotonic Reasoning by Minimal Belief Revision

  1988cited by this paper
• Updating Logical Databases

  1986cited by this paper
• Propositional Dynamic Logic with Local Assignments

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

  1985cited by this paper

• On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories

  2025cites this paper
• Reasoning About Action and Change

  2024cites this paper
• Qualitative uncertainty and dynamics of argumentation through dynamic logic

  2023cites this paper
• Database Repair via Event-Condition-Action Rules in Dynamic Logic

  2022cites this paper
• A Novelty-Centric Agent Architecture for Changing Worlds

  2021cites this paper
• Dynamic logic of parallel propositional assignments and its applications to planning

  2019cites this paper
• A Dynamic Logic Account of Active Integrity Constraints

  2019influential citation
• Resource Separation in Dynamic Logic of Propositional Assignments

  2019cites this paper
• Judgment aggregation in dynamic logic of propositional assignments

  2018influential citation
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

  2018influential citation
• Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique)

  2018cites this paper
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives

  2017cites this paper
• Judgment Aggregation in Dynamic Logic of Propositional Assignments

  2016influential citation
• Bounded situation calculus action theories

  2015cites this paper
• On the revision of planning tasks

  2014influential citation
• Tableaux for Dynamic Logic of Propositional Assignments

  2014cites this paper
• A Dynamic View of Active Integrity Constraints

  2014cites this paper
• Logics of knowledge and action: critical analysis and challenges

  2014cites this paper
• Dynamic of Argumentation Frameworks

  2013cites this paper