Indexing the Event Calculus with Kd-trees to Monitor Diabetes.
Stefano BromuriAlbert Brugués de la TorreFabien DubossonMichael Ignaz SchumacherPublished in: CoRR (2017)
Keyphrases
- event calculus
- kd trees
- space partitioning
- nearest neighbor search
- kd tree
- situation calculus
- temporal reasoning
- data structure
- partially ordered
- reasoning tasks
- deductive databases
- domain specific knowledge
- transitive closure
- high dimensional
- database
- nearest neighbor
- similarity search
- image retrieval
- content based retrieval
- binary search trees
- directed acyclic graph
- similarity queries
- locality sensitive hashing
- indexing method
- indexing techniques
- high dimensional spaces
- indexing structure
- answer set programming
- general theory
- cost model
- partial order
- index structure
- search algorithm
- databases