1368 search results - page 68 / 274 » Personality-Based Practical Reasoning |
120
click to vote
DLOG
2006
15 years 3 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
115
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
110
click to vote
DEON
2006
Springer
15 years 5 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
109
click to vote
FLAIRS
2001
15 years 3 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
122
click to vote
SERP
2003
15 years 3 months ago
2003
Abstract Process improvement in a large-scale industrial environment is a challenge for numerous reasons. Besides others it is difficult to convince and motivate a critical mass of...