Reasoning about Actions Meets Strategic Logics
From MaRDI portal
Publication:2859103
DOI10.1007/978-3-642-40948-6_13zbMath1405.68355MaRDI QIDQ2859103
Andreas Herzig, Emiliano Lorini, Dirk Walther
Publication date: 6 November 2013
Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40948-6_13
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03B44: Temporal logic
Related Items
Formal modelling and verification of probabilistic resource bounded agents, Refining strategic ability in alternating-time temporal logic, Augmenting ATL with strategy contexts, Blame it on me, A logic of goal-directed knowing how, Reasoning About Strategies