Update programs versus revision programs

DOI10.1007/bfb0023806zbMATH Open1547.68083MaRDI QIDQ6623798

Nicole Bidoit, Sofian Maabout

Publication date: 24 October 2024

zbMATH Keywords

well-founded semanticsstable semanticsrevision programsupdate programspartial databases

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A logic for default reasoning
• General logical databases and programs: Default logic semantics and stratification
• Datalog extensions for database queries and updates
• 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

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