Switch to: References

Add citations

You must login to add citations.
  1. Agent planning programs.Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti & Sebastian Sardina - 2016 - Artificial Intelligence 231 (C):64-106.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Verification of agent navigation in partially-known environments.Benjamin Aminof, Aniello Murano, Sasha Rubin & Florian Zuleger - 2022 - Artificial Intelligence 308 (C):103724.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects.Javier Segovia-Aguas, Sergio Jiménez & Anders Jonsson - 2024 - Artificial Intelligence 330 (C):104097.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Applicability conditions for plans with loops: Computability results and algorithms.Siddharth Srivastava, Neil Immerman & Shlomo Zilberstein - 2012 - Artificial Intelligence 191-192 (C):1-19.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Computing programs for generalized planning using a classical planner.Javier Segovia-Aguas, Sergio Jiménez & Anders Jonsson - 2019 - Artificial Intelligence 272 (C):52-85.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Abstraction for non-ground answer set programs.Zeynep G. Saribatur, Thomas Eiter & Peter Schüller - 2021 - Artificial Intelligence 300 (C):103563.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
    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-55b469568f-2bmv2 uwo