Combining transactions and automatic repairs

From MaRDI portal

Revision as of 14:16, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4612416

Jump to:navigation, search

DOI10.1093/logcom/exv006zbMath1410.68345OpenAlexW2331208070MaRDI QIDQ4612416

José Júlio Alferes, Ana Sofia Gomes

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/cce4661ab51b3a13c6f705d1b2d9507a97b7c720

zbMATH Keywords

automatic compensations external transaction logic repair plans

Mathematics Subject Classification ID

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

This page was built for publication: Combining transactions and automatic repairs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4612416&oldid=18780756"