Michael Kifer (kifer)

Contributions to Philosophie.ch

Bibliography

Bonner, A. J. and Kifer, Michael. 1994. “Applications of Transaction Logic to Knowledge Representation.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 67–81. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Kifer, Michael, Lausen, Georg and Wu, James. 1991. “Logical Foundations of Object-Oriented and Frame-Based Languages.” 90/14. Stony Brook, New York: Department of Computer Science, State University of New York at Stony Brook.
Kifer, Michael and Lozinskii, Eliezer L. 1992. “A Logic for Reasoning with Inconsistency.” Journal of Automated Deduction 9: 179–215.
Krishnaprasad, Thirunarayan and Kifer, Michael. 1989. “An Evidence Based Theory of Inheritance.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 1093–1098. San Francisco, California: Morgan Kaufmann Publishers.
Krishnaprasad, Thirunarayan, Kifer, Michael and Warren, David S. 1989. “On the Declarative Semantics of Inheritance Networks.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 1098–1103. San Francisco, California: Morgan Kaufmann Publishers.