1052 search results - page 148 / 211 » Distributed Logic Programming using Mobile Agents |
121
click to vote
AAAI
2006
15 years 2 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
IJAIT
2006
15 years 22 days ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
100
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper, we investigate nonuniform coverage of a planar region by a network of autonomous, mobile agents. We derive centralized nonuniform coverage control laws from uniform ...
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
102
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...