Logic & Formal Reasoning
Compiling circumscriptive theories into logic programs
In Non- Monotonic Reasoning: 2nd International Workshop Proceedings, pp. 74–99.
Letters to the Editor
Benzon, William, Hays, David, Darden, Lindley, Young, David, Firschein, Oscar, Kasday, Leonard, Engelmore, Robert, Minsky, Marvin L., Patel-Schneider, Peter, Mazzetti, Claudia, Feigenbaum, Edward A., Nii, H. Penny, Zadeh, Lotfi A.
We offer a simple mechanism, that of metalingual definition (D. G. Hays, The Meaning of a Term is a Function of the Theory in Which It Occurs, SIGLASH Newsletter, 1973, 6, 4:S-11).
Constraint logic programming
We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach, we define a class of programming languages, the CLP languages, all of which share the same essential semantic properties. From a conceptual point of view, CLP programs are highly declarative and are soundly based within a unified framework of formal semantics. This framework not only subsumes that of logic programming, but satisfies the core properties of logic programs more naturally. From a user's point of view, CLP programs have great expressive power due to the constraints which they naturally manipulate.
A logical approach to reasoning by analogy
In IJCAI-87, Proc. Tenth Intl. Joint Conference on Artificial Intelligence, Milan, Italy: Morgan Kaufmann, 1987, Vol. 1, pp. 264-270.
Connectionist architectures for artificial intelligence
Fahhnan, Scott | Hinton, Geoffrey
IEEE Computer, pages 100-109, January
Research in Artificial Intelligence at the University of Pennsylvania
This report describes recent and continuing research in artificial intelligence and related fields being conducted at the University of Pennsylvania. Although AI research takes place primarily in the Department of Computer and Information Science ( in School of Engineering and Applied Science), many aspects of this research are preformed in collaboration with other engineering departments as well as other schools at the University, such as the College of Arts and Sciences, the School of Medicine, and Wharton School.