SIVA: An Educational Tool for the Tableau Reasoning Algorithm.
Peter PaulovicsJúlia PukancováMartin HomolaPublished in: Description Logics (2018)
Keyphrases
- learning algorithm
- optimization algorithm
- educational tool
- worst case
- computational cost
- optimal solution
- preprocessing
- cost function
- objective function
- knowledge representation
- similarity measure
- knowledge base
- detection algorithm
- np hard
- dynamic programming
- simulated annealing
- segmentation algorithm
- neural network