Switch to: References

Add citations

You must login to add citations.
  1. Situation calculus for controller synthesis in manufacturing systems with first-order state representation.Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi & Sebastian Sardiña - 2022 - Artificial Intelligence 302 (C):103598.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
    		•
  • Knowledge-based programs as succinct policies for partially observable domains.Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine & François Schwarzentruber - 2020 - Artificial Intelligence 288 (C):103365.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The delay and window size problems in rule-based stream reasoning.Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2022 - Artificial Intelligence 306 (C):103668.
    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-64dd777598-wg6s5 uwo