1587 search results - page 119 / 318 » The Semantics of Extended SOFL |
ATAL
2004
Springer
14 years 24 days 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 ...
ATAL
2006
Springer
14 years 24 days 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...
COMPSAC
2004
IEEE
14 years 24 days 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...
SAIG
2000
Springer
14 years 18 days 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...
JFPLC
1998
13 years 10 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...