Process algebra and constraint programming for modeling interactions in MAS

DOI10.1007/S00200-005-0173-0MaRDI QIDQ814899zbMATHOpenAlexWikidataFDO

Authors Frank S. de Boer, Wieke de Vries, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Meyer

Publication date 8 February 2006

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-005-0173-0

zbMATH Keywords

multiagent systemsconcurrent constraint programmingcommunicating sequential processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 1759744
• Logic Programming
• scientific article; zbMATH DE number 2172791
• scientific article; zbMATH DE number 2090868
• A fully abstract model for the exchange of information in multi-agent systems.

Cites work

• scientific article; zbMATH DE number 2131727 (Why is no real title available?)
• scientific article; zbMATH DE number 4174345 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• scientific article; zbMATH DE number 978764 (Why is no real title available?)
• scientific article; zbMATH DE number 1049043 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 2087380 (Why is no real title available?)
• scientific article; zbMATH DE number 2088148 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A fully abstract model for the exchange of information in multi-agent systems.
• Agent coordination contexts for the formal specification and enactment of coordination and security policies
• Algebra of communicating processes with abstraction
• ConGolog, a concurrent programming language based on the situation calculus
• Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8-9, 1994. Proceedings
• Modelling agents as observable sources
• Process algebra for synchronous communication
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Truly concurrent constraint programming

Cited in

(9)

• Logic Programming
• scientific article; zbMATH DE number 2080356 (Why is no real title available?)
• Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
• scientific article; zbMATH DE number 2172791 (Why is no real title available?)
• Endowing concurrent Kleene algebra with communication actions
• A new algebraic modelling approach to distributed problem-solving in MAS
• scientific article; zbMATH DE number 2090868 (Why is no real title available?)
• scientific article; zbMATH DE number 1759744 (Why is no real title available?)
• scientific article; zbMATH DE number 1969724 (Why is no real title available?)

Describes a project that uses

Uses Software

• ConGolog
• KQML

This page was built for publication: Process algebra and constraint programming for modeling interactions in MAS

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