Kleene Algebra With Tests for Weighted Programs.

Published in: ISMVL (2023)

Keyphrases

query language
data model
propositional logic
regular expressions
automatic programming
relational algebra
real time
website
information systems
answer sets
weighted sum
computer programs
real numbers
intermediate level
data sets
genetic algorithm
neural network