AI - Bibliography : B

Fahiem Bacchus : papers

• Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, Massachusetts. 1990
• The Expected Value of Hierarchical Problem-solving, in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), Melno Park, CA: AAAI Press, 1992
• From statistics to beliefs. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), San Jose, California. AAAI Press. 1992
• Algorithms and Complexity Results for #Sat and Bayesian Inference, F. Bacchus, S. Dalmao, and T. Pitassi FOCS 2003 340-351, 2003.

Emmon Bach : papers

• The algebra of events. Linguistics and Philosophy, 1986

P. G. H. Bachmann

• Die analytische Zahlentheorie. B. G. Teubner, Leipzig. 1894

Michael E. Bain

• Non-monotonic learning. In Hayes, J. E., Michie, D., & Tyugu, E., editors, Machine Intelligence 12, Oxford University Press, Oxford. 1991

Ruzena Bajcsy

• Active perception. Proceedings of the IEEE, 1988
• Texture gradient as a depth cue. Computer Graphics and Image Processing, 1976

Carl L. Baker

• English Syntax. MIT Press, Cambridge, Massachusetts. 1989

J. K. Baker

• The Dragon system-an overview. IEEE Transactions on Acoustics, Speech, and Signal Processing, 1975

Andrew B. Baker

• Nonmonotonic Reasoning in the Framework of Situation Calculus, Artificial Intelligence, 1991

B. W. Ballard

• The *-minimax search procedure for trees containing chance nodes. Artificial Intelligence, 1983

Dana H. Ballard : publications

• Animate Vision, Artificial Intelligence, 1991
• Computer Vision, Englewood Cliffs, NJ: Prentice Hall, 1982 : Table of Contents

Yehoshua Bar-Hillel

• Indexical expressions. Mind, 1954
• The present status of automatic translation of languages. In Alt, F. L., editor, Advances in Computers. Academic Press, New York. 1960
• Pragmatics of Natural Languages (Editor), 1975

Yaakov Bar-Shalom

• Tracking and Data Association. Academic Press, New York. 1988

Avron Barr : publications

• The Handbook of Artificial Intelligence, volume 1~4. Addison-Wesley, Reading, Massachusetts. 1982~1989
• Systems That Know That They Don't Understand. Avron Barr, Presented at Cognitiva 85: Artificial Intelligence and Neuroscience, Centre d'Etudes des Systemes et des Technologies Avancees, Paris, June 1985.
• Expert Systems: A Technology Before Its Time, Avron Barr & Shirley Tessler, AI Expert, May 1995.

A. Barrett

• UCPOP user's manual (version 2.0). Technical Report 93-09-06, Department of Computer Science and Engineering, University of Washington. 1993

R. Barrett

• POP-11: A Practical Language for Artificial Intelligence. Ellis Horwood, Chichester, England. 1985

D. R. Barstow

• Knowledge-Based Program Construction. Elsevier/North-Holland, Amsterdam, London, New York. 1979

Andrew G. Barto

• Real-time learning and control using asynchronous dynamic programming. Technical Report TR-91-57, University of Massachusetts Computer Science Department, Amherst, Massachusetts. 1991
• Associative search network: a reinforcement learning associative memory. Biological Cybernetics, 1981
• Learning to Act Using Real-Time Dynamic Programming, Artificial Intelligence, 1995

Jon Barwise

• The Language of First-Order Logic: Including the Macintosh Program~Tarski's World 4.0, Center for the Study of Language and Information (CSLI), Stanford, California, third revised and expanded edition, 1993
• Everyday reasoning and logical inference. Behavioral and Brain Sciences, 1993
• Language, Proof and Logic : Barwise, K. J. & Etchemendy, J. (2002)

Joseph L. Bates

• The Role of Emotion in Believable Agents, Communications of the ACM, 1994
• Integrating Reactivity, Goals, and Emotion in a Broad Agent, Technical Report CMU-CS-92-142, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May 1992. (Also appeared in the Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, Bloomington, Indiana, July 1992.)

L. E. Baum

• Statistical inference for probabilistic functions of finite state Markov chains. Annals of Mathematical Statistics, 1966

Thomas Bayes

