19 search results - page 2 / 4 » Verification of Multiple Agent Knowledge-Based Systems |
IDEAL
2003
Springer
13 years 10 months ago
2003
Springer
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
AAAI
2010
13 years 6 months ago
2010
There is a growing need for efficient and scalable semantic web queries that handle inference. There is also a growing interest in representing uncertainty in semantic web knowled...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
cting knowledge base can be seen abstractly as a set of arguments and a binary relation characterising conflict among them. There may be multiple plausible ways to evaluate confli...