5 found
  1.  15
    Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
  2.  7
    Automatic behavior composition synthesis.Giuseppe De Giacomo, Fabio Patrizi & Sebastian Sardiña - 2013 - Artificial Intelligence 196 (C):106-142.
  3.  20
    Agent planning programs.Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti & Sebastian Sardina - 2016 - Artificial Intelligence 231 (C):64-106.
  4.  24
    Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.
    We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   2 citations  
  5.  19
    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.
    Direct download (2 more)  
    Export citation