Revision programming

DOI10.1016/S0304-3975(97)00092-3MaRDI QIDQ1389448zbMATH OpenOpenAlexFDO

Authors Wiktor Marek, Mirosław Truszczyński

Publication date 30 June 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00092-3

zbMATH Keywords

revision programming

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1761413
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Theoretical Aspects of Computing - ICTAC 2004
• Active integrity constraints and revision programming
• scientific article; zbMATH DE number 1453055

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4147557 (Why is no real title available?)
• scientific article; zbMATH DE number 3732038 (Why is no real title available?)
• scientific article; zbMATH DE number 3782373 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• A logic for default reasoning
• Autoepistemic logic
• Datalog extensions for database queries and updates
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Modal logic for default reasoning
• Negation by default and unstratifiable logic programs
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional knowledge base revision and minimal change
• The Semantics of Predicate Logic as a Programming Language
• The expressive powers of the logic programming semantics
• Update by means of inference rules

Cited in

(19)

• scientific article; zbMATH DE number 5726459 (Why is no real title available?)
• Annotated revision programs
• A Unifying Perspective on Knowledge Updates
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Fusion rules for context-dependent aggregation of structured news reports
• Declarative Semantics for Active Integrity Constraints
• Annotated revision specification programs
• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• Possible models computation and revision -- a practical approach
• Fixpoint semantics for active integrity constraints
• Descriptor revision
• Towards closed world reasoning in dynamic open worlds
• Update programs versus revision programs
• Active integrity constraints and revision programming
• Theoretical Aspects of Computing - ICTAC 2004
• On updates of hybrid knowledge bases composed of ontologies and rules
• Update by means of inference rules
• Semantic forgetting in answer set programming
• A three-valued semantics for querying and repairing inconsistent databases

This page was built for publication: Revision programming

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