Listar por autor "Sciavicco, Guido"
Mostrando ítems 1-4 de 4
-
Complejidad y computabilidad desde un punto de vista lógico
(2017-04-28)En esta charla trataremos temas clasicos de complejidad y computabilidad visto desde un punto de vista lógico. En particular, veremos como a cada clase de complejidad corresponde, en general, un problema de satisfiactibilidad ... -
Fuzzy Halpern and Shoham's interval temporal logics
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio José
; Sciavicco, Guido; Stan, Ionel Eduard (Elsevier, 2023)
The most representative interval temporal logic, called HS, was introduced by Halpern and Shoham in the nineties. Recently, HS has been proposed as a suitable formalism for modern artificial intelligence applications; ... -
On Coarser Interval Temporal Logics
Muñoz-Velasco, Emilio José; Pelegrín, Mercedes; Sala, Pletro; Sciavicco, Guido; Stan, Ionel Eduard (Elsevier, 2019)
The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, ... -
Reasoning in Interval Temporal Logics - New Frontiers
(2014-10-27)In this talk, we are going to survey the basic elements of temporal logics based on intervals instead of points. We shall first give the most fundamental definitions, with particular attention to the parameters that ...