Fixpoint Semantics for Active Integrity Constraints

Artificial Intelligence - Netherlands
doi 10.1016/j.artint.2017.11.003
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Categories for Fixpoint-Semantics

1976English

A Dynamic View of Active Integrity Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

FixBag: A Fixpoint Calculator for Quantified Bag Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Simplification of Integrity Constraints for Data Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting

English

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Integrity Constraints in Trust Management

2005English

New Foundations for Fixpoint Computations

English

Motion Control Realization for an Intelligent Car With Integrity Constraints

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy