5198 search results - page 844 / 1040 » A Logic of Agent Programs |
129
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
194
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The assignment problem constitutes one of the fundamental problems in the context of linear programming. Besides its theoretical significance, its frequent appearance in the a...
161
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Animal ecologists have successfully applied agent-based models to many different problems. Often, these focus on issues concerning collective behaviors, environmental interactions...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...
170
click to vote
AAAI
1993
15 years 7 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...