3238 search results - page 1 / 648 » On the Computational Interpretation of Negation |
CSL
2000
Springer
13 years 5 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
ACL
1989
13 years 6 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
ROMAN
2007
IEEE
13 years 11 months ago
2007
IEEE
— The ability for people to interact with robots and teach them new skills will be crucial to the successful application of robots in everyday human environments. In order to des...
CVHI
2007
13 years 6 months ago
2007
: We are developing computer vision algorithms for sensing important terrain features as an aid to wheelchair navigation, which interpret visual information obtained from images co...
CIE
2010
Springer
13 years 10 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...