Early recovery in logic program updates

DOI10.1007/978-3-642-40564-8_50MaRDI QIDQ2851282zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

strong negationanswer-set programmingupdatesdefault negation

Mathematics Subject Classification ID

Logic programming (68N17)

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

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)