Publication:4941942
From MaRDI portal
zbMath0943.03014MaRDI QIDQ4941942
Publication date: 5 September 2000
local models semantics; tableau system; modular approach; context-based logic; context-based representation of belief; logic for contextual reasoning; representation of agents's beliefs
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
Related Items
Local Models Semantics, or contextual reasoning = locality + compatibility, Exploring the future with resource-bounded agents, Distributed first order logic