Revision programming

DOI10.1016/S0304-3975(97)00092-3zbMath0893.68054OpenAlexW2914023676MaRDI QIDQ1389448

Miroslaw Truszczynski, Victor W. Marek

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)

Related Items (13)

Active integrity constraints and revision programming ⋮ A Unifying Perspective on Knowledge Updates ⋮ Semantic forgetting in answer set programming ⋮ Update by means of inference rules ⋮ Fixpoint semantics for active integrity constraints ⋮ A three-valued semantics for querying and repairing inconsistent databases ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints ⋮ Towards closed world reasoning in dynamic open worlds ⋮ Fusion rules for context-dependent aggregation of structured news reports ⋮ Declarative Semantics for Active Integrity Constraints ⋮ Possible models computation and revision -- a practical approach ⋮ Annotated revision programs

Cites Work

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

This page was built for publication: Revision programming