2501 search results - page 181 / 501 » Semiotics and Intelligent Control |
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
Coherence and alignment of the legislative language highly contribute to the quality of legislative processes, to the clarity of legislative texts and to their accessibility. DALOS...
175
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 ...
135
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper proposes a novel method to characterize the performance of autonomous agents in the Trading Agent Competition for Supply Chain Management (TAC-SCM). We create ...
137
Voted
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...
123
click to vote
E4MAS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The AGRE model proposed by Ferber et al. is based on an interesting generalization of both physical and social environments. In this paper we revisit the AGRE model and e...