3973 search results - page 213 / 795 » Records for Logic Programming |
128
click to vote
KDD
2003
ACM
16 years 4 months ago
2003
ACM
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...
138
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
150
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
124
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
141
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...