lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper).
Beidi LiMehul BhattCarl P. L. SchultzPublished in: COSIT (2019)
Keyphrases
- logic programming
- spatial reasoning
- higher order
- logic programs
- spatial relations
- nonmonotonic reasoning
- temporal reasoning
- deductive databases
- logic programming language
- inductive logic programming
- programming language
- computational logic
- knowledge representation
- answer sets
- answer set programming
- reasoning tasks
- knowledge base
- topological relations
- default logic
- pairwise
- normal logic programs
- machine learning
- constraint logic programming
- stable models
- probabilistic reasoning
- image features
- data mining
- semantics of logic programs