4595 search results - page 312 / 919 » Reasoning about Plans |
244
click to vote
NMR
2004
Springer
16 years 25 days ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
259
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
239
Voted
ELP
1991
15 years 11 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
163
Voted
AISC
2008
Springer
15 years 9 months ago
2008
Springer
A child, or young human-like robot of the future, needs to develop an information-processing architecture, forms of representation, and mechanisms to support perceiving, manipulati...
187
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
During the last years, argumentation has been gaining increasing interest in modeling different reasoning tasks of an agent. Many recent works have acknowledged the importance of ...