58 search results - page 10 / 12 » Deductions with Meaning |
ISTA
2004
13 years 9 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
AI
1999
Springer
13 years 7 months ago
1999
Springer
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
COSIT
2009
Springer
13 years 5 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
PLPV
2009
ACM
14 years 4 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
LOGCOM
2000
13 years 7 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...