Formal ReSpecT
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
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. |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
— editors
Agostino Dovier, Maria Chiara Meo, Andrea Omicini
— status
published
— sort
paper in proceedings
— publication date
June 2001
— volume
Declarative Programming - Selected Papers from AGP 2000
— series
Electronic Notes in Theoretical Computer Science
— volume
48
— pages
179-196
URLs
identifiers
— DOI
— IRIS
— Scopus
— print ISSN
1571-0661
— print ISBN
0-444-50916-X
notes
— note
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000