2203 search results - page 56 / 441 » Temporal Abstract Interpretation |
RSKT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
AUSAI
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
AUSAI
2009
Springer
15 years 4 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
70
Voted
VL
2007
IEEE
15 years 4 months ago
2007
IEEE
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
JELIA
1990
Springer
15 years 2 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...