1076 search results - page 105 / 216 » Logical Languages for Data Mining |
126
Voted
POPL
2010
ACM
16 years 28 days ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
118
Voted
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
150
click to vote
ICGI
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
139
Voted
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
195
Voted
KRDB
2003
15 years 4 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...