Reasoning about conversation protocols in a logic-based agent language

DOI10.1007/B13658MaRDI QIDQ5897332zbMATH OpenOpenAlexFDO

Authors Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti

Publication date 5 March 2010

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Theoretical Computer Science
• Computational Logic in Multi-Agent Systems
• Strategic Agent Communication: An Argumentation-Driven Approach
• scientific article; zbMATH DE number 1689875
• Propositional dynamic logic for reasoning about first-class agent interaction protocols

Cited in

(11)

• scientific article; zbMATH DE number 2086133 (Why is no real title available?)
• Progressive reasoning for complex dialogues among agents
• Propositional dynamic logic for reasoning about first-class agent interaction protocols
• scientific article; zbMATH DE number 4201686 (Why is no real title available?)
• A Formal General Setting for Dialogue Protocols
• Protocol Synthesis with Dialogue Structure Theory
• scientific article; zbMATH DE number 1951093 (Why is no real title available?)
• scientific article; zbMATH DE number 1979313 (Why is no real title available?)
• The logic of semantic and pragmatic strategies in discourse. A linguistic point of view
• Computational Logic in Multi-Agent Systems
• Reasoning about interaction protocols for customizing web service selection and composition

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Reasoning about conversation protocols in a logic-based agent language

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