151 search results - page 4 / 31 » A Comparative Fuzzy Modal Logic |
DLOG
1998
14 years 6 days ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
EUSFLAT
2009
13 years 8 months ago
2009
Abstract-- We describe an automatic approach for evaluating interpretability of fuzzy rule-based classifiers. The approach is based on the logical view of fuzzy rules, which are in...
EUSFLAT
2001
14 years 7 days ago
2001
In this document we cany out a comparative analysis of the reasoning strategies implemented in Fuzzy Logic Controllers (hereinafter FLCs) and Faded Temporal Fuzzy Logic Controller...
AIML
2006
14 years 8 days ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
LPAR
2001
Springer
14 years 3 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...