Keyphrases
- geometric reasoning
- boolean algebra
- set theory
- algebraic structure
- relation algebra
- computer vision
- scene understanding
- logic programming
- modal logic
- classical logic
- query language
- relational algebra
- multi valued
- d objects
- data model
- database
- partial order
- algebraic geometry
- formal logic
- valued logic
- asynchronous circuits
- epistemic logic
- predicate logic
- logical framework
- automated reasoning