AI - Bibliography
: C
Eduardo R. Caianiello
- Outline of a theory of thought and thinking
machines. Journal of Theoretical Biology, 1961
A. N. Campbell
- Recognition of a Hidden Mineral Deposit by
an Artificial Intelligence Program, Science,
1982
P. K. Campbell
- A silicon-based, 3-dimensional neural interface: manufacturing
processes for an intracortical electrode array. IEEE Transactions on
Biomedical Engineering, 1991
John
Canny : publication
by topic
- A computational approach to edge detection. IEEE
Transactions on Pattern Analysis and Machine Intelligence (PAMI),
1986
- New lower bound techniques for robot motion
planning problems. In IEEE FOCS, 1987
- The Complexity of Robot Motion Planning. MIT
Press, Cambridge, Massachusetts.
1988
Jaime Carbonell
- Natural semantics in artificial
intelligence. In Proceedings of the Third International Joint Conference on
Artificial Intelligence (IJCAI-73), Stanford, California. IJCAII.
1973
- "PRODIGY 4.0: The Manual and Tutorial,"
Carnegie-Mellon University Computer Science Tech. Report CMU-CS-92-1560, Pittsburg,
PA, 1992
Rudolf
Carnap
- On the application of inductive logic. Philosophy and
Phenomenological Research, 1948
- Logical Foundations of Probability. University
of Chicago Press, Chicago, Illinois.
1950
Anthony
R. Cassandra
- Acting Optimally in Partially Observable
Stochastic Domains,: in Proceedings of the Twelfth National Conference on
Artificial Intelligence (AAAI-94), Menlo Park, CA: AAAI Press,
1994
Partha Pratim
Chakrabarti
- Heuristic Search through Islands,
Artificial Intelligence, 1986
- Heuristic search in restricted memory. Artificial Intelligence, 1989
Chin-Liang
Chang
- Symbolic Logic and Mechanical Theorem
Proving, Boston: Academic Press,
1973
David Chapman
Alfred Chapuis
- Automata: A Historical and
Technological Study. Editions du Griffon, Neufchatel, Switzerland.
1958
David Chalmers : papers online papers on consciousness
Eugene Charniak
: publications
- Toward a model of children's story
comprehension. PhD thesis, Massachusetts Institute of Technology.
1972
- Introduction to Artificial
Intelligence. Addison-Wesley, Reading, Massachusetts.
1985
-
Artificial Intelligence Programming. Lawrence Erlbaum Associates,
Potomac, Maryland, second edition.
1987
- A Bayesian model of plan
recognition. Artificial Intelligence, 1992
- Statistical
Language Learning, Cambridge, MA: MIT Press, 1993
Y. Chauvin
- Backpropagation: Theory, Architectures, and Applications, with
D. Rumelhart,
Hillsdale, NJ: Lawrence Erlbaum, 1995
Peter
Cheeseman
- In defense of probability. In Proceedings of the
Ninth International Joint Conference on Artificial Intelligence (IJCAI-85),
Los Angeles, California. Morgan Kaufmann.
1985
- An inquiry into computer understanding.
Computational Intelligence, 1988
- Bayesian
classification. In Proceedings of the Seventh National Conference on
Artificial Intelligence (AAAI-88), volume 2, St. Paul,
Minnesota. Morgan Kaufmann.
1988
Brian F. Chellas
: bibliography
- Modal Logic: An Introduction. Cambridge
University Press, Cambridge. 1980
- Elementary formal logic. Calgary: Perry Lane Press, 1996.
Peter
Chen : papers
Su-Shing Chen
- Advances in
Spatial Reasoning, Norwood, NJ: Ablex Publishing, 1990
- Adaptive
Computing: Mathematical and Physical Methods for Complex Environments, SPIE,
1996 (with H. J. Caulfield)
Christopher Cherniak
: selected publications
Gennaro Chierchia
- Meaning and Grammar.
MIT Press.
1990
Mahesh Chitrao
- Statistical parsing of messages. In
Proceedings of DARPA Speech and Natural Language Processing. Morgan
Kaufman: New York.
1990
Noam Chomsky
- Three models for the description of language. IRE
Transactions on Information Theory, 1956
- Syntactic Structures. Mouton, The Hague and
Paris.
1957
- Aspects of the Theory of Syntax. MIT Press,
Cambridge, Massachusetts.
1965
- Rules and representations. The Behavioral and Brain
Sciences, 1980
Jens Christensen
: publications
- A
Hierarchical Planner That Generates Its Own Hierarchies, in Proceedings
of the Eighth National Conference on Artificial Intelligence (AAAI-90),
pp.1004-1009, Menlo Park, CA: AAAI Press, 1990
Kai Lai Chung
- Elementary Probability Theory with Stochastic
Processes. Springer-Verlag, Berlin, third edition.
1979
Alonzo
Church
- A note on the Entscheidungsproblem. Journal of
Symbolic Logic, 1936
- The Calculi of Lambda-Conversion. Princeton
University Press, Princeton, New Jersey.
1941
Kenneth Ward
Church
- A stochastic parts program and noun phrase parser for
unrestricted texts. In Proceedings of the Second Conference on Applied
Natural Language Processing, Austin, Texas.
1988
- Coping with syntactic ambiguity or how to
put the block in the box on the table. American Journal of Computational
Linguistics, 1982
Paul
M. Churchland
- Scientific Realism and the Plasticity of
Mind. Cambridge University Press, Cambridge.
1979
- Functionalism, qualia, and
intentionality. In Biro, J. I. & Shahan, R. W., editors, Mind, Brain and
Function: Essays in the Philosophy of Mind, pages 121-145. University of
Oklahoma Press, Norman, Oklahoma.
1982
Patricia
S. Churchland
- Neurophilosophy: Toward a Unified Science of
the Mind- Brain. MIT Press, Cambridge, Massachusetts.
1986
- "A Critique
of Pure Vision," in Koch, C., & Davis, J. (eds.), Large-Scale Neuronal
Theories of the Brain, pp.23-60, Cambridge, MA: MIT Press, 1994
Keith L. Clark
: recent papers
- Negation as failure. In Gallaire, H. & Minker, J.,
editors, Logic and Data Bases, pages 293-322. Plenum, New York.
1978
- PARLOG: parallel programming in logic.
ACM Transactions on Programming Languages, 1986
- Distributed Logic Programming
using Mobile Agents, 2004
Robin Clark
M. R. B. Clarke
- Advances in Computer Chess 1.
Edinburgh University Press, Edinburgh, Scotland.
1977
William F. Clocksin
: publications
- Programming in PROLOG (third edition), New York: Springer-Verlag,
1987
- Clause and Effect , Springer Verlag, 1997. This short
book is a new look at Prolog programming, using programming patterns and
applying them to practical case studies
Maxwell B. Clowes
- On Seeing Things :
Artificial Intelligence, 1971
A. Cobham
- The intrinsic computational difficulty of functions. In
Bar-Hillel, Y., editor, Proceedings of the 1964 International Congress for
Logic, Methodology, and Philosophy of Science, pages 24-30.
Elsevier/North-Holland.
1964
Paul
R. Cohen
- The Handbook of Artificial Intelligence, Volume
3, Reading, MA: Addison-Wesley, 1982
Philip R.
Cohen
- Elements of a
Plan-Based Theory of Speech Acts, Cognitive Science, 1979
- Intention Is Choice with Commitment, Artificial Intelligence,
1990
- Intentions in
Communication. MIT Press.
1990
Jacques Cohen
: publications
- A view of the origins and development of PROLOG.
Communications of the Association for Computing Machinery, 1988
John Cohen
- Human Robots in Myth and Science. Allen and
Unwin, London. 1966
Alain Colmerauer
- Un systéme
de communication homme-machine en Français. Rapport, Groupe d'Intelligence
Artificielle, Université d'Aix-Marseille II.
1973
- Les grammaires de metamorphose. Technical report,
Groupe d'Intelligence Artificielle, Université de Marseille-Luminy. Translated
into English as Colmerauer, 1978.
1975
- "Metamorphosis
Grammars," in Bolc, L. (ed.), Natural Language Communication with Computers,"
Berlin: Springer-Verlag. (This article is an English translation of a 1975 technical
report written in French.) 1978
- Prolog in 10 figures. Communications of the
Association for Computing Machinery, 1985
- Prolog III as it actually is. In Warren, D. H. D. &
Szeredi, P., editors, Logic Programming: Proceedings of the Seventh
International Conference, page 766, Jerusalem. MIT Press.
1990
Robert M. Colomb
: Abstracts
- Enhancing unification in PROLOG through clause
indexing. Journal of Logic Programming, 1991
E. U. Condon
- Machine to play game
of Nim. U.S. Patent 2,215,544, United States Patent Office, Washington, D.C.
1940
Joe H. Condon
- Belle chess hardware. In Clarke, M.
R. B., editor, Advances in Computer Chess 3, pages 45-54. Pergamon, New
York.
1982
Jonathan
H. Connell : papers and videos
- A Colony
Architecture Applied to Robot Navigation, Technical Report 1151, MIT
AI Lab, MIT, Cambridge, MA, June 1990
- SSS: A
Hybrid Architecture Applied to Robot Navigation, in Proc. 1992
IEEE International Conf. on Robotics and Automation, pp.2719-2724, 1992
- Rapid Task Learning for Real Robots, in Connell,
J., & Mahadevan, S. (eds.), Robot Learning, Boston: Kluwer Academic
Publishers, 1993
- Robot Learning, Boston: Kluwer Academic Publishers,
1993
Stephen
Cook
- "The Complexity of
Theorem-Proving Procedures," in Proc. of the 3rd Annual ACM Symposium
on Theory of Computing, pp.151-158, New York: Association for Computing
Machinery, 1971
- "Short Propositional
Formulas Represent Nondeterministic Computations," Information Processing
Letters, 26(5):269-270, 1988
Robin Cooper
: papers
Gregory Cooper
- Computational
Complexity of Probabilstic Inference Using Bayesian Belief Networks (Research
Note), Artificial Intelligence, 1990
- A Bayesian Method for the Induction of Probabilistic Networks
from Data, Machine Learning, 1992
Jack Copeland
: publications
- Artificial Intelligence: A Philosophical
Introduction. Blackwell, Oxford.
1993
Thomas
H. Cormen : publications
- Introduction to Algorithms, Cambridge,
MA, and New York: MIT Press and McGraw-Hill, 1990
Thomas
M. Cover : publications
- Elements of Information Theory, New York: John Wiley
& Sons, 1991
- Nearest Pattern Classification, Cover, T. M. and P. E. Hart,
IEEE Trans. on Information Theory, Vol.
IT-13, No. 1, pp 21-27 (January 1967).
Michael A. Covington
: books
- Natural Language Processing for Prolog
Programmers. Prentice-Hall, Englewood Cliffs, New Jersey.
1994
- Prolog Programming in Depth, Second
edition, Prentice-Hall,
1997.
Jack D. Cowan
- Neural nets and artificial
intelligence. Daedalus, 1988
- Statistical Mechanics of Nervous Nets. In: "Proceedings of
1967 NATO Conference on Neural Networks", Ed. E.R. Caianiello,
Springer-Verlag, pp. 181-188. 1968
Richard
Threlkeld Cox
- Probability, frequency, and reasonable expectation.
American Journal of Physics, 1946
B. G. Cragg
- The organization of neurones: A
cooperative analogy. EEG and Clinical
Neurophysiology, 1954
- Memory: The analogy with
ferromagnetic hysteresis. Brain, 1955
K. J. W. Craik
- The Nature of Explanation. Cambridge
University Press, Cambridge.
1943
Daniel Crevier
- AI: The Tumultuous History of the Search for
Artificial Intelligence. Basic Books, New York.
1993
Larry
J. Crockett
- The Turing Test and the Frame Problem
: AI's
Mistaken Understanding of Intelligence. Ablex, Norwood, New Jersey.
1994
- Universal Assembly Language (1986)
R. E. Cullingford
- Integrating knowledge sources for computer
`understanding' tasks. IEEE Transactions on Systems, Man and
Cybernetics, SMC-11.
1981
Ken Currie
- O-PLAN: The Open Planning Architecture, Artificial Intelligence,
1991
Haskell
B. Curry
- Combinatory Logic, volume 1.
Elsevier/North-Holland, Amsterdam, London, New York.
1958
George
V. Cybenko : publications