Clause Replication and Reuse in Incremental Temporal Induction.
Liangze YinFei HeMing GuJia-Guang SunPublished in: ICECCS (2014)
Keyphrases
- incremental learning
- temporal constraints
- spatio temporal
- spatial and temporal
- temporal information
- temporal reasoning
- search space
- temporal evolution
- temporal databases
- fault tolerant
- distributed databases
- theorem prover
- temporal data
- fault tolerance
- temporal patterns
- peer to peer
- machine learning
- incremental algorithms
- inductive learning
- data driven
- propositional logic
- temporal relations
- temporal dimension
- refinement operators
- incremental version