Sciweavers

877 search results - page 142 / 176
» Combining Intelligent Agents and Animation
Sort
View
AAAI
1996
15 years 1 months ago
Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...
Richard J. Wallace
AAAI
1990
15 years 1 months ago
Pointing: A Way Toward Explanation Dialogue
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
Johanna D. Moore, William R. Swartout
ATAL
2010
Springer
15 years 28 days ago
Distributed BDD-based BMC for the verification of multi-agent systems
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
Andrew V. Jones, Alessio Lomuscio
ATAL
2010
Springer
15 years 22 hour ago
Virtual world grammar
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
Tomas Trescak, Marc Esteva, Inmaculada Rodrí...
AI
2007
Springer
14 years 12 months ago
A spectrum of compromise aggregation operators for multi-attribute decision making
In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent’s local perspective and then th...
Xudong Luo, Nicholas R. Jennings