Switch to: References

Add citations

You must login to add citations.
  1. Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Approximation of action theories and its application to conformant planning.Phan Huy Tu, Tran Cao Son, Michael Gelfond & A. Ricardo Morales - 2011 - Artificial Intelligence 175 (1):79-119.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • McCarthy variations in a modal key.Johan van Benthem - 2011 - Artificial Intelligence 175 (1):428-439.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • From the textual description of an accident to its causes.Daniel Kayser & Farid Nouioua - 2009 - Artificial Intelligence 173 (12-13):1154-1193.
    Download  
     
    Export citation  
     
    Bookmark  
  • Enactive artificial intelligence: Investigating the systemic organization of life and mind.Tom Froese & Tom Ziemke - 2009 - Artificial Intelligence 173 (3-4):466-500.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Pouring liquids: A study in commonsense physical reasoning.Ernest Davis - 2008 - Artificial Intelligence 172 (12-13):1540-1578.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Active logic semantics for a single agent in a static world.Michael L. Anderson, Walid Gomaa, John Grant & Don Perlis - 2008 - Artificial Intelligence 172 (8-9):1045-1063.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • From here to human-level AI.John McCarthy - 2007 - Artificial Intelligence 171 (18):1174-1182.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.
    Download  
     
    Export citation  
     
    Bookmark   7 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  
  • Knowledge representation and commonsense reasoning: Reviews of four books.Leora Morgenstern - 2006 - Artificial Intelligence 170 (18):1239-1250.
    Download  
     
    Export citation  
     
    Bookmark  
  • Conformant planning via heuristic forward search: A new approach.Jörg Hoffmann & Ronen I. Brafman - 2006 - Artificial Intelligence 170 (6-7):507-541.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Event calculus and temporal action logics compared.Erik T. Mueller - 2006 - Artificial Intelligence 170 (11):1017-1029.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Metacognition in computation: A selected research review.Michael T. Cox - 2005 - Artificial Intelligence 169 (2):104-141.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Knowledge and communication: A first-order theory.Ernest Davis - 2005 - Artificial Intelligence 166 (1-2):81-139.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A causal approach to nonmonotonic reasoning.Alexander Bochman - 2004 - Artificial Intelligence 160 (1-2):105-143.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logic-based subsumption architecture.Eyal Amir & Pedrito Maynard-Zhang - 2004 - Artificial Intelligence 153 (1-2):167-237.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A unifying semantics for time and events.Brandon Bennett & Antony P. Galton - 2004 - Artificial Intelligence 153 (1-2):13-48.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Heuristic planning: A declarative approach based on strategies for action selection.Josefina Sierra-Santibáñez - 2004 - Artificial Intelligence 153 (1-2):307-337.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An epistemological science of common sense.Fausto Giunchiglia - 1995 - Artificial Intelligence 77 (2):371-392.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning agents in a dynamic world: The frame problem.Jozsef A. Toth - 1995 - Artificial Intelligence 73 (1-2):323-369.
    Download  
     
    Export citation  
     
    Bookmark  
  • A model for temporal references and its application in a question answering program.Bertram C. Bruce - 1972 - Artificial Intelligence 3:1-25.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Formal methods in the design of question-answering systems.Erik Sandewall - 1971 - Artificial Intelligence 2 (2):129-145.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence.Aaron Sloman - 1971 - Artificial Intelligence 2 (3-4):209-225.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
    Download  
     
    Export citation  
     
    Bookmark   119 citations  
  • Extending the expressive power of semantic networks.L. K. Schubert - 1976 - Artificial Intelligence 7 (2):163-198.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A logical theory of robot problem solving.Olga Štěpánková & Ivan M. Havel - 1976 - Artificial Intelligence 7 (2):129-161.
    Download  
     
    Export citation  
     
    Bookmark  
  • Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
    Download  
     
    Export citation  
     
    Bookmark   129 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  
  • Extended inference modes in reasoning by computer systems.Terry Winograd - 1980 - Artificial Intelligence 13 (1-2):5-26.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Discovering patterns in sequences of events.Thomas G. Dietterich & Ryszard S. Michalski - 1985 - Artificial Intelligence 25 (2):187-232.
    Download  
     
    Export citation  
     
    Bookmark  
  • Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • Planning english referring expressions.Douglas E. Appelt - 1985 - Artificial Intelligence 26 (1):1-33.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Heuristic classification.William J. Clancey - 1985 - Artificial Intelligence 27 (3):289-350.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Closed-world databases and circumscription.Vladimir Lifschitz - 1985 - Artificial Intelligence 27 (2):229-235.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Minds, machines, and evolution.Mark J. Stefik - 1985 - Artificial Intelligence 27 (2):237-245.
    Download  
     
    Export citation  
     
    Bookmark  
  • Counterfactuals.Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (1):35-79.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Planning for conjunctive goals.David Chapman - 1987 - Artificial Intelligence 32 (3):333-377.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Change in view.Ronald P. Loui - 1987 - Artificial Intelligence 34 (1):119-124.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning about action I.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (2):165-195.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Reasoning about action II.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (3):311-342.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Analogical representations of naive physics.Francesco Gardin & Bernard Meltzer - 1989 - Artificial Intelligence 38 (2):139-159.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Miracles in formal theories of action.Vladimir Lifschitz & Arkady Rabinov - 1989 - Artificial Intelligence 38 (2):225-237.
    Download  
     
    Export citation  
     
    Bookmark   4 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   111 citations