1246 search results - page 25 / 250 » Programming Organization-Aware Agents |
FAABS
2000
Springer
14 years 2 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...
AAAI
2000
14 years 9 days 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...
ATAL
2005
Springer
14 years 4 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
14 years 2 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...
INFSOF
1998
13 years 10 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...