Embedding Finite Sets in a Logic Programming Language.
Agostino DovierEugenio G. OmodeoEnrico PontelliGianfranco RossiPublished in: ELP (1992)
Keyphrases
- logic programming language
- finite sets
- logic programming
- constraint logic programming
- inference rules
- piecewise linear
- linearly separable
- situation calculus
- logic programs
- vector space
- constraint programming
- answer set programming
- knowledge base
- positive and negative examples
- knowledge representation
- data points
- relational databases