Publication:2848071
From MaRDI portal
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
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
03B44: Temporal logic
68T42: Agent technology and artificial intelligence
Related Items
Strategy logic, Knowledge condition games, Reasoning about temporal properties of rational play, Everything else being equal: a modal logic for ceteris paribus preferences, Natural strategic ability, Model checking abilities of agents: a closer look, Specification and Verification of Multi-Agent Systems, Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions, A Logic for Reasoning about Rational Agents