AI - Bibliography : M

Alan Mackworth : papers

• Interpreting pictures of polyhedral scenes. Artificial Intelligence, 4:121-137. .1973
• Computational Intelligence: A Logical Approach,: David Poole   Alan Mackworth   Randy Goebel, Oxford University Press, 1998

Pattie Maes  

• Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back, Cambridge, MA: MIT Press, 1990.
• Guest Editorial, Robotics and Autonomous Systems, 6:1-2, 1990. Also in Maes 1990a
• ALIVE: Artificial Life Interactive Video Environment. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), page 1506, Seattle, Washington. AAAI Press. 1994

David M. Magerman : publications

• Natural Language Parsing as Statistical Pattern Recognition, Ph.D. thesis, Department of Computer Science, Stanford University, 1993.

Sridhar Mahadevan : selected publication

• Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions, in Proceedings of the Ninth International Workshop on Machine Learning (ML92), pp.290-299, San Francisco: Morgan Kaufmann, 1992.
• Automatic Programming of Behavior-Based Robots Using Reinforcement Learning, Artificial Intelligence, 55(1-2):311-365, 1992.

Ambuj Mahanti

• A SIMD approach to parallel heuristic search. Artificial Intelligence, 60(2):243-282. 1993

Jitendra Malik : publicaitions

• Interpreting line drawings of curved objects. International Journal of Computer Vision, 1(1):73-103. 1987
• Recovering surface curvature and orientation from texture distortion: a least squares algorithm and sensitivity analysis. In Eklundh, J.-O., editor, Proceedings of the Third European Conf. on Computer Vision, pages 353-364, Stockholm. Springer-Verlag. Published as Lecture Notes in Computer Science 800. 1994

Udi Manber : publications

• Introduction to Algorithms -- A Creative Approach, Addison-Wesley, Reading, MA, April 1989 (eleventh printing, 1994)
• Combinatorial Pattern Matching 1992, Lecture Notes in Computer Science #644, Springer-Verlag, Berlin, Germany, 1992 (edited jointly with A. Apostolico, M. Crochemore, and Z. Galil).

Y. I. Manin

• A Course in Mathematical Logic. Springer-Verlag, Berlin. 1977

William C. Mann

• Relational propositions in discourse. Technical Report RR-83-115, Information Sciences Institute. 1983

Zohar Manna

• The Logical Basis for Computer Programming, Volume 1: Deductive Reasoning, Reading, MA: Addison-Wesley, 1985.
• The Logical Basis for Computer Programming, Volume 2: Deductive Systems, Reading, MA: Addison-Wesley, 1990.
• Special relations in automated deduction. Journal of the Association for Computing Machinery, 33(1):1-59.
• Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 18(8):674-704. 1992
• Toward automatic program synthesis. Communications of the Association for Computing Machinery, 14(3):151-165. 1971

M. Marchand

• A convergence theorem for sequential learning in two-layer perceptrons. Europhysics Letters, 11:487-492. 1990

Andrei Markop

• An example of statistical investigation in the text of ``Eugene Onegin'' illustrating coupling of "tests" in chains. Proceedings of the Academy of Sciences of St. Petersburg, 7.

David Marr

• Vision: A Computational Investigation into the Human Representation and Processing of Visual Information, New York: W. H. Freeman, 1982.
• "Theory of Edge Detection," Proc. Royal Soc. of London, Series B, Vol.207, pp.187-217, 1980.
• "A Computational Theory of Human Stereo Vision," Proceedings of the Royal Society London, B, 204:301-328, 1979.

T. Anthony Marsland : publications

• Computers, Chess, and Cognition. Springer-Verlag, Berlin. 1990
• Computer chess and search, in Encyclopedia of Artificial Intelligence, S. Shapiro (editor), J. Wiley & Sons, 2nd edition, 1992, 224-241.

A. Martelli

• Additive AND/OR Graphs, in Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73), pp.1-11, San Francisco: Morgan Kaufmann, 1973.
• Unification in linear time and space: A structured presentation. Internal Report B 76-16, Istituto di Elaborazione della Informazione, Pisa, Italy. 1976
• Optimizing decision trees through heuristically guided search. Communications of the Association for Computing Machinery, 21:1025-1039. 1978

C. Dianne Martin

• The myth of the awesome thinking machine. Communications of the Association for Computing Machinery, 36(4):120-133. 1993

James H. Martin : publications

• A Computational Model of Metaphor Interpretation. Academic Press. 1990
• Speech and Language Processing : An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition, Prentice-Hall, 2000

