3032 search results - page 336 / 607 » Description Logic Rules |
123
click to vote
AAAI
1990
15 years 5 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
134
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...
123
click to vote
CADE
1990
Springer
15 years 8 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
100
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...