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

• Planning for Conjunctive Goals, Artificial Intelligence, 1987
• Penguins Can Make Cake, AI Magazine, 1989

Alfred Chapuis

• Automata: A Historical and Technological Study. Editions du Griffon, Neufchatel, Switzerland. 1958

David Chalmers : papers   online papers on consciousness

• Minds, Machines, and Mathematics. Psyche, 2:11-20, 1995.
• The Conscious Mind: In Search of a Fundamental Theory : Oxford University Press, 1996
• Explaining Consciousness: The Hard Problem : edited by Jonathan Shear, MIT Press, 1997
• Philosophy of Mind: Classical and Contemporary Readings : edited by Charmers, Oxford University Press, 2002

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

• The Entity-Relationship Model--Toward a Unified View of Data : ACM Transactions on Database Systems, Vol. 1, No. 1, March 1976

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

• Minimal Rationality. MIT Press, Cambridge, Massachusetts. 1986
• Philosophy and Computational Neuroanatomy, invited, Philosophical Studies, 73 (1994) 89-107.
• Global Optimization of Cerebral Cortex Layout, with Z. Mokhtarzada, R. Rodriguez-Esteban, and B. Changizi, 2003

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

• The selection of syntactic knowledge. Language Acquisition, 1992
• Generalized Quantifiers and Semantic Automata: A Tutorial

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

• Quantification and Syntactic Theory. D. Reidel, Dordrecht, The Netherlands. 1983
• Prolog and Natural Language Semantics : Notes for AI 3/4 Computational Semantics, 1993, written together with Ian Lewin and Alan Black

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

• Continuous valued neural networks with two hidden layers are sufficient. Technical report, Department of Computer Science, Tufts University, Medford, Massachusetts. 1988
• Approximation by superpositions of a sigmoidal function. Mathematics of Controls, Signals, and Systems, 1989
• Neural Networks in Computational Science and Engineering, IEEE Computational Science and Engineering, Vol. 3 #1