1364 search results - page 4 / 273 » Comparative Branching-Time Semantics |
108
click to vote
FUIN
2002
15 years 2 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
150
Voted
DALT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
112
Voted
LICS
2000
IEEE
15 years 6 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 ...
85
Voted
FLAIRS
2006
15 years 3 months ago
2006
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
136
Voted
ACL
1989
15 years 3 months ago
1989
Comparative expressions (CEs) such as "bigger than" and "more oranges than" are highly ambiguous, and their meaning is context dependent. Thus, they pose probl...