86 search results - page 1 / 18 » Exploring inconsistencies between modal transition systems |
SOSYM
2011
12 years 11 months ago
2011
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
FOSSACS
2006
Springer
13 years 8 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
AIED
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we explored the relationship between metacognitive statements and learning gains with students’ typed and spoken interactions with an intelligent tutoring system, c...