AI - Bibliography
: P
Robert Paige
: papers
- Mechanical translation of set theoretic
problem specifications into efficient RAM code-a case study. Journal of
Symbolic Computation, 1987
Andrew J. Palay
- Searching with Probabilities. Pitman, London.
1985
G. Palmieri
- Automatic probabilistic
programmer/analyzer for pattern recognition. Methodos, 1960
Christos H. Papadimitriou
: publications
- On complexity as bounded
rationality. In STOC.
1994
- Computational Complexity, Addison Wesley, 1994
Vilfredo Pareto
D. B. Parker
- Learning logic. Technical Report TR-47, Center for
Computational Research in Economics and Management Science, Massachusetts
Institute of Technology, Cambridge, Massachusetts.
1985
Derek Partridge
: publications
- A New Guide to Artificial Intelligence.
Ablex, Norwood, New Jersey.
1991
- Computers and Creativity, Intellect Books: Oxford, D.
Partridge and J. Rowe. 1994
Mike Paterson
: publications
- Linear Unification, Journal of Computer and System
Science, 1978.
Brian G. Patrick
- An upper bound on
the time complexity of iterative-deepening-A*. Annals of Mathematics and
Artificial Intelligence, 1992
Richard P. Paul
- Robot Manipulators: Mathematics, Programming, and
Control. MIT Press, Cambridge, Massachusetts.
1981
Giuseppe Peano
- Arithmetices principia, nova methodo exposita.
Fratres Bocca, Turin. 1889
Judea
Pearl : publications
- Reverend Bayes
on Inference Engines: A Distributed Hierarchical Approach, in Proceedings
of the Second National Conference on Artificial Intelligence (AAAI-82), pp.133-136,
Menlo Park, CA: AAAI Press, 1982
- A Solution for
the Branching Factor of the Alpha-Beta Pruning Algorithm and its Optimality,
Comm. ACM, 25(8):559-564, 1982
- Heuristics: Intelligent
Search Strategies for Computer Problem Solving, Reading, MA: Addison-Wesley,
1984
- Fusion, Propagation,
and Structuring in Belief Networks, Artificial Intelligence, 29:241-288,
1986
- Evidential reasoning using stochastic simulation of causal
models. Artificial Intelligence, 1987
- Probabilistic Reasoning
in Intelligent Systems: Networks of Plausible Inference, San Francisco:
Morgan Kaufmann, 1988
- Reasoning under
Uncertainty, Annual Review of Computer Science, vol.4, 1989-1990,
pp.37-72, Palo Alto, CA: Annual Reviews, 1990
- Causality
: Models, Reasoning, Inference, Cambridge, 2000
Edwin
Pednault : publication
- Formulating
Multiagent, Dynamic-World Problems in the Classical Planning Framework,
in Georgeff, M., & Lansky, A. (eds.), Reasoning about Actions and Plans:
Proceedings of the 1986 Workshop, Timberline, Oregon, pp.47-82, San Francisco:
Morgan Kaufmann, 1986
- ADL: Exploring
the Middle Ground between STRIPS and the Situation Calculus, in
Brachman, R., Levesque, H., & Reiter, R. (eds.), Proceedings of the First
International Conference on Principles of Knowledge Representation and Reasoning
(KR-89), pp.324-332, San Francisco: Morgan Kaufmann, 1989
- A Statistical Perspective on Data Mining,
Future Generation Computer Systems,
Vol. 13, 1997
Charles Sanders
Peirce
- Description of a notation for the logic of relatives,
resulting from an amplification of the conceptions of Boole's calculus of logic.
Memoirs of the American academy of arts and sciences, 1870
- A theory of probable inference. Note B. The logic of
relatives. In Studies in logic by members of the Johns Hopkins
University, 1883
- Logic as semiotic: the theory of signs. Unpublished
manuscript; reprinted in Buchler, 1902
J. Scott Penberthy
Jing Peng
: publications
Roger
Penrose
- ȲÁ¦ÀÇ
»õ¸¶À½ (The Emperor's
New Mind: Concerning Computers, Minds, and the Laws of Physics) :
Oxford University Press, 1989
- Shadows of the
Mind: Search for the Missing Science of Consciousness, Oxford: Oxford University
Press, 1994
Mark
A. Peot
Fernando Pereira
- Logic for natural language analysis. Technical Note 275,
SRI International.
1983
- PROLOG and Natural Language Analysis, CSLI Lecture Notes,
No.10, Center for the Study of Language and Information, Stanford University,
Stanford, CA, 1987
- "Definite Clause Grammars for Language Analysis: A Survey of
the Formalism and a Comparison with Augmented Transition Networks," Artificial
Intelligence, 13:231-278, 1980
Donald
R. Perlis : papers
- Languages with
Self-Reference, I: Foundations, Artificial Intelligence, ,
1985
- Languages with
Self-Reference, II: Knowledge, Belief, and Modality, Artificial Intelligence,
34:179-212, 1988
- The roots of
self-awareness. Michael L. Anderson and Don Perlis. Phenomenology and
the Cognitive Sciences. 2005
Pietro Perona
: publications
Carsten Peterson
: publications
Fernando J. Pineda
- Generalization
of Back-Propagation to Recurrent Neural Networks, Physical Review Letters,
59:2229-2232, 1987
- Dynamics and Architecture in Neural Computation, Journal of
Complexity, (Special issue on Neural Networks), 4, pp. 216-245, (1988).
Karl K. Pingle
- Visual Perception
by a Computer, in {Automatic Interpretation and Classification of Images},
Grasselli, A. (ed.), pp.277-284, New York: Academic Press, 1969
Steven Pinker
Ullin T. Place
Gordon D. Plotkin
: publications
Amir Pnueli
: publications
- The temporal logic of programs. In Proceedings of the
18th IEEE Symposium on the Foundations of Computer Science, 1977
- The Temporal Logic of Reactive
and Concurrent Systems: Specification. Springer-Verlag, New York, 1991
Tomaso Poggio
: publications
online
- From the Retina to the Neocortex: Selected Papers of David Marr, L. Vaina
(ed.), Birkhauser, Boston, MA, 320-325, 1991
- Early Visual Learning, S. Nayar and T. Poggio (eds.), Oxford University
Press, 1996.
- Exploring Brain Functions: Models in Neuroscience (Proceedings of the
1992 Dahlem Conference), D.A. Glaser and T. Poggio (eds.), John Wiley &
Sons, New York, NY, 1993.
Ira Pohl
: Bio
- Bi-directional and heuristic search in path problems.
Technical Report 104, SLAC (Stanford Linear Accelerator Center, Stanford,
California.
1969
- First results on the effect of error in heuristic search.
In Meltzer, B. & Michie, D., editors, Machine Intelligence 5, pages
219-236. Elsevier/North-Holland, Amsterdam, London, New York.
1970
- Bi-directional Search,
in {Machine Intelligence 6}, Meltzer, B., & Michie, D. (eds.), pp.127-140,
Edinburgh: Edinburgh University Press, 1971
- The Avoidance of
(Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and
Computational Issues in Heuristic Problem~Solving, in Proceedings of
the Third International Joint Conference on Artificial Intelligence (IJCAI-73),
pp.20-23, San Francisco: Morgan Kaufmann, 1973
- Practical and theoretical considerations in heuristic
search algorithms. In Elcock, E. W. & Michie, D., editors, Machine
Intelligence 8, pages 55-72. Ellis Horwood, Chichester, England.
1977
Martha Pollack
- Introducing the Tileworld: Experimentally Evaluating
Agent Architectures, in Proceedings of the Eighth National Conference
on Artificial Intelligence (AAAI-90), pp.183-189, Menlo Park, CA: AAAI Press,
1990
Carl Pollard
- Head-Driven Phrase Structure
Grammar. University of Chicago Press, Chicago, Illinois.
1994
George Pólya
Dean
Pomerleau
- "Rapidly
Adapting Artificial Neural Networks for Autonomous Navigation," in Lippmann,
P., et al (eds.), Advances in Neural Information Processing Systems, 3,
pp.429-435, San Francisco: Morgan Kaufmann, 1991
- Neural Network
Perception for Mobile Robot Guidance, Boston: Kluwer Academic Publishers,
1993
Karl Popper
Robert
F. Port : publications
- Mind as Motion: Explorations in the Dynamics of Cognition, Cambridge,
MA: Bradford Books/MIT Press, 1995
- Against Formal Phonology. (accepted for Language). 2005
Howard Pospesel
: publications
- Introduction
to Logic: Predicate Logic, Englewood Cliffs, NJ: Prentice Hall, 1976
- Propositional Logic. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1974
Emil
Post
- Introduction to a general theory of elementary
propositions. American Journal of Mathematics, 1921
Richard Powers
- Galatea 2.2, New
York: Farrar, Straus & Giroux, 1995
Curt Powley
- Depth-First Heuristic Search on a SIMD
Machine, Artificial Intelligence, 60:199-242, 1993
Malcolm Pradhan
- Knowledge Engineering for Large Belief
Networks, in Proceedings of the Tenth Conference on Uncertainty in
Artificial Intelligence, pp.484-490, San Francisco: Morgan Kaufmann, 1994
- Telemedicine, an overview. In: Hovenga ES, Kidd MR,
Cesnik B, eds. Health informatics : an overview . 1995
- Health
Information Issues in General Practice in Australia . Bibliotech, Canberra. 1992
Vaughan Pratt
: publications
- Semantical considerations on Floyd-Hoare logic. In
Proceedings of the 17th IEEE Symposium on the Foundations of Computer
Science, 1976
Dag Prawitz
- An improved proof procedure. Theoria,
1960
- Natural Deduction:
A Proof Theoreticall Study, Stockholm: Almquist and Wiksell, 1965
Armand Prieditis
- Machine
Discovery of Effective Admissible Heuristics, Machine Learning,
1993
Dietrich
G. Prinz
- Robot chess. Research, 1952
Arthur
N. Prior
- Past, Present, and Future. Oxford University
Press, Oxford.
1967
Geoffrey
K. Pullum : publications
- ´ë´ÜÇÑ ¿¡½ºÅ°¸ð ¾îÈÖ ³¯Á¶ The Great Eskimo Vocabulary Hoax (and Other
Irreverent Essays on the Study of Language). University of Chicago Press,
Chicago, Illinois.
1991
Paul
W. Purdom
- Search rearrangement backtracking and polynomial average
time. Artificial Intelligence, 1983
- Polynomial Average-Time Satisfiability Problems,
Information Science, 1987
- The Analysis of Algorithms, Paul Walton Purdom, Jr., Cynthia A.
Brown
Hilary Putnam
- Minds and machines. In Hook, S., editor, Dimensions
of Mind, pages 138-164. Macmillan, London.
1960
- `Degree of confirmation' and inductive logic. In Schilpp,
P. A., editor, The Philosophy of Rudolf Carnap. Open Court, La Salle,
Illinois.
1963
- The nature of mental states. In Capitan, W. H. &
Merrill, D. D., editors, Art, Mind, and Religion, pages 37-48.
University of Pittsburgh Press, Pittsburgh, Pennsylvania. Original title was
``Psychological predicates''; title changed in later reprints at the request of
the author.
1967
Martin Puterman
: research
- Markov Decision
Processess, New York: John Wiley
& Sons, 1994
Zenon Pylyshyn
- Minds, machines and phenomenology: Some reflections
on Dreyfus' ``What Computers Can't Do''. International Journal of Cognitive
Psychology, 1974
- Computation and Cognition: Toward a Foundation
for Cognitive Science. MIT Press, Cambridge, Massachusetts.
1984