A logical characterization of asynchronously communicating agents

MaRDI QIDQ2757805zbMATH OpenFDO

Authors Søren Christensen

Publication date 4 December 2001

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A logic based asynchronous multi-agent system
• A New Logical Semantics for Agent Communication
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
• Model checking logics for communicating sequential agents
• A logical model for agent communication languages
• Reasoning about knowledge and messages in asynchronous multi-agent systems
• Logical aspects of multi-agent systems
• Logics in Artificial Intelligence
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
• A sound and complete reasoning system for asynchronous communication with shared futures

Cited in

(3)

• A logical study of distributed transition systems
• A logic based asynchronous multi-agent system
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

This page was built for publication: A logical characterization of asynchronously communicating agents

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