797 search results - page 152 / 160 » Logics with an existential modality |
101
Voted
LMCS
2006
15 years 23 days ago
2006
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisi...
88
Voted
AI
2004
Springer
15 years 21 days ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
106
Voted
RR
2010
Springer
14 years 11 months ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
123
click to vote
DSS
2002
15 years 19 days ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
AI
2005
Springer
15 years 22 days ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...