Annotated revision programs

DOI10.1016/S0004-3702(02)00184-4zbMath0995.68106OpenAlexW2005960268MaRDI QIDQ1603740

Inna Pivkina, Victor W. Marek, Miroslaw Truszczynski

Publication date: 15 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(02)00184-4

zbMATH Keywords

belief revisionknowledge representationdatabase updatesrevision programmingannotated programs

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30)

Related Items (1)

Logic programming and knowledge representation---The A-Prolog perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Stable semantics for probabilistic deductive databases
• Revision programming
• Fixpoint semantics for logic programming a survey
• Quantitative deduction and its fixpoint theory
• The Semantics of Predicate Logic as a Programming Language
• Update by means of inference rules
• Dynamic updates of non-monotonic knowledge bases
• Annotated revision specification programs

This page was built for publication: Annotated revision programs