Listar por autor "Sciavicco, Guido"

Mostrando ítems 1-2 de 2

Complejidad y computabilidad desde un punto de vista lógico

Sciavicco, Guido (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 ...
Reasoning in Interval Temporal Logics - New Frontiers

Sciavicco, Guido (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 ...