Towards Verification of Dialogue Protocols: A Mathematical Model

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

zbMATH Keywords

verificationprotocolformal dialogue system

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Towards Verification of Dialogue Protocols: A Mathematical Model

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