Switch to: Citations

Add references

You must login to add references.
  1. Weak, strong, and strong cyclic planning via symbolic model checking.A. Cimatti, M. Pistore, M. Roveri & P. Traverso - 2003 - Artificial Intelligence 147 (1-2):35-84.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.Claudio Castellini, Enrico Giunchiglia & Armando Tacchella - 2003 - Artificial Intelligence 147 (1-2):85-117.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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  
  • Representing action: indeterminacy and ramifications.Enrico Giunchiglia, G. Neelakantan Kartha & Vladimir Lifschitz - 1997 - Artificial Intelligence 95 (2):409-438.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • A logic programming approach to knowledge-state planning, II: The system.Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer & Axel Polleres - 2003 - Artificial Intelligence 144 (1-2):157-211.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-5ff6c685cb-dmxst uwo