Knowledge as strategic ability

MaRDI QIDQ2844048zbMATH OpenFDO

Authors Sieuwert van Otterloo, Wiebe van der Hoek, M. J. Wooldridge

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105826088

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 2182496
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
• On epistemic temporal strategic logic
• An epistemic strategy logic

Cited in

(10)

• Modeling reasoning in a social setting
• Natural strategic ability
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
• Action and knowledge in alternating-time temporal logic
• On epistemic temporal strategic logic
• Measuring the effects of knowledge in military campaigns
• An epistemic strategy logic
• Artificial Intelligence and Soft Computing - ICAISC 2004
• scientific article; zbMATH DE number 2087373 (Why is no real title available?)
• Reasoning about knowledge and strategies: epistemic strategy logic

This page was built for publication: Knowledge as strategic ability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844048)