352 search results - page 38 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
148
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
128
click to vote
ILP
2000
Springer
15 years 8 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
147
Voted
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
130
click to vote
DBPL
1993
Springer
15 years 8 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
144
click to vote
DIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...