The Bang Calculus Revisited.

Antonio Bucciarelli Delia Kesner Alejandro Ríos Andrés Viso

Published in: FLOPS (2020)

Keyphrases

decision trees
data mining
provably correct
real time
machine learning
genetic algorithm
knowledge base
three dimensional
data structure
formal language
relational calculus
automated deduction