1941 search results - page 117 / 389 » Reasoning about Computations Using Two-Levels of Logic |
157
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
196
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
198
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
296
click to vote
EXACT
2009
15 years 4 months ago
2009
In this paper a representative example is chosen that is meant be fairly simple for illustrating the point that in a very common kind of instance, argument and explanation are mixe...
197
click to vote
ICAI
2003
15 years 7 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...