Modeling belief in dynamic systems. I: Foundations
type: Item
instance of: scholarly article
title: Modeling belief in dynamic systems. I: Foundations
zbMATH Open document ID: 0894.68146
DOI: 10.1016/S0004-3702(97)00040-4
author: Nir Friedman
author: Joseph Y. Halpern
published in: Artificial Intelligence
publication date: 1998-06-30T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1170222
zbMATH Keywords: belief change
zbMATH Keywords: belief revision
zbMATH Keywords: minimal change
zbMATH Keywords: logic of knowledge
zbMATH Keywords: logic of belief
zbMATH Keywords: logic of time
zbMATH Keywords: plausibility measures
zbMATH Keywords: AGM postulates
Wikidata QID: Q57233890
MaRDI profile type: Publication
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Conditional logics of normality: A modal approach
cites work: Unifying default reasoning and belief revision in a modal framework
cites work: Applications of a logic of knowledge to motion planning under uncertainty
cites work: Quick completeness proofs for some logics of conditionals
cites work: Q5184179
cites work: Updating Subjective Probability
cites work: Q4012236
cites work: Reasoning about knowledge and probability
cites work: Q4845472
cites work: Propositional dynamic logic of regular programs
cites work: Q3107917
cites work: Q3495345
cites work: Counterfactuals
cites work: Two modellings for theory change
cites work: Modelling knowledge and action in distributed systems
cites work: A guide to completeness and complexity for modal logics of knowledge and belief
cites work: Knowledge, probability, and adversaries
cites work: The complexity of reasoning about knowledge and time. I: Lower bounds
cites work: Q4028812
cites work: Propositional knowledge base revision and minimal change
cites work: Knowledge, belief and time
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: On Information and Sufficiency
cites work: On Some Completeness Theorems in Modal Logic
cites work: Belief as defeasible knowledge
cites work: On the interpretation of decision problems with imperfect recall
cites work: Truth and Simplicity
cites work: Q4131415
cites work: Q4271955
Recommended article: Q4242055
Recommended article: Towards a ``sophisticated'' model of belief dynamics. I: The general framework
Recommended article: Towards a ``sophisticated'' model of belief dynamics. II: Belief revision
Recommended article: Q4845322
Recommended article: Foundations of Information and Knowledge Systems
Recommended article: Q3824387
Recommended article: A computational model of belief
Recommended article: Q4537430
description: scientific article; zbMATH DE number 1170222