A formal specification language for agent conversations

DOI10.1007/3-540-45023-8_21MaRDI QIDQ4813446zbMATH OpenFDO

Authors Javier Soriano, Fernando Alonso, Genoveva López

Publication date 13 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2691/26910214.htm

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1790380
• Specification and Verification of Agent Interaction Using Abductive Reasoning
• Reliable agent communication -- a pragmatic perspective
• Logic Programming
• Logic-based specification languages for intelligent software agents

Cited in

(6)

• Steps towards C+C: A language for interactions
• A Formal General Setting for Dialogue Protocols
• scientific article; zbMATH DE number 5547888 (Why is no real title available?)
• Modeling multiagent systems with CASL -- a feature interaction resolution application
• scientific article; zbMATH DE number 1790380 (Why is no real title available?)
• Formal conversations for the contract net protocol

Describes a project that uses

Uses Software

• ACSL

This page was built for publication: A formal specification language for agent conversations

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