AI - Bibliography : H

Andrew Haas

• A syntactic theory of belief and action. Artificial Intelligence, 1986

Ian Hacking

• The Emergence of Probability. Cambridge University Press, Cambridge. 1975

Anders Hald

• A History of Probability and Statistics and Their Applications Before 1750. Wiley, New York. 1990

Joseph Halpern

• Using reasoning about knowledge to analyze distributed systems. In Traub, J. F., Grosz, B. J., Lampson, B. W., & Nilsson, N. J., editors, Annual review of computer science, volume 2, Annual Reviews, Palo Alto. 1987

Richard W. Hamming

• The Art of Probability for Scientists and Engineers. Addison-Wesley, Reading, Massachusetts. 1991

Kristian J. Hammond

• Case-Based Planning: Viewing Planning as a Memory Task. Academic Press. 1989

Steve Hanks

• Default Reasoning, Nonmonotonic Logics, and the Frame Problem, in Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), Menlo Park, CA: AAAI Press, 1986. (Reprinted in Ginsberg, M. (ed.), Readings in Nonmonotonic Reasoning, pp.390-395, San Francisco: Morgan Kaufmann, 1987.)
• Proc. AAAI Spring Symposium on Decision-Theoretic Planning, Stanford, California. 1994

Ilkka Hanski : publications

• 쇠똥구리 생태학 (Dung Beetle Ecology). Princeton University Press, Princeton, New Jersey. 1991

Othar Hansson : CV

• Heuristic search as evidential reasoning. In Proceedings of the Fifth Workshop on Uncertainty in Artificial Intelligence, Windsor, Ontario. Morgan Kaufmann. 1989

Robert M. Haralick : publications

• Increasing tree search efficiency for constraint-satisfaction problems. Artificial Intelligence, 1980
• Using Texture in Image Similarity and Retrieval : Selim Aksoy, Robert M. Haralick, to appear as a chapter in Texture Analysis in Machine Vision, eds. M. Pietikainen and H. Bunke, volume 20, World Scientific, 2000.

David Harel : publications

• First-Order Dynamic Logic, Lecture Notes in Computer Science, Vol. 68, Springer-Verlag, New York (133 pp.), 1979
• Dynamic logic : D. Harel, D. Kozen and J. Tiuryn, MIT Press,  2000
• Computers Ltd.: What They Really Can't Do, , Oxford University Press, 2000

K. Harkness

• This made chess history. Chess Review. 1947

Gilbert Harman : publications   online

• Change in View: Principles of Reasoning. MIT Press, Cambridge, Massachusetts. 1983
• Reasoning, Meaning, and Mind (Oxford: Clarendon Press, 1999), pp. viii, 291. [Essays.] Online edition, with chapter abstracts and key words, 2003, available from oxfordscholarship online

Stevan Harnad : recent publications

• The Symbol Grounding Problem, Physica D, 1990
• Harnad on Dennett on Chalmers on Consciousness: The Mind/Body Problem is the Feeling/Function Problem. 2001
• Darwin, Skinner, Turing and the Mind . Magyar Pszichologiai Szemle LXVII(4):pp. 521-528. 2002

Steven A. Harp

• Designing application-specific neural networks using the genetic algorithm. In Touretzky, D. S., editor, Advances in Neural Information Processing Systems II, Morgan Kaufmann, San Mateo, California. 1990

Larry R. Harris

• Experience with INTELLECT: Artificial Intelligence Technology Transfer. AI Magazine, 1984

Peter E. Hart

• Pattern Classification and Scene Analysis, Duda, R. O. and P. E. Hart, (John Wiley & Sons, New York, NY, 1973).
• Pattern Classification (2nd ed, 2000) by R. O. Duda, P. E. Hart & D. G. Stork (Wiley)
• Recognition of a Hidden Mineral Deposit by an Artificial Intelligence Program, Campbell, A. N., V. F. Hollister, R. O. Duda and P. E. Hart, SCIENCE , Vol. 217, No. 4563, pp 927-929 (3 September 1982).
• Progress on a Computer-Based Consultant, Proc. International Joint Conference on Artificial Intelligence, Vol. 2, pp 831-841, (Tbilisi, USSR, September 1975).
• 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).
• Query-Free Information Retrieval, Hart, P. E., and J. Graham, Proc. Second Int. Conf. on Cooperative Info. Systems, pp 36-46 (Toronto, Canada, May 17-20, 1994).
• A Formal Basis for the Heuristic Determination of Minimum Cost Paths in Graphs, Hart, P. E., N. J. Nilsson, and B. Raphael, IEEE Trans. on Systems Science and Cybernetics, Vol. SSC-4, No. 2, pp 100-107, (July 1968).

T. P. Hart

