Browsing Department of Computer Science Research Reports: 2000 - 2008 by Author "Brandano, Sergio"

Now showing items 1-2 of 2

    • The Event Calculus Assessed 

      Brandano, Sergio (2013-12-10)
      The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the Features and Fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no ...

    • Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics 

      Brandano, Sergio (2013-12-10)
      A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework. The comparative assessment reveals the semantics epistemologically ...