Orthogonality and Boolean Algebras for Deduction Modulo.
Aloïs BrunelOlivier HermantClément HoutmannPublished in: TLCA (2011)
Keyphrases
- inference rules
- boolean functions
- real valued
- topological spaces
- distributive lattices
- theorem proving
- spatial reasoning
- theorem prover
- zernike moments
- nonnegative matrix factorization
- temporal reasoning
- probabilistic model
- data sets
- search algorithm
- automated deduction
- boolean logic
- website
- intuitionistic logic
- relation algebra
- clifford algebra
- databases