670 search results - page 29 / 134 » Modeling generalized implicatures using non-monotonic logics |
SOCO
2002
Springer
14 years 11 months ago
2002
Springer
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
115
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
TCAD
1998
14 years 11 months ago
1998
In this paper, we present a probabilistic simulation technique to estimate the power consumption of a cmos circuit under a general delay model. This technique is based on the noti...
100
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...