Brij Masand

• Classifying News Stories Using Memory Based Reasoning, in {Proceedings of ACM/SIGIR}, pp.59-65, 1992

S. Yu. Maslov

• An inverse method for establishing deducibility in classical predicate calculus. Doklady Akademii nauk SSSR, 159:17-20. 1964
• An inverse method for establishing deducibility of nonprenex formulas of the predicate calculus. Doklady Akademii nauk SSSR, 172:22-25. 1967
• Relationship between tactics of the inverse method and the resolution method. Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Consultants Bureau, New York-London, 16:69-73. 1971

Matthew Mason  

• Kicking the sensing habit. AI Magazine, 14(1):58-59. 1993

Maja Mataric' : publications

• A Distributed Model for Mobile Robot Environment Learning and Navigation, Technical Report No. AIM-TR-1228, MIT AI Lab, MIT, Cambridge, MA, 1990.
• Designing and Understanding Adaptive Group Behavior, Adaptive Behavior, 4(1):51-80, 1996.
• Studying the Role of Embodiment in Cognition, Cybernetics and Systems, 28(6):457-470, (Special Issue on Epistemological Aspects of Embodied AI), July 1997.

B. Mates

• Stoic Logic. University of California Press, Berkeley and Los Angeles. 1953

Michael L. Mauldin

• Chatterbots, Tinymuds, and the Turing Test: Entering the Loebner Prize Competition, in Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) pp.16-21, Menlo Park, CA: AAAI Press, 1994.

John T. Maxwell : publications

• The interface between phrasal and functional constraints. Computational Linguistics, 19(4):571-590. 1993

E. Mays

• Organizing knowledge in a complex financial domain. IEEE Expert, 2(3):61-70. 1987

Harley McAdams : publications

• Circuit Simulation of Genetic Networks, Science, 269:650-656, August 4, 1995.

David McAllester  

• An outlook on truth maintenance. AI Memo 551, MIT AI Laboratory, Cambridge, Massachusetts. 1980
• Conspiracy numbers for min-max search. Artificial Intelligence, 35(3):287-310. 1988
• Ontic: A Knowledge Representation System for Mathematics. MIT Press, Cambridge, Massachusetts. 1989
• "Systematic Nonlinear Planning," in Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pp.634-369, Menlo Park, CA: AAAI Press, 1991.

John McCarthy  

• Programs with Common Sense 1958
• Situations, actions, and causal laws. Memo 2, 1968
• Some Philosophical Problems from the Standpoint of Artificial Intelligence 1969
• Epistemological Problems in Artificial Intelligence 1977
• Ascribing Mental Qualities to Machines 1979.
• First-Order Theories of Individual Concepts and Propositions  1979
• Circumscription: A Form of Non-monotonic Reasoning 1980
• LISP---NOTES ON ITS PAST AND FUTURE---1980  1980
• Applications of Circumscription to Formalizing Commonsense Knowledge 1986
• AI as Sport (a Review of newborn 1996), Science, 276:1518-1519, June 6, 1997

James D. McCawley

• Everything That Linguists Have Always Wanted to Know About Logic But Were Ashamed to Ask. University of Chicago Press, Chicago, Illinois, second edition. 1993

James McClelland : Online Publication

• Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Volumes 1 and 2. Cambridge, MA: MIT Press. 1986
• An Interactive Activation Model of Context Effects in Letter Perception, Part I: An Account of Basic Findings, Psychological Review, 88:375-407, 1981.
• An Interactive Activation Model of Context Effects in Letter Perception, Part II: The Contextual Enhancement Effect and Some Tests and Extensions of the Model, Psychological Review, 89:60-84, 1982.

Pamela McCorduck

• Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence. W. H. Freeman, New York. 1979

Warren McCulloch

• A Logical Calculus of the Ideas Immanent in Nervous Activity, Bulletin of Math. Biophysics, 5:115-133, 1943.

William McCune : publications

• Automated Discovery of New Axiomatizations of the Left Group and Right Group Calculi," Automated Reasoning, 9(1):1-24, 1992
• OTTER 3.0 Reference Manual and Guide, Technical Report ANL-94/6, Argonne National Laboratory, Argonne, IL, 1994
• Automated Deduction in Equational Logic and Cubic Curves : W. McCune and R. Padmanabhan, volume 1095 of Lecture Notes in Computer Science (AI subseries). Springer-Verlag, Berlin, 1996

Drew Mcdermott : publications   old papers

