Fixpoint semantics for active integrity constraints
type: Item
instance of: scholarly article
title: Fixpoint semantics for active integrity constraints
zbMATH Open document ID: 1423.68134
author: Bart Bogaerts
author: Luís Cruz-Filipe
published in: Artificial Intelligence
publication date: 2018-01-31T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 6832760
zbMATH Keywords: active integrity constraints
zbMATH Keywords: approximation fixpoint theory
MaRDI profile type: Publication
OpenAlex ID: W2769775579
cites work: Q3489445
cites work: Hex Semantics via Approximation Fixpoint Theory
cites work: Negation by default and unstratifiable logic programs
cites work: Grounded fixpoints and their applications in knowledge representation
cites work: Safe inductions and their applications in knowledge representation
cites work: Declarative Semantics of Production Rules for Integrity Maintenance
cites work: Active integrity constraints and revision programming
cites work: Optimizing Computation of Repairs from Active Integrity Constraints
cites work: Q5240214
cites work: Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
cites work: Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
cites work: Uniform semantic treatment of default and autoepistemic logics
cites work: Ultimate approximation and its application in nonmonotonic knowledge representation systems
cites work: Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
cites work: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
cites work: On the complexity of propositional knowledge base revision, updates, and counterfactuals
cites work: Fixpoint semantics for logic programming a survey
cites work: On notation for ordinal numbers
cites work: Autoepistemic logic
cites work: Revision programming
cites work: Semantical considerations on nonmonotonic logic
cites work: Update by means of inference rules
cites work: A logic for default reasoning
cites work: Approximating operators and semantics for abstract dialectical frameworks
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: The well-founded semantics for general logic programs
cites work: Splitting an operator
cites work: Q5422271
cites work: Q5422272
cites work: Q3995235
DOI: 10.1016/J.ARTINT.2017.11.003
description: scientific article; zbMATH DE number 6832760