Borgida, A.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
- KSL-99-12
- Brachman, R. J.; Borgida, A.; McGuinness, D.L.; & Patel-Schneider, P. F. "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artificial Intelligence 114 (1-2), October, 1999.
- KSL-99-13
- Baader, F.; Borgida, A.; Kuesters, R.; & McGuinness, D.L. Matching in Description Logics. Journal of Logic and Computation -- Special Issue on Description Logics. Volume 9, number 3, June, 1999.
- KSL-99-15
- Borgida, A.; Franconi, E.; Horrocks, I.; McGuinness, D.L.; & Patel-Schneider, P. Explaining ALC subsumption. Proceedings of the International Workshop on Description Logics - DL-99, Linköping, Sweden, July, 1999.
- KSL-92-49
- Borgida, A. Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed. 1992.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]