Computing Inductive Invariants of Regular Abstraction Frameworks.

Philipp Czerner Javier Esparza Valentin Krasotin Christoph Welzel-Mohr

Published in: CoRR (2024)

Keyphrases

databases
concept learning
real time
data mining
e learning
image processing
object recognition
knowledge representation
inductive inference