Navegación

Búsqueda

Búsqueda avanzada

Semantics

Listado de artículos correspondientes a la sesión Semantics

  1. A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees
    Pascual Julián-Iranzo / Ginés Moreno / Jaime Penabad / Carlos Vázquez / 
  2. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story
    David Romero-Hernández / David de Frutos-Escrig / Dario Della Monica / 
  3. Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework
    Edelmira Pasarella / Jorge Lobo / 
  4. A discretized operational semantics for the implementation of Hy-tccp
    María del Mar Gallardo / Laura Panizo / Laura Titolo /