4573 search results - page 619 / 915 » Automated Reasoning |
155
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
138
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
138
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
120
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
104
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...