4555 search results - page 56 / 911 » Deductive Algorithmic Knowledge |
126
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
131
click to vote
ISTA
2004
15 years 5 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
115
Voted
AAAI
1993
15 years 5 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
148
click to vote
NGC
1998
Springer
15 years 4 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
125
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...