Sciweavers

3238 search results - page 17 / 648
» On the Computational Interpretation of Negation
Sort
View
WILF
2007
Springer
92views Fuzzy Logic» more  WILF 2007»
16 years 5 days ago
Measuring the Interpretive Cost in Fuzzy Logic Computations
Pascual Julián, Ginés Moreno, Jaime ...
AGP
2003
IEEE
15 years 11 months ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
CMPB
2004
58views more  CMPB 2004»
15 years 6 months ago
A computer system for interpreting blood glucose data
T. Deutsch, T. Gergely, V. Trunov