7 found
Order:
  1.  25
    Expecting the unexpected: Goal recognition for rational and irrational agents.Peta Masters & Sebastian Sardina - 2021 - Artificial Intelligence 297 (C):103490.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  5
    Automatic behavior composition synthesis.Giuseppe De Giacomo, Fabio Patrizi & Sebastian Sardiña - 2013 - Artificial Intelligence 196 (C):106-142.
  3.  19
    Agent planning programs.Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti & Sebastian Sardina - 2016 - Artificial Intelligence 231 (C):64-106.
  4.  16
    Reasoning about agent programs using ATL-Like logics.Nitin Yadav & Sebastian Sardina - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 437--449.
  5.  17
    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  
     
    Bookmark  
  6.  7
    Fast and accurate data-driven goal recognition using process mining techniques.Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña & Nick van Beest - 2023 - Artificial Intelligence 323 (C):103973.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    Qualitative approximate behavior composition.Nitin Yadav & Sebastian Sardina - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 450--462.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark