Process algebra and constraint programming for modeling interactions in MAS

DOI10.1007/S00200-005-0173-0zbMATH Open1085.68100OpenAlexW1974990208WikidataQ114852528 ScholiaQ114852528MaRDI QIDQ814899FDOQ814899

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

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.

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)

Cites Work

• ConGolog, a concurrent programming language based on the situation calculus
• Truly concurrent constraint programming
• Process algebra for synchronous communication
• Title not available (Why is that?)
• Algebra of communicating processes with abstraction
• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8-9, 1994. Proceedings
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modelling agents as observable sources

Cited In (9)

• A new algebraic modelling approach to distributed problem-solving in MAS
• Title not available (Why is that?)
• Endowing concurrent Kleene algebra with communication actions
• Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic Programming

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)