1368 search results - page 15 / 274 » Personality-Based Practical Reasoning |
84
Voted
CADE
1994
Springer
15 years 5 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.
132
click to vote
IJCAI
2003
15 years 3 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
109
click to vote
JAIR
2008
15 years 1 months ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
176
click to vote
KRDB
2003
15 years 3 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
121
click to vote
LADS
2007
Springer
15 years 8 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...