• An Essay Towards Solving a Problem in the Doctrine of Chances, Phil. Trans., 1763

D. F. Beal

• An analysis of minimax. In Clarke, M. R. B., editor, Advances in Computer Chess 2, Edinburgh University Press, Edinburgh, Scotland. 1980

Howard W. Beck

• Classification as a query processing technique in the CANDIDE semantic data model. In Proceedings Fifth International Conference on Data Engineering, Los Angeles, California. IEEE Computer Society Press. 1989

Randall D. Beer : publications

• A Dynamical Systems Perspective on Agent-Environment Interaction, Artificial Intelligence, 1995
• A Biological Perspective on Autonomous Agent Design, Robotics and Autonomous Systems, 1990. Also in Maes 1990
• Biological Neural Networks in Invertebrate Neuroethology and Robotics : Beer, R.D., Ritzmann, R.E. and McKenna, T., Eds. Academic Press. 1993
• Intelligence as Adaptive Behavior: An Experiment in Computational Neuroethology : Academic Press. 1990

Peter N. Belhumeur

• A binocular stereo algorithm for reconstructing sloping, creased, and broken surfaces in the presence of half-occlusion. In Proceedings of the 4th International Conference on Computer Vision, Berlin. IEEE Computer Society Press. 1993
• In Search of Illumination Invariants : Int. Journal of Computer Vision, submitted. (with H. Chen and D. jacobs)

C. Bell

• Using temporal constraints to restrict search in a planner. In Proceedings of the Third Alvey IKBS SIG Workshop, Sunningdale, Oxfordshire. 1985

J. L. Bell

• A Course in Mathematical Logic. Elsevier/North-Holland, Amsterdam, London, New York. 1977

Richard E. Bellman

• Dynamic Programming. Princeton University Press, Princeton, New Jersey. 1957
• An Introduction to Artificial Intelligence: Can Computers Think?  Boyd & Fraser Publishing Company, San Francisco. 1978
• Applied Dynamic Programming. Princeton University Press, Princeton, New Jersey. 1962

Scott S. Benson

• Learning Action Models for Reactive Autonomous Agents, Stanford University Computer Science Department Ph.D.dissertation, Report No. STAN-CS-TR-97-1589, Stanford, CA 94305, 1997
• "Reacting, Planning and Learning in an Autonomous Agent," in Furukawa, K., Michie, D., & Muggleton, S. (eds.), {Machine Intelligence 14}, Oxford: The Clarendon Press, 1995

Elwyn Berlekamp

• Winning Ways, For Your Mathematical Plays. Academic Press, New York. 1982

H. J. Berliner

• "The B^* Tree-Search Algorithm: A Best-First Proof~Procedure," Artificial Intelligence, 1979
• BKG-A program that plays backgammon. Technical report, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania. 1977
• Backgammon computer program beats world champion. Artificial Intelligence, 1980
• Computer backgammon. Scientific American, 1980
• Hitech chess: From master to senior master with no hardware change. In MIV-89: Proceedings of the International Workshop on Industrial Applications of Machine Intelligence and Vision (Seiken Symposium), 1989
• Pattern knowledge and search: The SUPREM architecture. Artificial Intelligence, 1989
• A quantitative study of search methods and the effect of constraint satisfaction. Technical Report CMU-CS-84-187, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania. 1984

Berliner Schachgesellschaft

• Berliner Schachgesellschaft. Vol. 3. 1848

Daniel Bernoulli

• Specimen theoriae novae de mensura sortis. Proceedings of the St. Petersburg Imperial Academy of Sciences, 5. Translated into English as Bernoulli, 1954. 1738
• Exposition of a new theory of the measurement of risk. Econometrica, 22:123-136. Translation of Bernoulli, 1738 by Louise Sommer.

A. Bernstein

• Computer vs. chess player. Scientific American, 1958
• A chess playing program for the IBM 704. In Proceedings of the 1958 Western Joint Computer Conference, Los Angeles. 1958

Donald A. Berry

• Bandit Problems: Sequential Allocation of Experiments. Chapman and Hall, London. 1985
• Meta-Analysis in Medicine and Health Policy : Stangl DK, Berry DA. New York, NY: Marcel Dekker, 2000

Dimitri P. Bertsekas : papers

