184 search results - page 1 / 37 » Reconciling Systems and Deductive Capabilities in Knowledge ... |
ALPUK
1990
14 years 1 days ago
1990
JACM
2010
13 years 9 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
IPPS
2000
IEEE
14 years 3 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
CSL
1995
Springer
14 years 2 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
LPNMR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...