A Decidable Constructive Description Logic

Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. A Decidable Constructive Description Logic. In Tomi Janhunen, Ilkka Niemelä, editors, Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings. Volume 6341 of Lecture Notes in Computer Science, pages 51-63, Springer, 2010. [doi]

Authors

Loris Bozzato

This author has not been identified. Look up 'Loris Bozzato' in Google

Mauro Ferrari

This author has not been identified. Look up 'Mauro Ferrari' in Google

Camillo Fiorentini

This author has not been identified. Look up 'Camillo Fiorentini' in Google

Guido Fiorino

This author has not been identified. Look up 'Guido Fiorino' in Google