Formal dialectic specification

DOI10.1007/B105815MaRDI QIDQ5316662zbMATH OpenOpenAlexFDO

Authors Simon Wells, Chris Reed

Publication date 14 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b105815

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• Games that agents play: A formal framework for dialogues between autonomous agents
• scientific article; zbMATH DE number 895659
• Executable logic for dialogical argumentation
• An Interaction Protocol for Agent Communication
• Argumentation Based Modelling of Embedded Agent Dialogues

Cited in

(4)

• Games that agents play: A formal framework for dialogues between autonomous agents
• Formal specification with B
• Executable logic for dialogical argumentation
• Formal specification

This page was built for publication: Formal dialectic specification

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