Switch to: Citations

Add references

You must login to add references.
  1. SAT-based explicit LTL f satisfiability checking.Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi & Kristin Y. Rozier - 2020 - Artificial Intelligence 289 (C):103369.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Specifying and computing preferred plans.Meghyn Bienvenu, Christian Fritz & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (7-8):1308-1345.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
    Download  
     
    Export citation  
     
    Bookmark   24 citations