3729 search results - page 109 / 746 » On Formal Modeling of Agent Computations |
190
click to vote
SWS
2004
ACM
15 years 11 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
182
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The conceptual architecture of the access control system described here is based on automatic distributed acquisition and processing of knowledge about users and devices in comput...
167
click to vote
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
146
click to vote
AAAI
1990
15 years 7 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
161
click to vote
ATAL
2006
Springer
15 years 10 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...