AAAI Conference on Artificial Intelligence
Thirty-First AAAI Conference on Artificial Intelligence

Presentations

Reading Tools
Number Restrictions on Transitive Roles in Description Logics with Nominals

Gutiérrez-Basulto, Ibáñez-García, Jung




Search conference
Close