Update programs versus revision programs

DOI10.1007/BFB0023806MaRDI QIDQ6623798zbMATH OpenFDO

Authors Nicole Bidoit, Sofian Maabout

Publication date 24 October 2024

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

zbMATH Keywords

partial databasesrevision programsstable semanticsupdate programswell-founded semantics

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• Revision programming
• Update-programms can update programs
• scientific article; zbMATH DE number 1759366
• On semantic update operators for answer-set programs
• Update rules in Datalog programs

Cites work

• A logic for default reasoning
• Datalog extensions for database queries and updates
• General logical databases and programs: Default logic semantics and stratification
• scientific article; zbMATH DE number 25193 (Why is no real title available?)
• On the logic of theory change: Partial meet contraction and revision functions
• The well-founded semantics for general logic programs
• Update by means of inference rules

Cited in

(1)

• Update-programms can update programs

This page was built for publication: Update programs versus revision programs

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