1549 search results - page 121 / 310 » On the rules of intermediate logics |
183
click to vote
PODS
1991
ACM
15 years 9 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
167
click to vote
CSREASAM
2006
15 years 7 months ago
2006
: - Intrusion Detection Systems are increasingly a key part of systems defense. Various approaches to Intrusion Detection are currently being used, but they are relatively ineffect...
163
click to vote
CAINE
2003
15 years 7 months ago
2003
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
161
click to vote
CBMS
2009
IEEE
16 years 18 days ago
2009
IEEE
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
171
click to vote
ISDA
2009
IEEE
16 years 13 days ago
2009
IEEE
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...