[PDF][PDF] Extending transaction logic with external actions
AS Gomes, JJ Alferes - Theory and Practice in Logic …, 2013 - docentes.fct.unl.pt
We provide a complete formalization of External Transaction Logic (or ET R), an extension of
Transaction Logic to reason and execute external actions, ie actions performed on an …
Transaction Logic to reason and execute external actions, ie actions performed on an …
External transaction logic with automatic compensations
AS Gomes, JJ Alferes - International Workshop on Computational Logic in …, 2013 - Springer
Abstract External Transaction Logic (ETR) is an extension of logic programming useful to
reason about the behavior of agents that have to operate in a two-fold environment in a …
reason about the behavior of agents that have to operate in a two-fold environment in a …
[PDF][PDF] Transactions in Dynamic Reactive Environments
AS Gomes - 2015 - run.unl.pt
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 …
not standalone or independent, but are part of a greater ecosystem, where they need to …
Combining transactions and automatic repairs
AS Gomes, JJ Alferes - Journal of Logic and Computation, 2018 - academic.oup.com
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 …
reason about the behaviour of agents that have to operate in a transactional way, in a two …