scientific article; zbMATH DE number 2182497
From MaRDI portal
Publication:4681373
zbMath1102.68107MaRDI QIDQ4681373
M. Kacprzak, Alessio Lomuscio, W. Pencek
Publication date: 23 June 2005
Full work available at URL: http://iospress.metapress.com/link.asp?id=qn2mjb23ul1u1bpr
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) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in artificial intelligence (68T01)
Related Items (4)
Specification and Verification of Multi-Agent Systems ⋮ Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic ⋮ Natural strategic ability
This page was built for publication:
