On Tarski's Axiomatic Foundations of the Calculus of Relations.
Hajnal AndrékaSteven GivantPeter JipsenIstván NémetiPublished in: J. Symb. Log. (2017)
Keyphrases
- artificial intelligence
- relation algebra
- relational calculus
- algebraic structure
- databases
- information systems
- cardinal directions
- semantic relations
- real numbers
- spatial relations
- axiomatic characterization
- qualitative spatial reasoning
- temporal relations
- decision theory
- data model
- expert systems
- video sequences
- information retrieval
- data mining