Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.
Diderik BatensJoke MeheusPublished in: Stud Logica (2001)
Keyphrases
- high precision
- cost function
- experimental evaluation
- objective function
- dynamic environments
- high accuracy
- pairwise
- classification method
- data sets
- detection method
- clustering method
- classification accuracy
- computational cost
- significant improvement
- preprocessing
- expressive power
- theorem prover
- segmentation method
- synthetic data
- theoretical analysis
- optical flow
- artificial neural networks
- genetic algorithm