Update-programms can update programs

DOI10.1007/BFB0023804MaRDI QIDQ6623796zbMATH OpenFDO

Authors José Júlio Alferes, Luís Moniz Pereira

Publication date 24 October 2024

Full work available at URL https://doi.org/10.1007/BFB0023804

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1759366
• Publication:4944881
• Update programs versus revision programs
• Partial deduction of updateable definite logic programs
• scientific article; zbMATH DE number 1453062

Cites work

• A logic programming system for nonmonotonic reasoning
• scientific article; zbMATH DE number 33190 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• scientific article; zbMATH DE number 1761414 (Why is no real title available?)
• Logic programming and knowledge representation
• Non-monotonic reasoning with logic programming
• Revision by communication
• The well-founded semantics for general logic programs
• Update by means of inference rules
• Updating knowledge bases

Cited in

(2)

• Update programs versus revision programs
• A brief history of updates of answer-set programs

This page was built for publication: Update-programms can update programs

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