641 search results - page 37 / 129 » Embedding Finite Sets in a Logic Programming Language |
171
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
183
click to vote
COLT
1994
Springer
15 years 7 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
127
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
131
Voted
POPL
2010
ACM
16 years 22 days ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
160
Voted
CLIMA
2004
15 years 4 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...