Interleaving Universal Principles and Relational Constraints over Typed Feature Logic.
Thilo GötzDetmar MeurersPublished in: ACL (1997)
Keyphrases
- lambda calculus
- multi valued
- constraint satisfaction
- constraint language
- database language
- design principles
- modal logic
- constrained optimization
- constraint programming
- data model
- relational databases
- relational data
- image features
- linear constraints
- predicate logic
- logic programming
- higher order
- neural network
- geometric constraints
- data dependencies
- cardinality constraints
- objective function
- bayesian networks
- database systems