19 search results - page 2 / 4 » Verification of Multiple Agent Knowledge-Based Systems |
176
Voted
IDEAL
2003
Springer
15 years 12 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 ...
158
click to vote
ATAL
2005
Springer
16 years 5 days 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...
196
click to vote
ATAL
2010
Springer
15 years 7 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...
163
Voted
AAAI
2010
15 years 8 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...
121
click to vote
ATAL
2010
Springer
15 years 7 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...