13 search results - page 3 / 3 » Abduction in Labelled Deductive Systems - A Conceptual Abstr... |
WOLLIC
2009
Springer
14 years 12 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
ICMLA
2009
13 years 3 months ago
2009
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...