AI - Bibliography : G

Dov M. Gabbay : publications

• Abduction in labelled deductive systems: A conceptual abstract. In Kruse, R. & Siegel, P., editors, Symbolic and Quantitative Approaches to Uncertainty: Proceedings of European Conference ECSQAU, Springer-Verlag. 1991

Herve Gallaire

• Logic and Databases. Plenum, New York. 1978

Jean Gallier : books   publications

• Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper and Row, New York. 1986

Antony Galton : publications

• Temporal Logics and Their Applications, London: Academic Press, 1987

A. Gamba

• Further experiments with PAPA. Nuovo Cimento Supplemento, 1961

Jonas Garding : publications

• Shape from texture for smooth curved surfaces in perspective projection. Journal of Mathematical Imaging and Vision, 1992

Howard Gardner : books

• Frames of Mind : Theory of multiple intelligence, 1983
• 열정과 기질 (Creating Minds : An anatomy of creativity), 1993
• 다중지능 인간지능의 새로운 이해 (Intelligence Reframed: Multiple Intelligences for the 21st century), 1999
• 굿 워크 (Good Work : When excellence and ethics meet), 2001
• 체인징 마인드 (Changing Minds: The Art and Science of Changing Our Own and Other People's Minds)

Martin Gardner

• Logic Machines, Diagrams and Boolean Algebra. Dover, New York. 1968
• Logic Machines and Diagrams (second edition). Chicago: The University of Chicago Press, 1982

Michael R. Garey : publications

• Computers and Intractability, New York: W. H. Freeman, 1979

Roger Garside

• The Computational Analysis of English. Longman. 1987

John G. Gaschnig

• Performance Measurement and Analysis of Certain Search Algorithms, Carnegie-Mellon University Computer Science Tech. Report CMU-CS-79-124, Pittsburg, PA, 1979
• A Problem-Similarity Approach to Devising heuristics: First Results, in Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI-79), San Francisco: Morgan Kaufmann, 1979. (Reprinted in Webber, B., & Nilsson, N. (eds.), Readings in Artificial Intelligence, San Francisco: Morgan Kaufmann, 1981.) 1979

Erann Gat : papers

• Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots, in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), Menlo Park, CA: AAAI Press, 1992

Carl F. Gauss

• Theoria Motus Corporum Coelestium in Sectionibus Conicis Solem Ambientium. Sumtibus F. Perthes et I. H. Besser, Hamburg. 1809

Gerald Gazdar

• COMIT =>* PATR. In Wilks, Y., editor, Theoretical Issues in Natural Language Processing. 1989
• Generalized Phrase Structure Grammar. Blackwell, Oxford. 1985

Hector Geffner : publications

• Default Reasoning: Causal and Conditional Theories. MIT Press, Cambridge, Massachusetts. 1992
• Planning as Heuristic Search  B. Bonet and H. Geffner.  Artificial Intelligence, Special issue on Heuristic Search. Vol 129 (1-2) 2001

Arthur Gelb

• Applied Optimal Estimation. MIT Press, Cambridge, Massachusetts. 1974

Herbert L. Gelernter

• Realization of a Geometry Theorem-Proving Machine, Proc. Intern. Conf. Inform Proc.}, UNESCO House, Paris, pp.273-282, 1959. (Reprinted in Feigenbaum, E., & Feldman, J. (eds.), Computers and Thought, New York: McGraw-Hill, 1963.) 1959
• A FORTRAN-compiled list processing language. Journal of the Association for Computing Machinery, 1960

Michael Gelfond

• Compiling circumscriptive theories into logic programs. In Reinfrank, M., de Kleer, J., Ginsberg, M. L., & Sandwall, E., editors, Non-Monotonic Reasoning: 2nd International Workshop Proceedings, Grassau, Germany. Springer-Verlag. 1988
• Classical negation in logic programs and disjunctive databases. New Generation Computing, 1991

Michael Genesereth

• Meta-level architecture. Memo HPP-81-6, Computer Science Department, Stanford University, Stanford, California. 1981
• The use of design descriptions in automated diagnosis. Artificial Intelligence, 1984
• Logical Foundations of Artificial Intelligence, San Francisco: Morgan Kaufmann, 1987
• Knowledge Interchange Format, Version 3.0 Reference Manual, Computer Science Department, Stanford University, Technical Report Logic-92-1, 1992
• oftware agents. Communications of the Association for Computing Machinery, 1994

