Kleene Algebra of Partial Predicates.

Artur Kornilowicz Ievgen Ivanov Mykola S. Nikitchenko

Published in: Formaliz. Math. (2018)

Keyphrases

propositional logic
search algorithm
relational algebra
user defined
algebraic expressions
machine learning
query language
database
regular expressions
object oriented
datalog programs
horn clauses
first order logic
information extraction
data model
artificial intelligence
neural network
databases