• Artificial intelligence meets natural stupidity. SIGART Newsletter, 57. 1976
• Planning and acting. Cognitive Science, 2(2):71-109. 1978
• Tarskian semantics, or, no notation without denotation! Cognitive Science, 2(3). 1978
• Non-monotonic Logic I, Artificial Intelligence, 13(1-2):41-72, 1980..
• A critique of pure reason. Computational Intelligence, 3(3):151-237. 1987
• Regression planning. International Journal of Intelligent Systems, 6:357-416. 1991
• Mind and Mechanism, MIT Press, 2001

J. McDermott

• "R1: A Rule-Based Configurer of Computer Systems," Artificial Intelligence, 19(1):39-88, 1982

David D. McDonald

• Natural Language Generation Systems, New York: Springer-Verlag, 1988

David McFarland

• The Oxford Companion to Animal Behavior, Oxford: Oxford University Press, 1987
• Intelligent Behavior in Animals and Robots, Cambridge, MA: MIT Press, 1993

Kathleen McKeown

• Language Generation and Explanation : in Annual Review of Computer Science, vol.2, Palo Alto, CA: Annual Reviews, 1987

Carver Mead

• Analog VLSI and Neural Systems. Addison-Wesley, Reading, Massachusetts. 1989

Nimrod Megiddo : publications

• On play by means of computing machines. In Proc. 1st Conf. on Theor. Aspects of Reasoning About Knowledge, pages 259-274. 1986
• Essays in Game Theory in Honor of Michael Maschler : (edited), Springer–Verlag, New York, 1994

Igor A. Mel'cuk : publications

• A formal lexicon in the meaning-text theory (or how to do lexica with words). Computational Linguistics, 13(3-4):261-275. 1988
• Levels of Dependency in Linguistic Description: Concepts and Problems : In V. Agel, L. Eichinnger, H.-W. Eroms, P. Hellwig, H. J. Herringer, H. Lobin (eds): Dependency and Valency. An International Handbook of Contemporary Research, vol. 1, Berlin - New York, W. de Gruyter, 188-229

L. Mérõ

• A Heuristic Search Algorithm with Modifiable Estimate : Artificial Intelligence, 23:13-27, 1984

Nicholas Metropolis

• Equations of state calculations by fast computing machines. Journal of Chemical Physics, 21:1087-1091. 1953

Marc Mézard

• Learning in feedforward layered networks: The tiling algorithm. Journal of Physics, 22:2191-2204. 1989
• Frustrated Systems in Physics and Computation (Draft, PDF version) : 2006

Zbigniew Michalewicz : papers

• 유전자 알고리즘 (Genetic Algorithms + Data Structures = Evolution Programs) : Berlin: Springer-Verlag, 1992.
• Evolutionary Computation Techniques for Nonlinear Programming Problems, International Transactions in Operational Research, Vol.1, No.2, 1994, pp.223-240.
• A Perspective on Evolutionary Computation, Proceedings of the Workshop on Evolutionary Computation, November 21-22, 1994, University of New England, Armidale, Australia, pp. 76-93.
• Heuristic Methods for Evolutionary Computation Techniques, Journal of Heuristics, Vol.1, No.2, 1995, pp.177-206.
• Handbook of Evolutionary Computation : edited with Thomas Baeck and David B. Fogel, Oxford University Press and Institute of Physics, London, 1997
• Evolutionary Computation: Basic Algorithms and Operators : edited with Thomas Baeck and David B. Fogel, Institute of Physics, London, 2000
• How to Solve It : Modern Heuristics, 2nd edition, 2004

Ryszard S. Michalski : publications

• On the Quasi-Minimal Solution o the General Covering Problem : Proc. of the Fifth International Symposium on Information Processing (FCIP 69), Vol. A3, pp.125-128, (Switching Circuits), Bled, Yugoslavia, 1969.
• Machine Learning: An Artificial Intelligence Approach, volume 1 : Michalski, R. S., Carbonell, T. J. and Mitchell, T. M. (Eds.), Morgan Kaufmann, San Mateo, California. 1983
• Machine Learning: An Artificial Intelligence Approach, volume 2 : Michalski, R. S., Carbonell, T. J. and Mitchell, T. M. (Eds.), Morgan Kaufmann, San Mateo, California. 1986

Donald Michie : pulblication

