Sciweavers

207 search results - page 16 / 42
» Coherence Constraints for Agent Interaction
Sort
View
IAT
2003
IEEE
14 years 27 days ago
A Possible Approach to the Development of Robotic Multi-Agent Systems
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
Massimo Cossentino, Luca Sabatucci, Antonio Chella
AAAI
2006
13 years 9 months ago
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be convenien...
Tarik Hadzic, Henrik Reif Andersen
POPL
1990
ACM
13 years 11 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
CADE
2007
Springer
14 years 8 months ago
Combining Deduction and Algebraic Constraints for Hybrid System Analysis
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
André Platzer
WECWIS
2006
IEEE
164views ECommerce» more  WECWIS 2006»
14 years 1 months ago
Agile Decision Agent for Service-Oriented E-Commerce Systems
In a service-oriented e-commerce environment, it is a crucial task to help consumers choose desired products efficiently from a huge amount of dynamically configured product can...
Jiyong Zhang, Pearl Pu, Boi Faltings