2398 search results - page 89 / 480 » On modelling agent systems with Erlang |
157
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
170
click to vote
JUCS
2008
15 years 6 months ago
2008
: Web searching techniques have been investigated and implemented in many aspects. Particularly, in case of personalization, more important issue is how to manipulate the results r...
171
click to vote
AIME
2009
Springer
16 years 26 days ago
2009
Springer
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
160
click to vote
AAAI
2000
15 years 7 months ago
2000
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
174
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Microeconomics offer a far developed theory on the subject of rational choice. This theory is applied to a multi-agent system, which has been modeled in order to establish schedul...