Sciweavers

396 search results - page 61 / 80
» An Agent Based Framework for Modeling UAV's
Sort
View
ATAL
2005
Springer
15 years 11 months ago
Knowledge and social laws
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
Wiebe van der Hoek, Mark Roberts, Michael Wooldrid...
AAAI
1998
15 years 7 months ago
Probabilistic Frame-Based Systems
Two of the most important threads of work in knowledge representation today are frame-based representation systems (FRS's) and Bayesian networks (BNs). FRS's provide an ...
Daphne Koller, Avi Pfeffer
IAT
2009
IEEE
16 years 22 days ago
A New Semantics of Social Commitments Using Branching Space-Time Logic
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
JCS
2008
119views more  JCS 2008»
15 years 6 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
ATAL
2005
Springer
15 years 11 months ago
A probabilistic approach to resource allocation in distributed fusion systems
In complex multi-agent fusion systems resource conflicts are very likely to occur. We propose an algorithm that determines the optimal sensing resource to fusion task assignment,...
Jan Nunnink, Gregor Pavlin