1059 search results - page 26 / 212 » Standard Logics Are Valuation-Nonmonotonic |
173
click to vote
RAID
1999
Springer
15 years 10 months ago
1999
Springer
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...
151
click to vote
SGAI
2009
Springer
15 years 10 months ago
2009
Springer
PSO is a population-based technique for optimization, which simulates the social behavior of the fish schooling or bird flocking. Two significant weaknesses of this method are: fir...
126
click to vote
MLQ
2007
15 years 5 months ago
2007
It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w.r.t. the class of all finite MTL-chains. In order to reach a deeper understanding ...
156
click to vote
LOGCOM
2010
15 years 4 months ago
2010
All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiab...
153
click to vote
TARK
2009
Springer
16 years 18 days ago
2009
Springer
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...