Towards encoding of the transition relation in dialogue games model checking

DOI10.3233/FI-2019-1789zbMATH Open1412.68272WikidataQ128191155 ScholiaQ128191155MaRDI QIDQ5377331FDOQ5377331

Authors: Anna Sawicka, M. Kacprzak, Andrzej Zbrzezny 

Publication date: 24 May 2019

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Recommendations

• Towards verification of dialogue protocols: a mathematical model
• Argumentation in Multi-Agent Systems
• Verifiable agent dialogues
• Abstract models for dialogue protocols
• A Formal General Setting for Dialogue Protocols

zbMATH Keywords

emotionsdescription languagedialogue gamedialogue protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Cited In (2)

• Towards verification of dialogue protocols: a mathematical model
• Title not available (Why is that?)

This page was built for publication: Towards encoding of the transition relation in dialogue games model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5377331)