• The tree prune (TP) algorithm. Artificial Intelligence Project Memo 30, Massachusetts Institute of Technology, Cambridge, Massachusetts. 1961

William David Harvey

• Nonsystematic Backtracking Search, Ph. D. dissertation, Department of Computer Science, Stanford University, December 1994

John Haugeland : CV

• Mind Design. MIT Press, Cambridge, Massachusetts. 1981
• Artificial Intelligence: The Very Idea. MIT Press, Cambridge, Massachusetts. 1985

David Haussler

• Quantifying Inductive Bias: AI Learning Algorithms and Valiant's Learning Framework, Artificial Intelligence, 36:177-221, 1988. (Reprinted in Shavlik, J., & Dietterich, T. (eds.), Readings in machine Learning, San Francisco: Morgan Kaufmann, 1990.)
• Learning conjunctive concepts in structural domains. Machine Learning, 1989
• Probably Approximately Correct Learning, Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), Menlo Park, CA: AAAI Press, 1990

J. Hawkins

• Self-organizing systems: A review and commentary. Proceedings of the IRE, 1961

J. E. Hayes

• The World Computer Chess Championship: Stockholm 1974. Edinburgh University Press, Edinburgh, Scotland. 1976

Patrick Hayes (1973).

• Computation and deduction. In Proceedings of the Second Symposium on Mathematical Foundations of Computer Science, Czechoslovakia. Czechoslovakian Academy of Science. 1973
• The Naive Physics Manifesto, in Michie, D. (ed.), Expert Systems in the Microelectronic Age, Edinburgh: Edinburgh University Press, 1978
• The logic of frames. In Metzing, D., editor, Frame Conceptions and Text Understanding, de Gruyter, Berlin. 1979
• The Second Naive Physics Manifesto, in Hobbs, J., & Moore, R. (eds.), Formal Theories of the Commonsense World, Ch.~1, Norwood, NJ: Ablex, 1985
• Naive Physics I: Ontology for Liquids, in Hobbs, J., & Moore, R. (eds.), Formal Theories of the Commonsense World, Norwood, NJ: Ablex, 1985
• Turing Test Considered Harmful, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), San Francisco: Morgan Kaufmann, 1995

Barbara Hayes-Roth

• A Blackboard Architecture for Control : Artificial Intelligence, 1985
• An Architecture for Adaptive Intelligent Systems : Artificial Intelligence, 1995
• Guardian: An Intelligent Agent for ICU Monitoring : J. AI in medicine, 1992

Simon Haykin

• Neural Networks: A Comprehensive Foundation, New York: Macmillan College Publishing, 1994

Donald Hebb

• he Organization of Behavior. Wiley, New York. 1949

Martial Hebert

• Mobility for Unmanned Ground Vehicles, in Firschein, O., & Strat, T. (eds.), Reconnaissance, Surveillance, and Target Acquisition for the Unmanned Ground Vehicle: Providing the Surveillance "Eyes" for an Autonomous Vehicle, San Francisco: Morgan Kaufmann, 1997

David Heckerman

• Probabilistic interpretation for MYCIN's certainty factors. In Kanal, L. N. & Lemmer, J. F., editors, Uncertainty in Artificial Intelligence, Elsevier/North-Holland, Amsterdam, London, New York. 1986
• Probabilistic Similarity Networks, Cambridge, MA: MIT Press, 1991
• "An Evaluation of the Diagnostic Accuracy of Pathfinder," SIAM Journal on Computing, 1992
• Learning Bayesian networks: The combination of knowledge and statistical data. Technical Report MSR-TR-94-09, Microsoft Research, Redmond, Washington. 1994
• "Learning Bayesian Networks: The Combination of Knowledge and Statistical Data," Machine Learning, 1995
• "A Tutorial on Learning with Bayesian Networks," Microsoft Research Technical Report, MSR-TR-95-06, Redmond, WA, March 1995 (revised November 1996).

Jochen Heinsohn

• An Empirical Analysis of Terminological Representation Systems, Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), 1992

Martin Held

• The traveling salesman problem and minimum spanning trees. Operations Research, 1970

David Henry Helman

• Analogical Reasoning: Perspectives of Artificial Intelligence, Cognitive Science, and Philosophy. Kluwer, Dordrecht, The Netherlands. 1988

Gary G. Hendrix

• Expanding the utility of semantic networks through partitioning. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), Tbilisi, Georgia. IJCAII. 1975
• Encoding Knowledge in partitioned Networks, in Findler,~N. (ed.), Associative Networks, New York: Academic Press, 1979

Max Henrion

• Propagation of Uncertainty in Bayesian Networks by probabilistic Logic Sampling, in Lemmer, J., & Kanal, L. (eds.), Uncertainty in Artificial Intelligence, New York: Elsevier/North-Holland, 1988
• An Introduction to Algorithms for Inference in Belief Nets, in Henrion, M., Shachter, R., Kanal, L., & Lemmer, J. (eds.), Uncertainty in Artificial Intelligence, 5, Amsterdam: North Holland, 1990
• The value of knowing how little you know. PhD, Carnegie Mellon University. Dissertation

