1364 search results - page 4 / 273 » Comparative Branching-Time Semantics |
FUIN
2002
14 years 11 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...
124
click to vote
DALT
2009
Springer
15 years 4 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...
90
Voted
LICS
2000
IEEE
15 years 4 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 ...
68
Voted
FLAIRS
2006
15 years 1 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...
104
Voted
ACL
1989
15 years 24 days 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...