1127 search results - page 27 / 226 » Theory Extension in ACL2(r) |
TACS
1991
Springer
15 years 4 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
122
Voted
NCA
2008
IEEE
15 years 19 days ago
2008
IEEE
Three extensions to the Kernel-AdaTron training algorithm for Support Vector Machine classifier learning are presented. These extensions allow the trained classifier to adhere more...
188
Voted
ECAL
2007
Springer
15 years 6 months ago
2007
Springer
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
110
Voted
JSYML
2008
15 years 19 days ago
2008
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
87
Voted
JAPLL
2007
15 years 17 days ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...