This work deals with the problem of combining reactive features, such as the ability to
respond to events and define complex events, with the execution of transactions over …

Most of today's systems, especially when related to the Web or to multi-agent systems, are
not standalone or independent, but are part of a greater ecosystem, where they need to …

Abstract External Transaction Logic (ETR) is an extension of logic programming useful to
reason about the behaviour of agents that have to operate in a transactional way, in a two …

In this work we present External Transaction Logic, a logic that extends Transaction logic
with the ability to model and execute transactions requiring interactions with external …