scientific article; zbMATH DE number 6108062
From MaRDI portal
Publication:4648830
zbMath1253.68320MaRDI QIDQ4648830
No author found.
Publication date: 16 November 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (3)
Expressiveness and succinctness of a logic of robustness ⋮ Sublogics of a branching time logic of robustness ⋮ Knowledge condition games
This page was built for publication:
