249 search results - page 34 / 50 » Specification and Verification of Dynamics in Cognitive Agen... |
ARGMAS
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
The problem of interest is how to dynamically allocate wireless access services in a competitive market which implements a take-it-or-leave-it allocation mechanism. In this paper ...
ICCAD
2010
IEEE
13 years 5 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
DALT
2009
Springer
13 years 11 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
The impact of learning on evolution in dynamic environments undergoes recognized stages of the Baldwin Effect although its cause is not clear. To identify it experimentally, we de...