• Dynamic Programming: Deterministic and Stochastic Models. Prentice-Hall, Englewood Cliffs, New Jersey. 1987
• Dynamic Programming and Optimal Control : Athena Scientific, 1995
• Neuro-Dynamic Programming : D. P. Bertsekas and J. N. Tsitsiklis, Athena Scientific, 1996
• Nonlinear Programming : Athena Scientific, 1995; 2nd edition published in 1999.

Evert W. Beth

• Semantic entailment and formal derivability. Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N.R., 1955

Bir Bhanu : publications

• Genetic Learning for Adaptive Image Segmentation, Boston: Kluwer Academic Publishers, 1994
• Computer Vision Beyond the Visible Spectrum : B. Bhanu and I. Pavlidis, (Eds.) Springer 2004

Wolfgang Bibel

• On matrices with connections. Journal of the Association for Computing Machinery, 1981
• A deductive solution for plan generation. New Generation Computing, 1986

Thomas O. Binford

• Survey of Model-Based Image Analysis Systems, The International Journal of Robotics Research, 1982
• Generalized Cylinder Representation, in Shapiro, S. C. (ed.), Encyclopedia of Artificial Intelligence, pp.321-323, New York: John Wiley & Sons, 1987. (This article is based on an unpublished 1971 paper by Binford entitled "Visual Perception by Computer.")

Lawrence A. Birnbaum

• Conceptual analysis of natural language. In Schank, R. & Riesbeck, C., editors, Inside Computer Understanding. Lawrence Erlbaum. 1981

John Ivan Biro

• Mind, Brain and Function: Essays in the Philosophy of Mind : University of Oklahoma Press, Norman, Oklahoma. 1982
• Hume's new science of the mind : The Cambridge Hume Companion, 1995.

Graham M. Birtwistle

• Simula Begin. Studentliteratur (Lund) and Auerbach, New York. 1973

James R. Bitner

• Backtrack programming techniques. Communications of the Association for Computing Machinery, 1975

Ezra Black

• Towards history-based grammars: using richer models for probabilistic parsing. In Marcus, M., editor, Fifth DARPA Workshop on Speech and Natural Language, Arden Conference Center, Harriman, New York. 1992

Woody Bledsoe

• Non-Resolution Theorem~Proving, Artificial Intelligence, 1977

Ned Block : online papers

• Holism, Mental and Semantic : in The Routledge Encyclopedia of Philosophy, 1998
• Semantics, Conceptual Role : in The Routledge Encyclopedia of Philosophy, 1998
• What is Functionalism? : a revised version of the entry on functionalism in The Encyclopedia of Philosophy Supplement, Macmillan, 1996
• The Mind as the Software of the Brain : An Invitation to Cognitive Science, edited by D. Osherson, L. Gleitman, S. Kosslyn, E. Smith and S. Sternberg, MIT Press, 1995
• Mental Pictures and Cognitive Science : 번역 : 파께비
•  The Nature of Consciousness (Cambridge: MIT Press, 1997)

Paul Bloom : publications

• Language Acquisition: Core Readings :   MIT Press. 1994
• How Children Learn the Meanings of Words. Cambridge : MA. MIT Press. 2000
• Can a dog learn a word? : Science, 304, 1605-1606. 2004

Avrim Blum : publication

• Fast Planning through Planning Graph Analysis, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), San Francisco: Morgan Kaufmann, 1995
• Training a 3-node neural network is NP-complete. Neural Networks, 1989

Manuel Blum : research

• CAPTCHA: Using Hard AI Problems for Security : Luis von Ahn, Manuel Blum, Nicholas J. Hopper, John Langford. In Eurocrypt 2003
• Telling Humans and Computers Apart (Automatically) (with Luis von Ahn, John Langford ). 2002. CMU Tech Report

Bruce M. Blumberg : papers

• Old Tricks, New Dogs: Ethology and Interactive Creatures : Ph.D. Dissertation, MIT Media Lab, Massachusetts Institute of Technology, 1996
• No Bad Dogs: Ethological Lessons for Learning. In: From Animals To Animats : Blumberg, B., P. Todd and P. Maes. Proceedings of the Fourth International Conference on the Simulation of Adaptive Behavior, September 1996, MIT Press. Cambridge Ma. 1996

