1950 search results - page 37 / 390 » Lambda-Free Logical Frameworks |
110
click to vote
WOLLIC
2009
Springer
15 years 4 months 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...
103
click to vote
EPIA
2009
Springer
15 years 4 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
CAEPIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
118
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
EUSFLAT
2009
14 years 7 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...