1549 search results - page 55 / 310 » On the rules of intermediate logics |
TYPES
1995
Springer
14 years 14 days ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
IJCAI
2001
13 years 10 months ago
2001
Text mining concerns the discovery of knowledge from unstructured textual data. One important task is the discovery of rules that relate specific words and phrases. Although exist...
CP
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
FUZZIEEE
2007
IEEE
13 years 10 months ago
2007
IEEE
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, a two-phase evolutionary optimization scheme is proposed for obtaining optimal structure of fuzzy control rules and their associated weights, using evolutionary prog...