• Game-playing and game-learning automata. In Fox, L., editor, Advances in Programming and Non-Numerical Computation, pages 183-200. Pergamon, New York. 1966
• Machine intelligence at Edinburgh. Management Informatics, 2(1):7-12. 1972
• The state of the art in machine learning. In Introductory Readings in Expert Systems, pages 209-229. Gordon and Breach, New York. 1982
• Current developments in expert systems. In Proc. 2nd Australian Conference on Applications of Expert Systems, pages 163-182, Sydney, Australia. 1986
• BOXES: An experiment in adaptive control. In Dale, E. & Michie, D., editors, Machine Intelligence 2, pages 125-133. Elsevier/North-Holland, Amsterdam, London, New York. 1968
• Machine Learning, Neural and Statistical Classification. Ellis Horwood, Chichester, England. 1994

F. A. Miles

• Excitable Cells. William Heinemann Medical Books, London. 1969

John Stuart Mill

• A System of Logic, Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence, and Methods of Scientific Investigation. J. W. Parker, London. 1843
• Utilitarianism. Parker, Son and Bourn, London. 1863

A. C. Miller

• Development of automated aids for decision analysis. Technical report, SRI International, Menlo Park, California. 1976

Geoffrey F. Miller : publications

• Designing neural networks using genetic algorithms. In Schaffer, J. D., editor, Proceedings of the Third International Conference on Genetic Algorithms, pages 379-384, Arlington, Virginia. Morgan Kaufmann. 1989
• The mating mind: How sexual choice shaped the evolution of human nature. New York: Doubleday. 2000

R. A. Miller

• INTERNIST-1: An Experimental Computer-Based Diagnostic Consultant for General Internal Medicine, New England Journal of Medicine, 307:468-476, 1982

Alan Alexander Milne

• Winnie-the-Pooh : Methuen, London. With decorations by Ernest H. Shepard. 1926

Jack Minker

• Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, San Mateo, California. 1988
• Logic and Databases: Past, Present, and Future, AI Magazine, 18(3):21-47, Fall 1997.
• Logic-Based Artificial Intelligence, Kluwer Academic Press, 606pp. 2000.

Jay I. Minnix

• Multistage Self-Organizing Neural Network with Biologically Inspired Preprocessing Features for Rotation and Scale Invariant Pattern Recognition, Proc. of the IEEE, pp.1605-1610, 1991.

Marvin Minsky  

• Neural nets and the brain-model problem. PhD thesis, Princeton University. 1954
• Computation: Finite and Infinite Machines, Englewood Cliffs, NJ: Prentice Hall, 1967
• Semantic Information Processing. MIT Press, Cambridge, Massachusetts. 1968
• Perceptrons: An Introduction to Computational Geometry. MIT Press, Cambridge, Massachusetts, first edition. 1969
• A Framework for Representing Knowledge : 1974
• Perceptrons: An Introduction to Computational Geometry. MIT Press, Cambridge, Massachusetts, expanded edition. 1988

Steven Minton : Publication

• Constraint-based generalization: Learning game-playing plans from single examples. In Proceedings of the National Conference on Artificial Intelligence (AAAI-84), pages 251-254, Austin, TX. Morgan Kaufmann. 1984
• Quantitative results concerning the utility of explanation- based learning. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), St. Paul, Minnesota. Morgan Kaufmann. 1988
• Learning Search Control Knowledge: An Explanation-Based Approach, Boston: Kluwer Academic Publishers, 1988.
• "Explanation-Based Learning: A Problem~Solving Perspective," Artificial Intelligence, 40(1-3):63-118, 1989.
• "Quantitative Results Concerning the Utility of Explanation-Based Learning," Artificial Intelligence, 42(2-3):363-391, 1990.
• Machine Learning Methods for Planning, San Francisco: Morgan Kaufmann, 1993
• Integrating Heuristics for Constraint Satisfaction Problems: A Case Study 1993
• "Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using A Heuristic Repair Method," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.17-24, Menlo Park, CA: AAAI Press, 1990.
• Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems 1992
• Total-Order and Partial-Order Planning: A Comparative Analysis 1994

Tom Mitchell : Selected Publication

• Explanation-based generalization: A unifying view. Machine Learning, 1:47-80. 1986
• Version spaces: a candidate elimination approach to rule learning. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), pages 305-310, Cambridge, Massachusetts. IJCAII. 1977
• The need for biases in learning generalizations. Technical Report CBM-TR-117, Department of Computer Science, Rutgers University, New Brunswick, New Jersey. 1982
• Generalization as search. Artificial Intelligence, 18(2):203-226. 1982
• Becoming increasingly reactive (mobile robots). In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), volume 2, pages 1051-1058, Boston, Massachusetts. MIT Press. 1990
• Learning by experimentation: acquiring and refining problem-solving heuristics. In Michalski, R. S., Carbonell, J. G., & Mitchell, T. M., editors, Machine Learning: An Artificial Intelligence Approach, pages 163-190. Morgan Kaufmann, San Mateo, California. 1983
• {Machine Learning}, New York: McGraw-Hill, 1997.