Dendre Gentner : publications

• Structure Mapping: A Theoretical Framework for Analogy, Cognitive Science, 1983
• The Analogical Mind: Perspectives from Cognitive Science : by Dedre Gentner (Editor), Keith J. Holyoak (Editor), Boicho K. Kokinov (Editor)
• Language in Mind: Advances in the Study of Language and Thought : by Dedre Gentner (Editor), Susan Goldin-Meadow (Editor)

Gerhard Gentzen

• Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 1934

Michael P. Georgeff

• Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, Timberline, Oregon. Morgan Kaufmann. 1986

James Jerome Gibson

• The Perception of the Visual World, Boston: Houghton Mifflin, 1950
• Parallax and perspective during aircraft landings. American Journal of Psychology, 1955
• The Ecological Approach to Visual Perception, Boston: Houghton Mifflin, 1979

Yolanda Gil

• Acquiring Domain Knowledge for Planning by Experimentation, Ph.D. dissertation, School of Computer Science, Carnegie-Mellon University, 1992
• An Analysis of Knowledge Collected from Volunteer Contributors, Tim Chklovski and Yolanda Gil. To appear in Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, July 9-13, 2005.

P. C. Gilmore

• A proof method for quantification theory: Its justification and realization. IBM Journal of Research and Development, 1960

Matthew Ginsberg

• Redings in Nonmonotonic Reasoning, San Francisco: Morgan Kaufmann, 1987
• Universal planning: An (almost) universally bad idea. AI Magazine, 1989
• "Search Lessons Learned from Crossword Puzzles," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), Menlo Park, CA: AAAI Press, 1990
• "Iterative Broadening," Artificial Intelligence, 1992
• "Dynamic Backtracking," Journal of Artificial Intelligence Research, 1993
• Essentials of Artificial Intelligence. Morgan Kaufmann, San Mateo, California. 1993
• "Do Computers Need Commonsense?" in Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR-96), San Francisco: Morgan Kaufmann, 1996

Georges Giralt

• Remote operated autonomous robots. In Intelligent Robotics. Proceedings of the International Symposium, volume 1571, Bangalore, India. International Society for Optical Engineering (SPIE). 1991

A. Glanc

• On the etymology of the word "robot". SIGART Newsletter, 1978

Sabin Glesner : publications

• Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases, Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU), Fribourg, Switzerland, July 1995, in Froidevaux, C., & Kohlas, J. (eds.), Lecture Notes in Artificial Intelligence, Berlin: Springer-Verlag, 1995
• Natürliche Semantik für imperative und objektorientierte Programmiersprachen. PhD Thesis, Fakultät für Informatik, Universität Karlsruhe, February 1999. Shaker Verlag Aachen, ISBN: 3-8265-6388-3, 1999.

Fred Glover : publications

• Tabu search : part 1. ORSA Journal on Computing, 1989
• Tabu Search : Part II, ORSA Journal on Computing, Vol 2, No. 1, 4-32, 1990.

Kurt Gödel

• Über die Vollständigkeit des Logikkalküls. PhD thesis, University of Vienna. 1930
• Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 1931

Goran Gogic

• The Comparative Linguistics of Knowledge Representations, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), San Francisco: Morgan Kaufmann, 1995

E. Mark Gold

• Language identification in the limit. Information and Control, 1967

Andrew V. Goldberg : publications

• On the Complexity of the Satisfiability Problem, Courant Computer Science Report No.16, New York University, NY, 1979
• Computing the Shortest Path: A* Search Meets Graph Theory, A.  V. Goldberg and C. Harrelson, Technical Report MSR-TR-2004-24, Microsoft Research, March 2004.

David E. Goldberg

• Genetic Algorithms in Search, Optimization, and Machine Learning, Reading, MA: Addison-Wesley, 1989

Robert P. Goldman : recent papers

• Probabilistic text understanding. Statistics and Computing, 1992

Moisés Goldszmidt

• A Maximum Entropy Approach to Nonmonotonic Reasoning, in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), Menlo Park, CA: AAAI Press, 1990

Irving John Good

