Relations and Kleene algebras in computer science.
Rudolf BerghammerAli JaouaBernhard MöllerPublished in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
- information sciences
- computer science
- artificial intelligence
- relation algebra
- propositional logic
- semantic relations
- binary relations
- interval algebra
- machine learning
- maximal tractable
- lecture notes
- expressive power
- information systems
- databases
- totally ordered
- point algebra
- distributive lattices
- information science
- computer architecture
- computer scientists
- social sciences
- temporal reasoning