10568 search results - page 2004 / 2114 » Computer Intelligence and Formalization |
129
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
We consider complex scheduling problems that can be captured as optimization under hard and soft constraints. The objective of such an optimization problem is to satisfy as many h...
114
click to vote
MABS
2004
Springer
15 years 8 months ago
2004
Springer
For an integrated simulation such as the natural environment affected by human society, it is indispensable to provide an integrated simulator that incorporates multiple computatio...
123
click to vote
MABS
2004
Springer
15 years 8 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
138
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
131
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...