Non-standard inferences in description logics: The story so far (2005)

by Franz Baader , Tu Dresden , Ralf Küsters
Venue:Mathematical Problems from Applied Logic. New Logics for the XXIst Century, volume 4 of International Mathematical Series
Citations:13 - 1 self