Semantics

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

1. A discretized operational semantics for the implementation of Hy-tccp
   María del Mar Gallardo / Laura Panizo / Laura Titolo / 
2. Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework
   Edelmira Pasarella / Jorge Lobo / 
3. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story
   David Romero-Hernández / David de Frutos-Escrig / Dario Della Monica / 
4. 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 /