Anselm Blumer

• Learnability and the Vapnik-Chervonenkis dimension. Journal of the Association for Computing Machinery, 1989
• Occam's razor. In Shavlik, J. W. & Dietterich, T. G., editors, Readings in Machine Learning, Morgan Kaufmann. 1990

Raymond Board

• On the necessity of Occam algorithms. Theoretical Computer Science, 1992

Daniel G.Bobrow

• Natural language input for a computer problem solving system. In Minsky, M. L., editor, Semantic Information Processing, MIT Press, Cambridge, Massachusetts. 1967
• New programming languages for artificial intelligence research. Computing Surveys, 1974
• "Expert Systems: Perils and Promise," Communications of the ACM, 1986

Margaret Boden

• Artificial Intelligence and Natural Man. Basic Books, New York. 1977
• The Philosophy of Artificial Intelligence. Oxford University Press, Oxford. 1990

Alan Bond : publications

• Machine Intelligence. State of the Art Report : Pergamon-Infotech, Oxford, 1981
• Readings in Distributed Artificial Intelligence : San Francisco: Morgan Kaufmann, 1988
• Socially Intelligent Agents: Creating relationships with computers and robots : Kluwer Academic Publishers, Norwell, Massachusetts, 2002

George Boole

• An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities, New York: Dover Publications, 1854
• The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning. Macmillan, Barclay, and Macmillan, Cambridge. 1847

George S. Boolos

• On "seeing" the truth of the Gödel sentence. Behavioral and Brain Sciences, . Peer commentary on Penrose, 1990
• 계산가능성과 논리 (Computability and Logic) : Cambridge University Press, Cambridge, third edition. 1989

Egon Börger : papers

• Computability, Complexity, Logic : Amsterdam: North-Holland, 1989

Alex Borgida

• CLASIC: A Structural Data Model for Objects, SIGMOD Record : 1989
• A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic : with P. Patel-Schneider, JAIR 1994

Bernadette Bouchon-Meunier

• Fuzzy Logic and Soft Computing : Bouchon-Meunier, B., Yager, R. R. and Zadeh, L. A., World Scientific: Singapore, 1995

Robert Boyer : Publications

• Locking: a restriction of resolution. PhD thesis, University of Texas, Austin, Texas. 1971
• The sharing of structure in theorem-proving programs. In Meltzer, B. & Michie, D., editors, Machine Intelligence 7, Edinburgh University Press, Edinburgh, Scotland. 1972
• A Computational Logic Handbook, with J S. Moore. Academic Press, London, 1998. Second Edition
• Proof checking the RSA public key encryption algorithm. American Mathematical Monthly, 1984

Ronald Brachman

• On the epistemological status of semantic networks. In Findler, N. V., editor, Associative Networks: Representation and Use of Knowledge by Computers, Academic Press, New York. 1979
• Krypton: A functional approach to knowledge representation. Computer, 1983
• Readings in Knowledge Representation, San Francisco : Morgan Kaufmann, 1985
• An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON, in Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), San Francisco: Morgan Kaufmann, 1985

A. E. Brain

• Graphical Data Processing Research Study and Experimental Investigation, SRI International, Menlo Park, CA, June 1962 and September 1962

Valentino Braitenberg

• Vehicles : Experiments in Synthetic Psychology : Cambridge, MA: MIT Press, 1984

John Bransford

• Consideration of some problems in comprehension. In Chase, W. G., editor, Visual Information Processing. Academic Press. 1973

Ivan Bratko

• Prolog Programming for Artificial Intelligence. Addison-Wesley, Reading, Massachusetts, first edition. 1986
• PROLOG Programming for Artificial Intelligence, second edition, Reading, MA: Addison-Wesley, 1990
• "An Advice Program for a Complex Chess Programming Task," Computer Journal, 1980

Michael E. Bratman

• Intention, Plans, and Practical Reason. Harvard University Press, Cambridge, Massachusetts. 1987
• Planning and the stability of intention. Minds and Machines, 1992

Scott B. Brave : projects

