1368 search results - page 55 / 274 » Personality-Based Practical Reasoning |
253
Voted
LOGCOM
1998
15 years 4 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
139
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
119
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
123
click to vote
COMMA
2006
15 years 6 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
139
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...