Mechanizing multi-agent reasoning with belief contexts
From MaRDI portal
Publication:4632330
DOI10.1007/3-540-61313-7_111zbMath1419.68088OpenAlexW1562850260WikidataQ57302692 ScholiaQ57302692MaRDI QIDQ4632330
Luciano Serafini, Alessandro Cimatti
Publication date: 29 April 2019
Published in: Practical Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61313-7_111
Uses Software
Cites Work