A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello. A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. pages 975-976, IOS Press, 2004.

Authors

Simona Colucci

This author has not been identified. Look up 'Simona Colucci' in Google

Tommaso Di Noia

This author has not been identified. Look up 'Tommaso Di Noia' in Google

Eugenio Di Sciascio

This author has not been identified. Look up 'Eugenio Di Sciascio' in Google

Francesco M. Donini

This author has not been identified. Look up 'Francesco M. Donini' in Google

Marina Mongiello

This author has not been identified. Look up 'Marina Mongiello' in Google