1588 search results - page 9 / 318 » On the Logic of Constitutive Rules |
ENTCS
2010
13 years 7 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
EUSFLAT
2009
13 years 5 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
RULEML
2010
Springer
13 years 5 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
EUSFLAT
2009
13 years 5 months ago
2009
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...