Switch to: Citations

Add references

You must login to add references.
  1. Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
    Download  
     
    Export citation  
     
    Bookmark   185 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   641 citations  
  • On the proper treatment of connectionism.Paul Smolensky - 1988 - Behavioral and Brain Sciences 11 (1):1-23.
    A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...)
    Download  
     
    Export citation  
     
    Bookmark   751 citations  
  • Intelligence without representation.Rodney A. Brooks - 1991 - Artificial Intelligence 47 (1--3):139-159.
    Artificial intelligence research has foundered on the issue of representation. When intelligence is approached in an incremental manner, with strict reliance on interfacing to the real world through perception and action, reliance on representation disappears. In this paper we outline our approach to incrementally building complete intelligent Creatures. The fundamental decomposition of the intelligent system is not into independent information processing units which must interface with each other via representations. Instead, the intelligent system is decomposed into independent and parallel activity (...)
    Download  
     
    Export citation  
     
    Bookmark   659 citations  
  • Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  • On the thresholds of knowledge.Douglas B. Lenat & Edward A. Feigenbaum - 1991 - Artificial Intelligence 47 (1-3):185-250.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The owl and the electric encyclopedia.Brian Cantwell Smith - 1991 - Artificial Intelligence 47 (1-3):251-288.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   352 citations  
  • Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • TEAM: An experiment in the design of transportable natural-language interfaces.Barbara J. Grosz, Douglas E. Appelt, Paul A. Martin & Fernando C. N. Pereira - 1987 - Artificial Intelligence 32 (2):173-243.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
    This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...)
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • Eurisko: A program that learns new heuristics and domain concepts.Douglas B. Lenat - 1983 - Artificial Intelligence 21 (1-2):61-98.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains.L. Wos, S. Winker, B. Smith, R. Veroff & L. Henschen - 1984 - Artificial Intelligence 22 (3):303-356.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The nature of heuristics.Douglas B. Lenat - 1982 - Artificial Intelligence 19 (2):189-249.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Theory formation by heuristic search.Douglas B. Lenat - 1983 - Artificial Intelligence 21 (1-2):31-59.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The use of design descriptions in automated diagnosis.Michael R. Genesereth - 1984 - Artificial Intelligence 24 (1-3):411-436.
    Download  
     
    Export citation  
     
    Bookmark   25 citations