Sciweavers

2034 search results - page 78 / 407
» Declarative Agent Control
Sort
View
AI
2005
Springer
13 years 8 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
14 years 3 months ago
Adaptive cooperative manipulation with intermittent contact
Abstract— Cooperative manipulation with multiple, independent agents can be complicated by changing dynamics as the agents come in and out of contact with the object they are man...
Todd D. Murphey, Matanya Horowitz
HYBRID
1994
Springer
14 years 26 days ago
Programming in Hybrid Constraint Languages
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat,...
IJCAI
2007
13 years 10 months ago
A Cortex-Inspired Neural-Symbolic Network for Knowledge Representation
Semantic systems for the representation of declarative knowledge are usually unconnected to neurobiological mechanisms in the brain. In this paper we report on efforts to bridge t...
Florian Röhrbein, Julian Eggert, Edgar Kö...
COMPSAC
2003
IEEE
14 years 2 months ago
PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Ye...