Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Protocol Synthesis with Dialogue Structure Theory

From MaRDI portal
Publication:3623911
Jump to:navigation, search

DOI10.1007/11794578_13zbMATH Open1236.68261OpenAlexW2294445102MaRDI QIDQ3623911FDOQ3623911


Authors:


Publication date: 28 April 2009

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

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




Recommendations

  • An Interaction Protocol for Agent Communication
  • Abstract models for dialogue protocols
  • Towards verification of dialogue protocols: a mathematical model
  • Verifiable agent dialogues
  • Reasoning about conversation protocols in a logic-based agent language


Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)



Cited In (6)

  • Abstract models for dialogue protocols
  • Plans, actions and dialogues using linear logic
  • An Interaction Protocol for Agent Communication
  • A Formal General Setting for Dialogue Protocols
  • On Protocol Sentences
  • Title not available (Why is that?)





This page was built for publication: Protocol Synthesis with Dialogue Structure Theory

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3623911&oldid=17059003"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 February 2024, at 04:58. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki