Sciweavers

3238 search results - page 17 / 648
» On the Computational Interpretation of Negation
Sort
View
WILF
2007
Springer
92views Fuzzy Logic» more  WILF 2007»
15 years 3 months ago
Measuring the Interpretive Cost in Fuzzy Logic Computations
Pascual Julián, Ginés Moreno, Jaime ...
AGP
2003
IEEE
15 years 2 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»
14 years 9 months ago
A computer system for interpreting blood glucose data
T. Deutsch, T. Gergely, V. Trunov