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

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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