Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach.
Michel LudwigDirk WaltherPublished in: GCAI (2016)
Keyphrases
- description logics
- decision making
- decision makers
- iterative procedure
- decision problems
- tableau calculus
- data mining
- theorem proving
- decision rules
- genetic algorithm
- search space
- bayesian networks
- image processing
- knowledge base
- influence diagrams
- information systems
- practical problems
- artificial intelligence
- computational geometry
- dl lite
- proof procedure