1269 search results - page 33 / 254 » Pi-Calculus in Logical Form |
107
Voted
EUSFLAT
2009
14 years 10 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
116
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
Standard inductive learning requires that training and test instances come from the same distribution. Transfer learning seeks to remove this restriction. In shallow transfer, tes...
110
Voted
CADE
1994
Springer
15 years 4 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
98
Voted
IJCAI
2003
15 years 2 months ago
2003
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
115
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...