Annotated revision programs

DOI10.1016/S0004-3702(02)00184-4MaRDI QIDQ1603740zbMATH OpenOpenAlexFDO

Authors Inna Pivkina, Wiktor Marek, Mirosław Truszczyński

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

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

Recommendations

• scientific article; zbMATH DE number 1453055
• Annotated revision specification programs
• scientific article; zbMATH DE number 1761413
• Revision programming
• Theoretical Aspects of Computing - ICTAC 2004

Cites work

• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Annotated revision specification programs
• Dynamic updates of non-monotonic knowledge bases
• Fixpoint semantics for logic programming a survey
• Quantitative deduction and its fixpoint theory
• Revision programming
• Stable semantics for probabilistic deductive databases
• The Semantics of Predicate Logic as a Programming Language
• Update by means of inference rules

Cited in

(3)

• Annotated revision specification programs
• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• Logic programming and knowledge representation---The A-Prolog perspective

This page was built for publication: Annotated revision programs

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