Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Agostino Dovier, Maria Chiara Meo, Andrea Omicini (eds.)
Declarative Programming - Selected Papers from AGP 2000, pages 179–196
Electronic Notes in Theoretical Computer Science 48
June 2001
Logic-based languages have already proved to be effective to build individual agents and to enable inter-agent communication in multi-agent systems. Also, logic tuple centres have shown that logic-based languages can be effectively exploited to rule inter-agent communication so as to build social behaviours. In this paper, we formally define the notion of logic tuple centre as well as the operational semantics of the logic-based language ReSpecT for the behaviour specification of logic tuple centres. For this purpose, we exploit a formal framework for asynchronous systems allowing coordination media to be represented in a separate and independent way with respect to the coordinated entities. As a by-product, this shows that a logic-based approach may be effectively exploited for the coordination of heterogeneous agents of different sorts and technologies.
Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (edited volume, 2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini