Switch to: References

Add citations

You must login to add citations.
  1. Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.
    Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We point (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • A general first-order solution to the ramification problem with cycles.Hannes Strass & Michael Thielscher - 2013 - Journal of Applied Logic 11 (3):289-308.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.
    Download  
     
    Export citation  
     
    Bookmark  
  • A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
    Download  
     
    Export citation  
     
    Bookmark   5 citations