A Bottom-Up Interpreter for a Higher-Order Logic Programming Language.
Alain Hui-Bon-HoaPublished in: PLILP (1992)
Keyphrases
- logic programming language
- higher order
- logic programming
- constraint logic programming
- programming language
- inference rules
- situation calculus
- high order
- declarative semantics
- pairwise
- markov random field
- lambda calculus
- answer set programming
- natural images
- production system
- logic programs
- visual attention
- database
- nonmonotonic reasoning
- constraint solving
- knowledge representation
- answer sets
- search algorithm
- objective function
- data mining