AI - Bibliography : F

Ronald Fagin : papers

• Belief, Awareness, and Limited Reasoning, in Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), San Francisco: Morgan Kaufmann, 1985
• Reasoning about Knowledge, Cambridge, MA: MIT Press, 1995
• Reasoning about knowledge and probability, with Joseph Y. Halpern. J. ACM 41, 2, 1994

Scott E. Fahlman

• A planning system for robot construction tasks. Artificial Intelligence, 1974
• NETL: A System for Representing and Using Real-World Knowledge. MIT Press, Cambridge, Massachusetts. 1979

Nabil H. Farhat

• Optical implementation of the Hopfield model. Applied Optics, Reprinted in Anderson & Rosenfeld, 1988

Olivier Faugeras : publications

• Three-Dimensional Computer Vision : A Geometric Viewpoint, Cambridge, MA: MIT Press, 1993

Edward A .Feigenbaum

• The simulation of verbal learning behavior. Proceedings of the Western Joint Computer Conference, 1961, Reprinted in Feigenbaum & Feldman, 1963
• Computers and Thought. New York: McGraw-Hill, 1963
• On generality and problem solving: A case study using the DENDRAL program. In Meltzer, B. & Michie, D., editors, Machine Intelligence 6, Edinburgh University Press, Edinburgh, Scotland. 1971
• {The Rise of the Expert Company: How Visionary Compaines Are Using Artificial Intelligence to Achieve Higher Productivity and Profits, New York: Times Books, 1988
• The Japanese national fifth generation project: introduction, survey, and evaluation. Future Generation Computer Systems, 1993

Jacob Feldman : papers

• What is a visual object? Trends in Cognitive Sciences, 7(6), 252-255, 2003
• Bayesian contour integration. Perception & Psychophysics, 63(7), 1171-1182, 2001

Julien Feldman

• Decision theory and artificial intelligence I: Semantics-based region analyzer. Artificial Intelligence, 1974
• Decision theory and artificial intelligence II: The hungry monkey. Technical report, Computer Science Department, University of Rochester. 1977

William Feller

• An Introduction to Probability Theory and Applications, vol.1, New York: John Wiley & Sons, 1968

Richard Fikes

• {STRIPS}: A New Approach to the Application of Theorem Proving to Problem~Solving, Artificial Intelligence, 1971
• Learning and Executing Generalized Robot Plans," Artificial Intelligence, 1972
• STRIPS, a retrospective. Artificial Intelligence, 1993

J. N. Findlay

• Time: A treatment of some puzzles. Australasian Journal of Psychology and Philosophy, 1941

Tim Finin : publications

• KQML as an Agent Communication Language, in Bradshaw, J. (ed.), Software Agents, Cambridge, MA: MIT Press, 1997
• Swoogle: Searching for knowledge on the Semantic Web, Intelligent Systems Demonstration abstract, Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), AAAI Press, July 2005.

R. James Firby : publications

• An Architecture for Vision and Action, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), San Francisco: Morgan Kaufmann, 1995

Michael J. Fischer

• Propositional modal logic of programs. In Proceedings of the 9th ACM Symposium on the Theory of Computing, 1977

Ronald A. Fisher

• On the mathematical foundations of theoretical statistics. Philosophical Transactions of the Royal Society of London, Series A, 1922

Martin A. Fischler : publications

• Readings in Computer Vision : Issues, Problems, Principles, and Paradigms, San Francisco: Morgan Kaufmann, 1987

Robert Fleischmann : publications

• Whole-Genome Random Sequencing and Assembly of Haemophilus influenzae Rd, Science, 1995

Robert W. Floyd

• Algorithm 96: Ancestor. Communications of the Association for Computing Machinery, 1962
• Algorithm 97: Shortest path. Communications of the Association for Computing Machinery, 1962

Jerry Alan Fodor

• Searle on what only brains can do. Behavioral and Brain Sciences, Peer commentary on Searle, 1980
• The Modularity of Mind: An Essay on Faculty Psychology. MIT Press, Cambridge, Massachusetts. 1983

Jeffrey R. N. Forbes

• The BATmobile: Towards a Bayesian Automatic Taxi, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), San Francisco: Morgan Kaufmann, 1995
• Reinforcement Learning for Autonomous Vehicles, 1993

Kenneth Forbus

• The role of qualitative dynamics in naive physics. In Hobbs, J. R. & Moore, R. C., editors, Formal Theories of the Commonsense World, Ablex, Norwood, New Jersey. 1985
• Building Problem Solvers. MIT Press, Cambridge, Massachusetts. 1993

Charles L. Forgy

• RETE: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem, Artificial Intelligence, 1982

David Forsyth : publications

• Reflections on shading. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 1991
• Computer Vision : Modern Approach, Prentice Hall, 2003

Mark Fox

• Constraint-guided scheduling: a short history of research at CMU. Computers in Industry, 1990
• Job shop scheduling: an investigation in constraint-based reasoning. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), Vancouver, British Columbia. Morgan Kaufmann. 1981
• Isis: a knowledge-based system for factory scheduling. Expert Systems, 1984

Marcus Frean : publications

• The upstart algorithm: A method for constructing and training feedforward neural networks. Neural Computation, 1990
• Neural Networks: a replacement for Gaussian Processes? 2005

Gottlob Frege

• Begriffsschrift, a Formula Language Modelled upon That of Arithmetic, for Pure Thought, (1879), in van Heijenoort,~J. (ed.), From Frege to G"{o}del: A Source Book in Mathematical Logic, Cambridge, MA: Harvard University Press, 1967

R. M. Friedberg

• A learning machine: Part I. IBM Journal, 1958
• A learning machine: Part II. IBM Journal of Research and Development, 1959

Nir Friedman : publications

• Learning Belief Networks in the Presence of Missing Values and Hidden Variables, Proceedings of the Fourteenth International Conference on Machine Learning (ICML '97), San Francisco: Morgan Kaufmann, 1997
• Learning Bayesian Networks with Local Structure, in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence, San Francisco: Morgan Kaufmann, 1996
• Building Classifiers Using Bayesian Networks, Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), Menlo Park, CA: AAAI Press, 1996

LiMin Fu

• Neural Networks in Computer Intelligence, New York: McGraw-Hill, 1994

K.-S. Fu

• Grammatical inference: Introduction and survey-part I ii. IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-8(3):343-359. Reprinted from IEEE Trans. on Systems, Man, and Cybernetics, Vol. SMC-5, No. 1, January 1975.

Jean-Jacques Fuchs : papers

• PlanERS-1: An expert planning system for generating spacecraft mission plans. In First International Conference on Expert Planning Systems, Brighton, United Kingdom. Institute of Electrical Engineers. 1990

R. Fung

• Weighting and integrating evidence for stochastic simulation in Bayesian networks. In Proceedings UAI-89. 1989

Koichi Furukawa

• Summary of basic research activities of the FGCS project. In Fifth Generation Computer Systems 1992, volume 1, Tokyo. IOS Press. 1992

K. Furuta

• Attitude control of a triple inverted pendulum. International Journal of Control,1984