Sciweavers

979 search results - page 122 / 196
» Role-Based Approaches for Agent Development
Sort
View
AAAI
2007
14 years 17 days ago
Anytime Coordination Using Separable Bilinear Programs
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach, demonstrated by the Coverage Set Algorithm (CSA), explo...
Marek Petrik, Shlomo Zilberstein
AAAI
2006
13 years 11 months ago
Reconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
Stephan Schiffel, Michael Thielscher
CSREASAM
2006
13 years 11 months ago
Agent-based Distributed Intrusion Detection Methodology for MANETs
Intrusion detection, as a complementary mechanism to intrusion prevention, is necessary to secure wireless Mobile Ad hoc Networks (MANETs). In this paper we propose a practical age...
Hongmei Deng, Roger Xu, Frank Zhang, Chiman Kwan, ...
AAAI
2000
13 years 11 months ago
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltr...
AAAI
1997
13 years 11 months ago
Navigation and Planning in a Mixed-Initiative User Interface
Mixed-initiative planning is one approach to building an intelligent decision-making environment. A mixedinitiative system shares decision-making responsibility with the user such...
Robert St. Amant