T. A. Heppenheimer

• Man makes man. In Minsky, M., editor, Robotics, pDoubleday, Garden City, New York. 1985

Jacques Herbrand

• Recherches sur la théorie de la démonstration. PhD thesis, University of Paris. 1930

John Hertz : publications

• Introduction to the Theory of Neural Computation, Reading, MA: Addison-Wesley, 1991
• Neurons, Networks, and Cognition : An Introduction to Neural Modelling

Carl Hewitt  

• PLANNER: a language for proving theorems in robots. In Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI-69), Washington, D.C. IJCAII. 1969

Daniel Hillis

• The Pattern on the Stone: The Simple Ideas That Make Computers Work  (Basic Books, 1998)

Jaakko Hintikka

• Knowledge and Belief, Ithaca, NY: Cornell University Press, 1962

Geoffrey Hinton

• Parallel Models of Associative Memory. Lawrence Erlbaum Associates, Potomac, Maryland. 1981
• Optimal perceptual inference. In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Washington, D.C. IEEE Computer Society Press. 1983
• Learning and relearning in Boltzmann machines. In Rumelhart, D. E. & McClelland, J. L., editors, Parallel Distributed Processing, MIT Press, Cambridge, Massachusetts. 1986

Haym Hirsh : publications

• Explanation-based generalization in a logic programming environment. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), Milan, Italy. Morgan Kaufmann. 1987
• Integrating Background Knowledge into Nearest-Neighbor Text Classification. Proceedings of the 6th European Conference on Case Based Reasoning. Springer Verlag. 2002

Graeme Hirst : publications

• Semantic Interpretation Against Ambiguity. Cambridge University Press. 1987
• Semantic knowledge in a word completion task. Submitted, April 2005.

Jerry Hobbs

• Formal Theories of the Commonsense World, Norwood, NJ: Ablex, 1985
• Ontological promiscuity. In Proceedings, 23rd Annual Meeting of the Association for Computational Linguistics, Chicago, Illinois. 1985
• Commonsense summer: Final report. Technical Report CSLI-85-35, Center for the Study of Language and Information (CSLI), Stanford, California. 1985
• Overview of the TACITUS project. Computational Linguistics, 1986
• Literature and Cognition. CSLI Press, Stanford, California. 1990
• Commonsense metaphysics and lexical semantics. Computational Linguistics, 1987
• Formal Theories of the Commonsense World. Ablex, Norwood, New Jersey. 1985
• Interpretation as abduction. Technical Note 499, SRI International, Menlo Park, California. 1990
• Interpretation as abduction. Artificial Intelligence, 1993

John Holland

• Adaptation in Natural and Artificial Systems, Ann Arbor: The University of Michigan Press, 1975. (Second edition printed in 1992 by MIT Press, Cambridge, MA.)
• Escaping Brittleness: The Possibilities of General-Purpose Learning Algorithms Applied to Parallel Rule-Based Systems," in Michalski, R., Carbonell, J., & Mitchell, T. (eds.), Machine Learning: An Artificial Intelligence Approach, Volume 2, San Francisco: Morgan Kaufmann, 1986
• Emergence: From Chaos to Order (1998)   
• 숨겨진 질서 : 존 홀랜드 저, 김희봉 역, 사이언스북스, 2001 (원서 : Hidden Order: How Adaptation Builds Complexity ,1995)

John Hopcroft 

• Introduction to Automata Theory, Languages, and Computation, Second Edition. with Rajeev Motwani, Jeffrey D.Ullman, Addison-Wesley, 2001
• The Design and Analysis of Computer Algorithms, with Alfred V. Aho, Jeffrey D.Ullman, Addison-Wesley Series in Computer Science and Information Processing. 1974

John J.Hopfield

• Neurons with graded response have collective computational properties like those of two-state neurons. Proceedings of the National Academy of Sciences (USA), 1982

Alfred Horn

• On sentences which are true of direct unions of algebras. Journal of Symbolic Logic, 1951

Berthold Horn

• Shape from shading: a method for obtaining the shape of a smooth opaque object from one view. Technical Report 232, MIT Artificial Intelligence Laboratory, Cambridge, Massachusetts. 1970
• Robot Vision. MIT Press, Cambridge, Massachusetts. 1986
• Shape from Shading. MIT Press, Cambridge, Massachusetts. 1989

S. Horowitz

• Picture Segmentation by a Tree Traversal Algorithm, Jour. Assoc. Comp. Mach., 1976

Ian Horswill : publications

• Polly: A Vision-Based Artificial Agent, in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), Menlo Park, CA: AAAI Press, 1993

