913 search results - page 140 / 183 » Formal Agent Development: Framework to System |
146
Voted
ASP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
115
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
142
Voted
KSEM
2010
Springer
15 years 2 months ago
2010
Springer
This paper uses robot experience to explore key concepts of autonomy, life and being. Unfortunately, there are no widely accepted definitions of autonomy, life or being. Using a ne...
125
Voted
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Service-oriented architectures enable services to be dynamically selected and integrated at runtime, thus enabling system flexibility and adaptiveness—autonomic attributes that...
141
Voted
AAAI
2004
15 years 5 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...