International Joint Conference on Artificial Intelligence
Twenty-First International Joint Conference on Artificial Intelligence

Presentations

Reading Tools
Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers

Kontchakov, Pulina, Sattler, Schneider, Selmer, Wolter, Zakharyaschev




Search conference