Incremental, Inductive Coverability.

Johannes Kloos Rupak Majumdar Filip Niksic Ruzica Piskac

Published in: CAV (2013)

Keyphrases

inductive learning
incremental learning
machine learning
incremental version
knowledge representation
inductive reasoning
incremental clustering
incremental algorithms
concept learning
data driven
database
reinforcement learning
high level
image processing
information retrieval
neural network
databases