scientific article

zbMath1270.68181MaRDI QIDQ2844048

Michael Wooldridge, Sieuwert van Otterloo, Wiebe van der Hoek

Publication date: 27 August 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (2)

Modeling reasoning in a social setting ⋮ Action and knowledge in alternating-time temporal logic

This page was built for publication: