Fixpoint semantics for active integrity constraints
From MaRDI portal
Publication:1693567
DOI10.1016/j.artint.2017.11.003zbMath1423.68134OpenAlexW2769775579MaRDI QIDQ1693567
Bart Bogaerts, Luís Cruz-Filipe
Publication date: 31 January 2018
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://portal.findresearcher.sdu.dk/da/publications/128b6a6b-457f-4ca0-8f32-d13fafec1692
Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)
Related Items
Safe inductions and their applications in knowledge representation ⋮ Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Fixpoint semantics for active integrity constraints ⋮ Database repair via event-condition-action rules in dynamic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximating operators and semantics for abstract dialectical frameworks
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Negation by default and unstratifiable logic programs
- Grounded fixpoints and their applications in knowledge representation
- Semantical considerations on nonmonotonic logic
- A logic for default reasoning
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Revision programming
- Fixpoint semantics for logic programming a survey
- Safe inductions and their applications in knowledge representation
- Fixpoint semantics for active integrity constraints
- Uniform semantic treatment of default and autoepistemic logics
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Hex Semantics via Approximation Fixpoint Theory
- Active integrity constraints and revision programming
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- The Semantics of Predicate Logic as a Programming Language
- Autoepistemic logic
- The well-founded semantics for general logic programs
- Update by means of inference rules
- Splitting an operator
- Optimizing Computation of Repairs from Active Integrity Constraints
- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
- Declarative Semantics of Production Rules for Integrity Maintenance
- On notation for ordinal numbers
This page was built for publication: Fixpoint semantics for active integrity constraints
