From knowledge-based programs to graded belief-based programs. I: On-line reasoning
type: Item
instance of: scholarly article
title: From knowledge-based programs to graded belief-based programs. I: On-line reasoning
zbMATH Open document ID: 1085.68163
author: Noël Laverny
author: Jérôme Lang
published in: Synthese
publication date: 2006-02-08T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5005194
zbMATH Keywords: doxastic logic KD45
MaRDI profile type: Publication
full work available at URL: s11229-005-1350-1
OpenAlex ID: W2064507541
cites work: Intelligent Agents and Multi-Agent Systems
cites work: Reasoning about noisy sensors and effectors in the situation calculus
cites work: Q4546698
cites work: Planning and control in artificial intelligence: A unifying perspective
cites work: A unified model of qualitative belief change: a dynamical systems perspective
cites work: Q5715666
cites work: On the revision of probabilistic beliefs using uncertain evidence
cites work: On the logic of iterated belief revision
cites work: Q4279076
cites work: Upper and Lower Probabilities Induced by a Multivalued Mapping
cites work: A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
cites work: Q4845472
cites work: Nonmonotonic causal theories
cites work: Planning and acting in partially observable stochastic domains
cites work: Q4475158
cites work: Q4530467
cites work: Q4779807
cites work: On knowledge-based programming with sensing in the situation calculus
cites work: Q4475185
DOI: 10.1007/S11229-005-1350-1
description: scientific article; zbMATH DE number 5005194