Transaction logic with external actions

DOI10.1007/978-3-642-20895-9_31zbMATH Open1327.68250OpenAlexW2099560948MaRDI QIDQ3003266FDOQ3003266

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)

Cited In (3)

• Transactional events for ML
• Title not available (Why is that?)
• External Transaction Logic with Automatic Compensations

   Recommendations

• External Transaction Logic with Automatic Compensations 👍 👎
• Combining transactions and automatic repairs 👍 👎
• Title not available (Why is that?) 👍 👎
• An overview of transaction logic 👍 👎
• Title not available (Why is that?) 👍 👎

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)