1806 search results - page 71 / 362 » Cognitive agent programming |
112
click to vote
FAABS
2000
Springer
15 years 6 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
117
click to vote
AAAI
2000
15 years 4 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
121
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
140
click to vote
SAC
2002
ACM
15 years 2 months ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...