1131 search results - page 74 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
112
Voted
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
This paper proposes an efficient method to learn from multi source data with an Inductive Logic Programming method. The method is based on two steps. The first one consists in lea...
115
Voted
SWAP
2008
15 years 1 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
103
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
103
Voted
HASKELL
2008
ACM
15 years 1 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...