• The Evolution of Memory and Mental Models Using Genetic Programming : in Koza, J., et al (eds.), Genetic Programming 1996: Proceedings of the First Annual Conference}, Stanford University, July 28-31, 1996, Cambridge, MA: MIT Press, 1996.
• Emotion in human-computer interaction : Brave, S., Nass, C. In J. Jacko & A. Sears (Eds.), The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging Applications (chap. 4).  Hillsdale, NJ: Lawrence Erlbaum Associates, 2002

Leo Breiman

• Classification and Regression Trees, Belmont, CA: Wadsworth, 1984
• Probability and Stochastic Processes with a View Toward Applications

Daniel Brélaz

• New methods to color the vertices of a graph. Communications of the Association for Computing Machinery, 1979

Joan Bresnan : publications

• The Mental Representation of Grammatical Relations. MIT Press, Cambridge, Massachusetts. 1982

Gerhard Brewka

• Nonmonotonic Reasoning: An Overview, CSLI Lecture Notes, No. 73, Center for the Study of Language and Information, Stanford, CA: Stanford University, 1997

Rick Briggs

• Knowledge Representation in Sanskrit and Artificial Intelligence : AI Magazine, 1985

Frederick P. Brooks Jr

• The Mythical Man-Month: Essays on Software Engineering : 1975
• No Silver Bullet: Essence and Accidents of Software Engineering : 1987, reprinted in the second edition of The Mythical Man-Month.

Rodney Brooks

Symbolic Reasoning among 3-D Models and 2-D Images : Artificial Intelligence, 1981
A Robust Layered Control System for a Mobile Robot : IEEE Journal of Robotics and Automation, March 1986
Engineering approach to building complete, intelligent beings : Proceedings of the SPIE-The International Society for Optical Engineering, 1989
• Elephants Don't Play Chess : Robotics and Autonomous Systems, 1990
Intelligence without Representation : Artificial Intelligence, 1991
• Intelligence Without Reason : in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), San Francisco: Morgan Kaufmann, 1991
• Real Robots, Real Learning Problems : in Connell, J., & Mahadevan, S. (eds.), Robot Learning, Boston: Kluwer Academic Publishers, 1993

J. S. Brown

• Multiple representations of knowledge for tutorial reasoning. In Bobrow, D. G. & Collins, A., editors, Representation and Understanding: Studies in Cognitive Science. Academic Press, New York. 1975

Lee Brownston

• Programming Expert Systems in OPS5, Reading, MA: Addison-Wesley, 1985
• Review of The Media Lab : Lee S. Brownston, AI Magazine 11(1): Spring, 1990

A. L. Brudno

• Bounds and valuations for shortening the scanning of variations. Problems of Cybernetics, 1963

Arthur Bryson

• Applied Optimal Control, New York: Blaisdell, 1969

Bruce Buchanan

• Heuristic DENDRAL: a program for generating explanatory hypotheses in organic chemistry. In Meltzer, B., Michie, D., & Swann, M., editors, Machine Intelligence 4, Edinburgh University Press, Edinburgh, Scotland. 1969
• Model-directed learning of production rules. In Waterman, D. A. & Hayes-Roth, F., editors, Pattern-Directed Inference Systems, Academic Press, New York. 1978
• Models of learning systems. In Encyclopedia of Computer Science and Technology, volume 11. 1978
• Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Reading, MA: Addison-Wesley, 1984

Justus Buchler

• Philosophical Writings of Peirce. Dover, New York. 1955

Alan Bundy

• The Computer Modelling of Mathematical Reasoning. Academic Press, New York. 1983

Harry C. Bunt

• The formal representation of (quasi-) continuous concepts. In Hobbs, J. R. & Moore, R. C., editors, Formal Theories of the Commonsense World, Ablex, Norwood, New Jersey. 1985

Rod M. Burstall

• Program proving as hand simulation with a little induction. In Information Processing '74, Elsevier/North-Holland, Amsterdam, London, New York. 1974
• A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 1977

Tom Bylander : publication

• Complexity results for serial decomposability. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), San Jose, California. AAAI Press. 1992
• An Average Case Analysis of Planning, in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), Menlo Park, CA: AAAI Press, 1993
• The Computational Complexity of Propositional STRIPS Planning, Artificial Intelligence, 1994