A Correspondence Theory for Terminological Logics: Preliminary Report (1991)

Cached

Download Links

by Klaus Schild
Venue:In Proc. of IJCAI-91
Citations:255 - 0 self

Document Versions

A Correspondence Theory for Terminological Logics: Preliminary Report –Klaus Schild — 1991 — In Proc. of IJCAI-91