A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio. A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 739-745, 2009. [doi]

This author has not been identified. Look up 'Francesco M. Donini' in GoogleThis author has not been identified. Look up 'Simona Colucci' in GoogleThis author has not been identified. Look up 'Tommaso Di Noia' in GoogleThis author has not been identified. Look up 'Eugenio Di Sciascio' in Google

runs on WebDSL