Formal ReSpecT

@talk{respectagp2000,
    abstract = {Logic //tuple centres// have shown that logic-based languages can be effectively exploited not only for building individual agents and enabling inter-agent communication in multi-agent systems, but also for //ruling// 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 general semantic framework for asynchronous distributed systems allowing a coordination medium to be formally denoted in a separate and independent way with respect to the whole coordinated system. This shows that a logic-based coordination medium does not limit agents and coordination languages to be logic-based, but may instead enable agents of different sorts and technologies to be combined and coordinated in an effective way by exploiting a logic-based approach.},
    address = {La Habana, Cuba},
    author = {Omicini, Andrea and Denti, Enrico},
    date = {2000-12-05},
    howpublished = {GULP-PRODE Joint Conference on Declarative Programming (AGP'00)},
    language = {en},
    month = dec,
    sort = {talk},
    speaker = {Omicini, Andrea},
    title = {Formal ReSpecT},
    type = {Talk},
    year = 2000
}