Kleene algebra with domain

Jules Desharnais Bernhard Möller Georg Struth

Published in: CoRR (2003)

Keyphrases

domain specific
neural network
query language
propositional logic
real time
information systems
bayesian networks
decision making
domain experts
domain independent
algebraic structure
boolean algebra