Ana Sofia Gomes, José Júlio Alferes. External Transaction Logic with Automatic Compensations. In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran, editors, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Volume 8143 of Lecture Notes in Computer Science, pages 239-255, Springer, 2013. [doi]
Abstract is missing.