Kleene Algebra With Tests for Weighted Programs.

Published in: CoRR (2023)

Keyphrases

query language
propositional logic
data model
regular expressions
weighted graph
computer programs
genetic algorithm
weighted distance
relational algebra
order statistics
relation algebra
data sets
algebraic structure
real numbers
answer sets
test cases
programming language
decision trees
databases