scientific article; zbMATH DE number 7361823
From MaRDI portal
Publication:4994896
zbMath1464.68340arXiv1404.0844MaRDI QIDQ4994896
Sophie Pinchinat, Bastien Maubert, Guillaume Aucher
Publication date: 22 June 2021
Full work available at URL: https://arxiv.org/abs/1404.0844
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) Automata and formal grammars in connection with logical questions (03D05) Agent technology and artificial intelligence (68T42)
Related Items (4)
Epistemic planning: perspectives on the special issue ⋮ DEL-based epistemic planning: decidability and complexity ⋮ Epistemic protocols for dynamic gossip ⋮ Intensional protocols for dynamic epistemic logic
This page was built for publication:
