Sciweavers

2348 search results - page 51 / 470
» A Fuzzy Description Logic
Sort
View
BSL
2008
92views more  BSL 2008»
14 years 10 months ago
Mathematical Fuzzy Logics
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...
Siegfried Gottwald
CADE
1998
Springer
15 years 2 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
CADE
2006
Springer
15 years 1 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma
JCIT
2008
144views more  JCIT 2008»
14 years 9 months ago
Design Methodology of a Controller to Forecast the Uncertain Cardiac Arrest Using Fuzzy Logic Approach
The main objective of design methodology of a controller for forecasting cardiac arrest using fuzzy logic approach is to provide the prediction of period of life time for the pati...
Nalayini Natarajan, Wahida Banu
AML
2005
91views more  AML 2005»
14 years 9 months ago
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
Agata Ciabattoni