Sciweavers

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