Alex Borgida (borgida)

Contributions to Philosophie.ch

Bibliography

Borgida, Alex. 1985. “Language Features for Flexible Handling of Exceptions in Information Systems.” ACM Transactions on Database Systems 10: 563–603.
Borgida, Alex. 1992. “Towards the Systematic Development of Description Logic Reasoners: CLASP reconstructed.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 259–269. San Francisco, California: Morgan Kaufmann Publishers.
Borgida, Alex. 1996. “On the Relative Expressive Completeness of Description Logics and Predicate Logics.” Artificial Intelligence 82(1–2): 353–367.
Borgida, Alex and Etherington, David W. 1989. “Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 33–43. San Francisco, California: Morgan Kaufmann Publishers.
Borgida, Alex and McGuinness, Deborah L. 1996. “Asking Queries about Frames.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 340–349. San Francisco, California: Morgan Kaufmann Publishers.
Borgida, Alex and Patel-Schneider, Peter F. 1994. “A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.” Journal of Artificial Intelligence Research 1: 277–308.
Brachman, Ronald J., Borgida, Alex, McGuinness, Deborah L. and Resnik, Lori A. 1989. “The CLASSIC Knowledge Representation System, or, KL-ONE: The Next Generation.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan. San Francisco, California: Morgan Kaufmann Publishers.
Cohen, William W., Borgida, Alex and Hirsh, Haym. 1992. “Computing Least Common Subsumers in Description Logics.” in AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S. Rosenbloom and Peter Szolovits, pp. 754–761. Menlo Park, California: The AAAI Press.
Etherington, David W., Borgida, Alex, Brachman, Ronald J. and Kautz, Henry A. 1989. “Vivid Knowledge Bases and Tractable Reasoning: Preliminary Report.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 1146–1158. San Francisco, California: Morgan Kaufmann Publishers.
McGuinness, Deborah L. and Borgida, Alex. 1995. “Explaining Subsumption in Description Logics.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 816–821. San Francisco, California: Morgan Kaufmann Publishers.
Resnik, Lori A., Borgida, Alex, Brachman, Ronald J., McGuinness, Deborah L. and Patel-Schneider, Peter F. 1995. “CLASSIC Description and Reference Manuel for the COMMON LISP Implementation: Version 2.3.” Florham Park, New Jersey: AT&T Bell Laboratories.
Resnik, Lori A., Borgida, Alex, Brachman, Ronald J., McGuinness, Deborah L., Patel-Schneider, Peter F. and Zalondek, Kevin C. 1993. “classic Description and Reference Manual for the Common Lisp Implementation Version 2.2.” Florham Park, New Jersey: AT&T Bell Laboratories.