Switch to: Citations

References in:

Let's plan it deductively!

Artificial Intelligence 103 (1-2):183-208 (1998)

Add references

You must login to add references.
  1. Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.
    Download  
     
    Export citation  
     
    Bookmark   24 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  
  • Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • State Event Logic.Gerd Grosse & Hesham Khalil - 1996 - Logic Journal of the IGPL 4 (1):47-74.
    In this article we give a detailed presentation of state event logic which is a modal logic for reasoning about concurrent events and causality between events [8] State event logic differs from previous approaches in the following directions: First, events enjoy the same attention as states. In the same way as states can be viewed as models of the formulae describing the facts that hold in them we think of events as models of the formulae describing the subevents. Second, instead (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • SOAR: An architecture for general intelligence.John E. Laird, Allen Newell & Paul S. Rosenbloom - 1987 - Artificial Intelligence 33 (1):1-64.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • State Event Logic.Gerd Groβe & Hesham Khalil - 1996 - Logic Journal of the IGPL 4 (1):47-74.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reasoning about action I.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (2):165-195.
    Download  
     
    Export citation  
     
    Bookmark   23 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  
  • Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Computational research on interaction and agency.Philip E. Agre - 1995 - Artificial Intelligence 72 (1-2):1-52.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
    Download  
     
    Export citation  
     
    Bookmark   126 citations