Towards encoding of the transition relation in dialogue games model checking

DOI10.3233/FI-2019-1789MaRDI QIDQ5377331zbMATHWikidataFDO

Authors Anna Sawicka, M. Kacprzak, Andrzej Zbrzezny

Publication date 24 May 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

emotionsdescription languagedialogue gamedialogue protocol

Mathematics Subject Classification ID

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

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

Cited in

(2)

• Towards verification of dialogue protocols: a mathematical model
• scientific article; zbMATH DE number 5772817 (Why is no real title available?)

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)