• Contribution to the discussion of Eliot Slater's "Statistics for the chess computer and the factor of mobility". In Symposium on Information Theory, London. Ministry of Supply. 1950
• A causal calculus. British Journal of the Philosophy of Science, Reprinted in Good, 1983
• Good Thinking : The Foundations of Probability and Its Applications. University of Minnesota Press, Minneapolis, Minnesota. 1983

Nelson Goodman

• Fact, Fiction and Forecast. University of London Press, London, first edition. 1954
• The Structure of Appearance. D. Reidel, Dordrecht, The Netherlands, third edition. 1977
• 예술의 언어들 : 기호이론을 향하여 (Languages of Art: An Approach a Theory of Symbols, 2nd ed.), 1976

G. Anthony Gorry

• Strategies for computer-aided diagnosis. Mathematical Biosciences, 1968
• Decision analysis as the basis for computer-aided management of acute renal failure. American Journal of Medicine, 1973

Stephen Jay Gould

• This view of life. Natural History, 1994

Susan L. Graham

• An improved context-free recognizer. ACM Transactions on Programming Languages and Systems, 1980

C. Jackson Grayson

• Decisions under uncertainty: Drilling decisions by oil and gas operators. Technical report, Division of Research, Harvard Business School, Boston. 1960

Cordell Green

• Application of Theorem~Proving to Problem Solving, in Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI-69), San Francisco: Morgan Kaufmann, 1969
• Theorem-Proving by Resolution as a Basis for Question-Answering Systems, in Meltzer, B., & Michie, D. (eds.), Machine Intelligence 4, Edinburgh: Edinburgh University Press, 1969

Richard D. Greenblatt

• The Greenblatt chess program. In Proceedings of the Fall Joint Computer Conference, 1967
• A LISP machine, 1980

Richard L. Gregory : papers (★)

• Eye and Brain: The Psychology of Seeing, New York: McGraw-Hill, 1966

Russell Greiner : publications

• Towards a formal analysis of EBL. In Proceedings of the Sixth International Machine Learning Workshop, Ithaca, NY. Morgan Kaufmann. 1989
• Predictive Models for Breast Cancer Susceptibility from Multiple Single Nucleotide Polymorphisms, Clinical Cancer Reseach
• Book Review: Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project, Charles Elkan and Russell Greiner, Artificial Intelligence, 61:1 (1993) 41--52.

Herbert Paul Grice

• Meaning. Philosophical Review, 1957, Reprinted in Steinberg & Jakobovits, 1971

Joseph E. Grimes : publications

• The Thread of Discourse. Moulton. 1975

W. Eric Grimson

• Object Recognition by Computer: The Role of Geometric Constraints, Cambridge, MA: MIT Press, 1990

Barbara Grosz

• Readings in Natural Language Processing, San Francisco: Morgan Kaufmann, 1986
• Attention, intentions, and the structure of discourse. Computational Linguistics, 1986
• "Team: An Experiment in the Design of Transportable Natural-Language Interfaces," Artificial Intelligence, 1987

Tom Gruber : publications

• Toward Principles for the Design of Ontologies Used for Knowledge Sharing, in Guarino, N., & Poli, R. (eds.), Formal Ontology in Conceptual Analysis and Knowledge Representation, Amsterdam: Kluwer Academic Publishers, 1997
• An ontology for engineering mathematics. Gruber, T. R., & Olsen, G. R, In J. Doyle, P. Torasso, & E. Sandewall (Eds.), Fourth International Conference on Principles of Knowledge Representation and Reasoning, Gustav Stresemann Institut, Bonn, Germany, Morgan Kaufmann. A well designed ontology, built to enable sharing and reuse of engineering models.

Jun Gu : publications

• Parallel Algorithms and Architectures for Very Fast AI Search, Ph.D. thesis, University of Utah, 1989

James R. Guard

• Semi-automated mathematics. Journal of the Association for Computing Machinery, 1969

Ramanathan V. Guha

• Cyc: A Midterm Report, AI Magazine, 1990
• Building Large Knowledge Based Systems: Representation and Inference in the Cyc Project, D.Lenat and R.V.Guha, Addison-Wesley, 1989.

Naresh Gupta

• On the Complexity of Blocks-World Planning, Artificial Intelligence, 1992

Adolfo Guzman Arenas : publications

• Decomposition of a Visual Scene into Three-Dimensional Bodies, Proc. Fall Joint Computer Conference, vol.33, 1968