Partial Evaluation of Logic Programs in Vector Spaces.
Chiaki SakamaHien D. NguyenTaisuke SatoKatsumi InouePublished in: CoRR (2018)
Keyphrases
- vector space
- logic programs
- partial evaluation
- explanation based generalization
- logic programming
- answer sets
- answer set programming
- stable models
- distance measure
- feature vectors
- similarity search
- low dimensional
- background knowledge
- inductive logic programming
- xpath queries
- artificial intelligence
- machine learning
- relational databases
- general purpose
- domain theory
- domain knowledge