Uniform tableaux-based method for concept abduction and contraction in description logics

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 977-978

  Colucci, S ^a   Di Noia, T ^a   Di Sciascio, E ^a   Donini, F M ^b   Mongiello, M ^a  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TUSCIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85017342285     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (3)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel Schneider (eds.), The Description Logic Handbook, Cambridge University Press, 2003.
2. S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini, and M. Mongiello, 'Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN DL', in Proc. of the 17th Intl. Workshop on Description Logics (DL'04), CEUR Workshop Proc., (2004). To appear.
3. F.M. Donini and F. Massacci, 'Exptime tableaux for ALC', Artif. Intell., 124, 87-138, (2000).