Epistemic logic for rule-based agents
type: Item
instance of: scholarly article
title: Epistemic logic for rule-based agents
zbMATH Open document ID: 1159.03010
author: Mark Jago
published in: Journal of Logic, Language and Information
publication date: 2009-03-24T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5532549
zbMATH Keywords: Epistemic logic
zbMATH Keywords: Doxastic logic
zbMATH Keywords: Rule-based agents
zbMATH Keywords: Resource bounds
zbMATH Keywords: Artificial intelligence
zbMATH Keywords: Logical omniscience
MaRDI profile type: Publication
full work available at URL: s10849-008-9071-8
OpenAlex ID: W2032007125
cites work: The Dynamics of Syntactic Knowledge
cites work: Logics in Artificial Intelligence
cites work: Alternating-time temporal logic
cites work: Developing multi-agent systems with a FIPA-compliant agent framework
cites work: Modal logic
cites work: Reasoning about rational, but not logically omniscient, agents
cites work: Decision procedures and expressiveness in the temporal logic of branching time
cites work: Belief, awareness, and limited reasoning
cites work: Q4845472
cites work: A nonstandard approach to the logical omniscience problem
cites work: A paradox regained
cites work: Q3992823
cites work: Q5715109
cites work: Q3269129
cites work: A note on syntactical treatments of modality
cites work: Dynamic Epistemic Logic and Knowledge Puzzles
cites work: Rule-based languages
DOI: 10.1007/S10849-008-9071-8
description: scientific article; zbMATH DE number 5532549