An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
Joanna Golinska-PilarekAngel MoraEmilio Muñoz-VelascoPublished in: PRICAI (2008)
Keyphrases
- order of magnitude reasoning
- qualitative reasoning
- relational databases
- distance measure
- distance function
- euclidean distance
- relational data
- dynamic systems
- data model
- automated theorem proving
- data sets
- theorem prover
- relational learning
- distance matrix
- nearest neighbor
- orders of magnitude
- relational model
- minimum distance