Country
A knowledge-based computer vision system
In A. Hanson and E. Riseman (Eds.), Computer vision systems. New York: Academic Press, 335-352.
A system of cause-effect representation and simulation for computer-aided design
Artificial Intelligence and Pattern Recognition in Computer Aided Design. New York: North Holland: 250-257
The Inference of Regular LISP Programs from Examples
—A class of LISP programs that is analogous to the finite-state automata is defined, and an algorithm is given for constructing such programs from examples of their input-output behavior. It is shown that the algorithm has robust performance for a wide variety of inputs and that it converges to a solution on the basis of minimum input information.IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS, VOL. SMC-8, NO. 8,
TINLAP-2 : Theoretical issues in natural language processing—2
New York: Association for Computing Machinery
Making Computational Sense of Montague's Intensional Logic
R., Jerry | Rosenschein, Stanley
Artificial Intelligence, vol. 9, pp. 287-306.
Resolving Pronoun References
Lingua, vol. 44, pp. 311-338. Also in Readings in Natural Language Processing, B. Grosz, K. Sparck-Jones, and B. Webber, editors, pp. 339-352, Morgan Kaufmann Publishers, Los Altos, California.
DENDRAL and Meta-DENDRAL: Their applications dimension
Buchanan, B. G. | Feigenbaum, E. A.
Retrospective on lessons learned from the Dendral project."The DENDRAL and Meta-DENDRAL programs are products of a large, interdisciplinary group of Stanford University scientists concerned with many and highly varied aspects of the mechanization of scientific reasoning and the formalization of scientific knowledge for this purpose. An early motivation for our wok was to explore the power of existing Al methods, such as heuristic search, for reasoning in difficult scientific problems. Another concern has been to exploit the AI methodology to understand better some fundamental questions in the philosophy of science, for example the processes by which explanatory hypotheses are discovered or judged adequate. From the start, the project has had an applications dimension. It has sought to develop "expert level" agents to assist in the solution of problems in their discipline that require complex symbolic reasoning. The applications dimension is the focus of this paper."Artificial Intelligence 11 (1-2): 5-24
Negation as failure
In Gallaire, H. and Minker, J. (Eds.), Logic and Data Bases, pp. 293-322. Plenum.
Pattern-based representation of chess end-game knowledge
Bratko, L. | Kopec, D. | Michie, D.
Computer J. 21:149-153
