4617 search results - page 640 / 924 » Automation of Diagrammatic Reasoning |
190
click to vote
LOPSTR
2007
Springer
16 years 1 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...
202
click to vote
LOPSTR
2007
Springer
16 years 1 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...
187
click to vote
LPAR
2007
Springer
16 years 1 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...
172
click to vote
LPAR
2007
Springer
16 years 1 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...
219
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...