Sciweavers

281 search results - page 23 / 57
» Agents and ambient intelligence: case studies
Sort
View
ATAL
2006
Springer
13 years 11 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
IADIS
2003
13 years 9 months ago
How Can Agents Help Improving the Performance of a Human Team
The contribution of intelligent agents for the human team performance is a challenging problem. This paper introduces a study to help clarifying this issue, starting with the moti...
Mauro Nunes, Henrique O'Neill
ETFA
2006
IEEE
14 years 1 months ago
Advance in Multiply Sectioned Bayesian Networks: Sensor Network Practitioners' Perspective
Multiplysectioned Bayesian networks provide a probabilistic framework for reasoning about uncertain domains in cooperative multiagent systems. Several advances have been made in r...
Y. Xiang, K. Zhang
AAAI
2010
13 years 9 months ago
Knowledge Compilation in the Modal Logic S5
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
Meghyn Bienvenu, Hélène Fargier, Pie...
AAAI
2004
13 years 9 months ago
Collapsibility and Consistency in Quantified Constraint Satisfaction
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...
Hubie Chen