886 search results - page 22 / 178 » Reasoning with contextual graphs |
106
click to vote
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
133
click to vote
VL
1991
IEEE
15 years 5 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
166
click to vote
MOBIQUITOUS
2008
IEEE
15 years 8 months ago
2008
IEEE
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
118
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...