Oles, Frank J.

2 publications

IJCAI 1993 The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics Robert Dionne, Eric Mays, Frank J. Oles

AAAI 1992 A Non-Well-Founded Approach to Terminological Cycles Robert Dionne, Eric Mays, Frank J. Oles