Peter F. Patel-Schneider (patelschneider)

Beiträge zu Philosophie.ch

Bibliography

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., McGuinness, Deborah L., Patel-Schneider, Peter F. and Resnik, Lori A. 1991. “Living with classic: When and How to Use a kl-one-Like Language.” in Principles of Semantic Networks: Explorations in the Representation of Knowledge, edited by John F. Sowa, pp. 401–456. San Francisco, California: Morgan Kaufmann Publishers.
Horrocks, Ian R. and Patel-Schneider, Peter F. 1998. “Optimising Propositional Modal Satisfiability for Description Logic Subsumption.” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 234–246. Berlin: Springer.
Patel-Schneider, Peter F. 1983. “Decidable, Logic-Based Knowledge Representation.” Palo Alto, California: Artificial Intelligence Laboratory, Schlumberger Palo Alto Research.
Patel-Schneider, Peter F. 1986. “A Four-Valued Semantics for Frame-Based Description Languages.” in AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, edited by Tom Kehler and Stanley J. Rosenschein, pp. 344–348. Menlo Park, California: The AAAI Press.
Patel-Schneider, Peter F. 1987. “An Approach to Practical Object-Based Knowledge Representation Systems.” 68. Palo Alto, California: Schlumberger.
Patel-Schneider, Peter F. 1989a. “Undecidability of Subsumption in nikl.” Artificial Intelligence 39(2): 263–272.
Patel-Schneider, Peter F. 1989b. “A Four-Valued Semantics for Terminological Logics.” Artificial Intelligence 38(3): 319–351.
Patel-Schneider, Peter F. 1992a. “Defaults and Descriptions.” in AAAI-92. Working Notes, AAAI Fall Symposium on Issues in Description Logics: Users Meet Developers, edited by Robert M. MacGregor, pp. 72–73. Menlo Park, California: The AAAI Press.
Patel-Schneider, Peter F. 1992b. “Partial Reasoning in Knowledge Representation Systems Based on Description Logics.” in AAAI-92. Working Notes, AAAI Fall Symposium on Issues in Description Logics: Users Meet Developers, edited by Robert M. MacGregor, pp. 74–75. Menlo Park, California: The AAAI Press.
Patel-Schneider, Peter F. 1994. “A Decidable First-Order Logic for Knowledge Representation.” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 455–458. Menlo Park, California: The AAAI Press.
Patil, Ramesh S., Fikes, Richard E., Patel-Schneider, Peter F., McKay, Don, Finin, Timothy W., Gruber, Thomas R. and Neches, Robert. 1992. “The DARPA Knowledge Sharing Effort: Progress Report.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 777–788. 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.