Melanie Mitchell : Publication

• 유전자 알고리즘 입문 (An Introduction to Genetic Algorithms) : Cambridge, MA: MIT Press, 1996

George E. Monahan : publications

• A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms, Management Science, 28:1-16, January 1982.
• Management Decision Making: Spreadsheet Modeling, Analysis, and Applications, Cambridge University Press, Cambridge, England, 2000.

Richard Montague

• English as a formal language. In Linguaggi nella Società e nella Tecnica, pages 189-224. Edizioni di Comunità, Milan. Reprinted in Thomason, 1974pp. 188-221.
• The proper treatment of quantification in ordinary English. In Hintikka, K. J. J., Moravcsik, J. M. E., & Suppes, P., editors, . D. Reidel, Dordrecht, The Netherlands.

P. Read Montague : publications

• Bee Foraging in Uncertain Environments Using Predictive Hebbian Learning, Nature 377:725-728, 1995
• Computational roles for dopamine in behavioural control. Nature 431:760-767. 2004

E. F. Moore

• The Shortest Path through a Maze, in {Proceedings of an International Symposium on the Theory of Switching, Part II}, pp.285-292, Cambridge, MA: Harvard University Press, 1959.

Andrew Moore

• Prioritized Sweeping-Reinforcement Learning with Less Data and Less Time, Machine Learning, 13:103-130, 1993

J. Moore

• How can Merlin understand? In Gregg, L., editor, Knowledge and Cognition. Lawrence Erlbaum Associates, Potomac, Maryland. 1973

Robert C. Moore

• Reasoning about knowledge and action. Artificial Intelligence Center Technical Note 191, SRI International, Menlo Park, California. 1980
• Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence, 25(1):75-94, 1985.
• A Formal Theory of Knowledge and Action, in Hobbs, J., & Moore, R. (eds.), Formal Theories of the Commonsense World, pp.319-358, Norwood, NJ: Ablex, 1985.
• Autoepistemic Logic Revisited, Artificial Intelligence, 59(1-2):27-30, 1993.

Hans Moravec : Publication

• Mind Children: The Future of Robot and Human Intelligence   1988

Leora Morgenstern : publications

• Knowledge preconditions for actions and plans. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 867-874, Milan, Italy. Morgan Kaufmann. 1987
• Knowledge and the Frame Problem, International Journal of Expert Systems, 3(4), 1991.

P. Morrison

• Charles Babbage and His Calculating Engines: Selected Writings by Charles Babbage and Others. Dover, New York. 1961

Jack Mostow : publications

• Discovering Admissible Heuristics by Abstraction and Optimizing: A Transformational Approach, in Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pp.701-707, San Francisco: Morgan Kaufmann, 1989.

T. S. Motzkin

• The relaxation method for linear inequalities. Canadian Journal of Mathematics, 6(3):393-404. 1954

Alexander P. D. Mourelatos : publications

• Events, processes, and states. Linguistics and Philosophy, 2:415-434.
• The Route of Parmenides: A Study of Word, Image, and Argument in the Fragments, New Haven and London, Yale University Press, 1970

J. Moussouris

• CHEOPS: A chess-oriented processing system. In Hayes, J. E., Michie, D., & Mikulich, L. I., editors, Machine Intelligence 9, pages 351-360. Ellis Horwood, Chichester, England. 1979

Stephen H. Muggleton : Publication

• Inductive logic programming 1991
• Inductive Logic Programming, New York: Academic Press, 1992.
• "Machine Invention of First-Order Predicates by Inverting Resolution," in Laird, J. (ed.), in Proceedings of the Fifth International Conference on Machine Learning, pp.339ff, San Francisco: Morgan Kaufmann, 1988.
• Efficient induction of logic programs 1990
• "Protein Secondary Structure Prediction Using Logic-Based Machine Learning," Protein Engineering, 5(7):647-657, 1992.
• Inductive Logic Programming: Theory and Methods 1994

Joseph L. Mundy

• Geometric Invariance in Computer Vision. MIT Press, Cambridge, Massachusetts. 1992

Karen L. Myers : publications

• Hybrid Reasoning Using Universal Attachment, Artificial Intelligence, (67)2:329-375, 1994.