Inproceedings,

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

, , , , and .
ECAI, page 975-976. IOS Press, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews