Transaction logic with external actions

DOI10.1007/978-3-642-20895-9_31MaRDI QIDQ3003266zbMATH OpenOpenAlexFDO

Authors Ana Sofia Gomes, José Júlio Alferes

Publication date 26 May 2011

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20895-9_31

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• External Transaction Logic with Automatic Compensations
• Combining transactions and automatic repairs
• scientific article; zbMATH DE number 1536548
• An overview of transaction logic
• scientific article; zbMATH DE number 2241924

Cited in

(4)

• Combining transactions and automatic repairs
• Transactional events for ML
• External Transaction Logic with Automatic Compensations
• scientific article; zbMATH DE number 2241924 (Why is no real title available?)

This page was built for publication: Transaction logic with external actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003266)