1549 search results - page 56 / 310 » On the rules of intermediate logics |
RR
2007
Springer
14 years 3 months ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
IEAAIE
2004
Springer
14 years 2 months ago
2004
Springer
This work presents the application of a first-order logic incremental learning system, INTHELEX, to learn rules for the automatic identification of a wide range of significant docu...
AIIA
2003
Springer
14 years 2 months ago
2003
Springer
This paper aims at presenting the application of first-order logic machine learning techniques to two document domains in order to learn rules for recognizing the semantic role of...
EUSFLAT
2009
13 years 6 months ago
2009
-- An approach to estimate the number of rules by spectral analysis of the training dataset has been recently proposed [1]. This work presents an analysis of such a method in high ...