A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract).
Emmanuelle-Anna Dietz SaldanhaSteffen HölldoblerCarroline Dewi Puspa Kencana RamliLuis Palacios MedinacelliPublished in: IJCAI (2019)
Keyphrases
- extended abstract
- detection method
- high accuracy
- high precision
- computational cost
- preprocessing
- support vector machine
- experimental evaluation
- classification accuracy
- programming language
- support vector machine svm
- clustering method
- probabilistic model
- dynamic programming
- input data
- logic programming
- optimization algorithm
- prior knowledge
- synthetic data
- segmentation method
- multiresolution
- optimization method
- data sets