Kleene Algebra with Hypotheses.

Amina Doumane Denis Kuperberg Damien Pous Pierre Pradic

Published in: FoSSaCS (2019)

Keyphrases

propositional logic
data model
query language
algebraic expressions
regular expressions
feature selection
decision making
relational algebra
algebraic geometry
website
multi agent
search engine
databases
knowledge representation
genetic algorithm
hypothesis testing
algebraic structures
neural network