Revision programming

DOI10.1016/S0304-3975(97)00092-3zbMATH Open0893.68054OpenAlexW2914023676MaRDI QIDQ1389448FDOQ1389448

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

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

zbMATH Keywords

revision programming

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• Datalog extensions for database queries and updates
• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• Autoepistemic logic
• Propositional knowledge base revision and minimal change
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for default reasoning
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Title not available (Why is that?)
• Title not available (Why is that?)
• The expressive powers of the logic programming semantics
• Negation by default and unstratifiable logic programs
• Title not available (Why is that?)
• Modal logic for default reasoning
• Title not available (Why is that?)
• Update by means of inference rules

Cited In (19)

• Title not available (Why is that?)
• A Unifying Perspective on Knowledge Updates
• Annotated revision programs
• 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
• Title not available (Why is that?)
• Possible models computation and revision -- a practical approach
• Fixpoint semantics for active integrity constraints
• Descriptor revision
• Update programs versus revision programs
• Towards closed world reasoning in dynamic open worlds
• Theoretical Aspects of Computing - ICTAC 2004
• Active integrity constraints and revision programming
• 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)