Constraint Logic Programming as a New Vehicle for Knowledge Representation.
Koichi FurukawaPublished in: IFIP Congress (1989)
Keyphrases
- constraint logic programming
- knowledge representation
- logic programming
- answer set programming
- logic programming language
- constraint solving
- logic programs
- knowledge base
- constraint programming
- knowledge acquisition
- expert systems
- deductive databases
- proof theoretic
- answer sets
- description logics
- vehicle detection
- artificial intelligence
- natural language
- programming language
- probabilistic reasoning
- machine learning
- semantic web
- default logic
- nonmonotonic reasoning
- automated reasoning
- programming paradigms
- first order logic
- pedestrian detection
- temporal reasoning
- constraint satisfaction
- constraint propagation
- object oriented
- query language
- linear logic
- finite domain