Towards Verification of Dialogue Protocols: A Mathematical Model
From MaRDI portal
Publication:2814138
DOI10.1007/978-3-319-39384-1_28zbMath1358.68275MaRDI QIDQ2814138
Andrzej Zbrzezny, M. Kacprzak, Anna Sawicka
Publication date: 17 June 2016
Published in: Artificial Intelligence and Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-39384-1_28
68T27: Logic in artificial intelligence