Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luís Cruz-Filipe
Fixpoint Semantics for Active Integrity Constraints
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Related publications
Categories for Fixpoint-Semantics
A Dynamic View of Active Integrity Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FixBag: A Fixpoint Calculator for Quantified Bag Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simplification of Integrity Constraints for Data Integration
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Integrity Constraints in Trust Management
New Foundations for Fixpoint Computations
Motion Control Realization for an Intelligent Car With Integrity Constraints
