scientific article
From MaRDI portal
Publication:2848071
zbMath1272.68384MaRDI QIDQ2848071
Sieuwert van Otterloo, Geert Jonker
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000848
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (9)
Specification and Verification of Multi-Agent Systems ⋮ Model checking abilities of agents: a closer look ⋮ Strategy logic ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ A Logic for Reasoning about Rational Agents ⋮ Natural strategic ability ⋮ Knowledge condition games ⋮ Reasoning about temporal properties of rational play ⋮ Everything else being equal: a modal logic for ceteris paribus preferences
This page was built for publication:
