Towards Verification of Dialogue Protocols: A Mathematical Model
From MaRDI portal
Publication:2814138
DOI10.1007/978-3-319-39384-1_28zbMath1358.68275OpenAlexW2506562028MaRDI QIDQ2814138
M. Kacprzak, Anna Sawicka, Andrzej Zbrzezny
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
Related Items (1)
Cites Work
- Question-begging in non-cumulative systems
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- Towards Verification of Dialogue Protocols: A Mathematical Model
- Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
- Coherence and Flexibility in Dialogue Games for Argumentation
- Properties and Complexity of Some Formal Inter-agent Dialogues
- Identification of Formal Fallacies in a Natural Dialogue
- Proving Propositional Tautologies in a Natural Dialogue
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Towards Verification of Dialogue Protocols: A Mathematical Model