Switch to: Citations

Add references

You must login to add references.
  1. Alternative approaches to default logic.James P. Delgrande, Torsten Schaub & W. Ken Jackson - 1994 - Artificial Intelligence 70 (1-2):167-237.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • (1 other version)Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
    Download  
     
    Export citation  
     
    Bookmark   305 citations  
  • Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   634 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   217 citations  
  • Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   349 citations  
  • Reasoning about action II.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (3):311-342.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • 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 actions: steady versus stabilizing state constraints.Michael Thielscher - 1998 - Artificial Intelligence 104 (1-2):339-355.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Explanatory update theory: Applications of counterfactual reasoning to causation.Charles L. Ortiz Jr - 1999 - Artificial Intelligence 108 (1-2):125-178.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Chronological ignorance: Experiments in nonmonotonic temporal reasoning.Yoav Shoham - 1988 - Artificial Intelligence 36 (3):279-331.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem.Michael Thielscher - 1999 - Artificial Intelligence 111 (1-2):277-299.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • The Concurrent, Continuous Fluent Calculus.Thielscher Michael - 2001 - Studia Logica 67 (3):315-331.
    The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions occur concurrently.
    Download  
     
    Export citation  
     
    Bookmark   2 citations