1373 search results - page 147 / 275 » What is Fuzzy Logic |
153
click to vote
LFCS
2007
Springer
15 years 12 months ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
172
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
158
click to vote
CADE
2008
Springer
15 years 7 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
153
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
179
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...