3481 search results - page 237 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
136
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
114
click to vote
EOR
2006
15 years 4 months ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...
121
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
157
click to vote
DLOG
2007
15 years 6 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
143
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...