Publication:2766985
From MaRDI portal
zbMath0983.68187MaRDI QIDQ2766985
Robert Demolombe, Maria del Pilar Pozos Parra
Publication date: 25 April 2002
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
Related Items
Bounded situation calculus action theories, Iterated belief change in the situation calculus, Belief extrapolation (or how to reason about observations and unpredicted change), A history based approximate epistemic action theory for efficient postdictive reasoning, Revising event calculus theories to recover from unexpected observations, A lightweight epistemic logic and its application to planning, Asynchronous knowledge with hidden actions in the situation calculus