3481 search results - page 533 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
144
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
129
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
125
Voted
ILP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
114
Voted
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
114
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...