10568 search results - page 451 / 2114 » Computer Intelligence and Formalization |
132
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
157
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
140
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
129
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
132
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. By introducing the Regular Membership Constraint, Gilles Pesant pioneered the idea of basing constraints on formal languages. The paper presented here is highly motivated...