Sciweavers

8651 search results - page 312 / 1731
» Intelligent agents as innovations
Sort
View
AUSAI
2005
Springer
16 years 8 days ago
Preferences of Agents in Defeasible Logic
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
AAAI
1998
15 years 8 months ago
A Formal Methodology for Verifying Situated Agents
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
Phan Minh Dung
IEEECIT
2005
IEEE
16 years 9 days ago
An Intelligent Connector Based Framework for Dynamic Architecture
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...
Xin Peng, Wenyun Zhao, Liang Zhang, Yijian Wu
ESAW
2003
Springer
15 years 12 months ago
Using Swarm Intelligence in Linda Systems
Abstract. Natural forming multi-agent systems have the ability to grow to enormous sizes and perform seemingly complex tasks without the existence of any centralized control. Their...
Robert Tolksdorf, Ronaldo Menezes
191
Voted
ATAL
2008
Springer
15 years 8 months ago
Autonomous virtual humans and lower animals: from biomechanics to intelligence
The confluence of virtual reality and artificial life, an emerging discipline that spans the computational and biological sciences, has yielded synthetic worlds inhabited by reali...
Demetri Terzopoulos