Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Mikolás JanotaJoão Marques-SilvaRadu GrigorePublished in: CoRR (2010)
Keyphrases
- learning algorithm
- experimental evaluation
- cost function
- np hard
- times faster
- detection algorithm
- preprocessing
- worst case
- segmentation algorithm
- theoretical analysis
- expectation maximization
- linear programming
- high accuracy
- computational complexity
- optimization algorithm
- similarity measure
- tree structure
- state space
- neural network
- dynamic programming
- significant improvement
- logic programs
- input data
- search space
- np complete
- objective function
- high level
- recognition algorithm