Modularizing the Elimination of r=0 in Kleene Algebra.
Christopher HardinPublished in: Log. Methods Comput. Sci. (2005)
Keyphrases
- propositional logic
- regular expressions
- query language
- algebraic expressions
- boolean algebra
- artificial intelligence
- data model
- relational algebra
- neural network
- belief revision
- set theory
- software systems
- mobile robot
- bayesian networks
- similarity measure
- learning algorithm
- algebraic operations
- algebraic geometry
- dead end
- machine learning