Switch to: References

Add citations

You must login to add citations.
  1. 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   3 citations  
  • 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  
  • 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  
  • 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