Eric Horvitz : online papers

• Reasoning about Beliefs and Actions under Computational Resource Constraints, in Proc. of the 1987 Workshop on Uncertainty in Artificial Intelligence}, nl pp.429-444, 1987. (Also in Kanal, L, et al (eds.), Uncertainty in Artificial Intelligence 3, pp.301-324, New York: Elsevier, 1989.)
• Decision Theory in Expert Systems and Artificial Intelligence, International Journal of Approximate Reasoning, 1988
• The inconsistent use of measures of certainty in artificial intelligence research. In Kanal, L. N. & Lemmer, J. F., editors, Uncertainty in Artificial Intelligence, Elsevier/North-Holland, Amsterdam, London, New York. 1986
• A framework for comparing alternative formalisms for plausible reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), volume 1, Philadelphia, Pennsylvania. Morgan Kaufmann. 1986
• Bounded conditioning: Flexible inference for decisions under scarce resources. In Proceedings of the 1989 Workshop on Uncertainty in Artificial Intelligence, 1989

Ronald A. Howard : publications

• Dynamic Programming and Markov Processes. MIT Press, Cambridge, Massachusetts. 1960
• Information value theory. IEEE Transactions on Systems Science and Cybernetics, 1966
• Risk preference. In Howard, R. A. & Matheson, J. E., editors, Readings in Decision Analysis, Decision Analysis Group, SRI International, Menlo Park, California. 1977
• Microrisks for medical decision analysis. International Journal of Technology Assessment in Health Care, 1989
• Influence diagrams. In Howard, R. A. & Matheson, J. E., editors, Readings on the Principles and Applications of Decision Analysis, Strategic Decisions Group, Menlo Park, California. Article dates from 1981. 1984

Feng-hsiung Hsu

• A grandmaster chess machine. Scientific American, 1990
• Behind Deep Blue: Building the Computer that Defeated the World Chess Champion

Karl Hsu

• Experimental demonstration of optical neural computers. In Anderson, D. Z., editor, Neural Information Processing Systems, Denver 1987, Denver, Colorado. American Institute of Physics. 1988

Timothy T. Huang

• Automatic symbolic traffic scene analysis using belief networks. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), Seattle, Washington. AAAI Press. 1994
• Experiments with learning opening strategy in the game of go. International Journal on Artificial Intelligence Tools 13(1): 101-104 (2004)

David H. Hubel

• Eye, Brain, and Vision, New York: W. H. Freeman, 1988
• Receptive Fields and Functional Architecture of Monkey Striate Cortex, Journal of Physiology (London), 1968

Barbara J. Huberman (Liskov)

• A Program to Play Chess End Games, Stanford University Computer Science Department Report CS 106, August 19, 1968

Rodney D. Huddleston

• English Grammar: An Outline. Cambridge University Press, Cambridge. 1988

Manfred H. Hueckel

• A Local Visual Operator Which Recognizes Edges and Lines, Journal of the Assoc. for Comp. Machinery, 1973

D. Huffman

• Impossible Objects as Nonsense Sentences, in Machine Intelligence 6, Meltzer, B., and Michie, D. (eds.), New York: American Elsevier, 1971

G. E. Hughes

• An Introduction to Modal Logic. Methuen, London. 1968
• A Companion to Modal Logic. Methuen, London. 1984

David Hume

• A Treatise of Human Nature. Oxford University Press, Oxford, second edition. Edited by L. A. Selby-Bigge & P. H. Nidditch. 1978

Earl Hunt

• Experiments in Induction. Academic Press, New York. 1966

Geoffrey Hunter

• Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. University of California Press, Berkeley and Los Angeles. 1971

Lawrence Hunter : recent publications

• Bayesian classification of protein structure. IEEE Expert, 1992
• Artificial Intelligence and Molecular Biology, AAAI, 1993

Daniel P. Huttenlocher : papers

• Recognizing solid objects by alignment with an image. International Journal of Computer Vision, 1990
• A New Bayesian Approach to Object Recognition, Proceedings of IEEE CVPR, pp. 517-523, 1999 (with Y. Boykov)

Christiaan Huygens

• Ratiociniis in ludo aleae. In van Schooten, F., editor, Exercitionum Mathematicorum. Elsevirii, Amsterdam. 1657

Chung Hee Hwang

• EL: a formal, yet natural, comprehensive knowledge representation. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), Washington, D.C. AAAI Press. 1993
• Episodic Logic meets Little Red Riding Hood: A comprehensive, natural representation for language understanding, L.K. Schubert and C.H. Hwang, in L. Iwanska and S.C. Shapiro (eds.), Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language, MIT/AAAI Press, 2000

Robert M. Hyatt : papers

• Advances in Computer Chess 4, Pergamon, New York. 1986