Results for 'Attilo Roveri'

7 found
Order:
  1. Tyche in Polibio.Attilo Roveri - 1956 - Convivium: revista de filosofía 24:275-293.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  5
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  3.  12
    Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  16
    I Sarcofagi egizi delle origine alla fine dell' Antico Regno.Alexander M. Badawy & Anna Maria Donadoni Roveri - 1972 - Journal of the American Oriental Society 92 (2):304.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    Conformant planning via symbolic model checking and heuristic search.A. Cimatti, M. Roveri & P. Bertoli - 2004 - Artificial Intelligence 159 (1-2):127-206.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  9
    An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.Alessandro Cimatti, Andrea Micheli & Marco Roveri - 2015 - Artificial Intelligence 224 (C):1-27.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  4
    Strong temporal planning with uncontrollable durations.Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri & David E. Smith - 2018 - Artificial Intelligence 256 (C):1-34.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark