An API for DL Abduction Solvers.
Zuzana HlávkováMartin HomolaPatrick KoopmannJúlia PukancováPublished in: Description Logics (2022)
Keyphrases
- description logics
- expressive power
- abductive reasoning
- reasoning tasks
- quantified boolean formulas
- source code
- application programming interface
- causal networks
- knowledge base
- open source
- high level
- background knowledge
- logic programming
- computational properties
- third party
- application developers
- formal logic
- numerically stable
- knowledge representation
- code snippets
- eigenvalue problems