193 search results - page 6 / 39 » Incremental logic rectification |
104
Voted
EUSFLAT
2009
14 years 9 months ago
2009
In this paper, we propose to develop the supervised classification method Fuzzy Pattern Matching to be in addition a non supervised one. The goal is to monitor dynamic systems with...
129
click to vote
CL
1999
Springer
14 years 11 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
103
click to vote
IEAAIE
2004
Springer
15 years 5 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...
85
Voted
ISSRE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
AIIA
2003
Springer
15 years 4 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...