61 search results - page 8 / 13 » deductive 1998 |
KR
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
82
Voted
ECAI
1998
Springer
15 years 1 months ago
1998
Springer
Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distribut...
TABLEAUX
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
77
Voted
FLAIRS
1998
14 years 11 months ago
1998
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...
81
Voted
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...