Situated Modeling of Epistemic Puzzles

DOI10.1093/JIGPAL/3.1.51zbMath0831.03015arXivcmp-lg/9409006OpenAlexW2020186733MaRDI QIDQ4834294

Varol Akman, Murat Ersan

Publication date: 20 February 1996

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cmp-lg/9409006

zbMATH Keywords

programmingcommonsense reasoningmeaninginformation flowlogical puzzlessituation theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

This page was built for publication: Situated Modeling of Epistemic Puzzles