1587 search results - page 119 / 318 » The Semantics of Extended SOFL |
174
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
147
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
106
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
129
click to vote
SAIG
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
142
click to vote
JFPLC
1998
15 years 5 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...