Early recovery in logic program updates

DOI10.1007/978-3-642-40564-8_50zbMATH Open1405.68052OpenAlexW1082124369MaRDI QIDQ2851282FDOQ2851282

Authors: Martin Slota, Martin Baláž, João Leite 

Publication date: 10 October 2013

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-40564-8_50

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 1890622
• scientific article; zbMATH DE number 1759366
• scientific article; zbMATH DE number 1453062
• scientific article; zbMATH DE number 1926644

zbMATH Keywords

strong negationanswer-set programmingupdatesdefault negation

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Early recovery in logic program updates

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