28 search results - page 2 / 6 » aisc 2008 |
AISC
2008
Springer
14 years 12 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
AISC
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. McDermott [12,13] introduced the concept "Artificial Intelligence meets Natural Stupidity". In this paper, we explore how Artificial Intelligence and Symbolic C...
AISC
2008
Springer
14 years 12 months ago
2008
Springer
This paper discusses the pros and cons of using a functional language for implementing a computer algebra system. The contributions of the paper are twofold. Firstly, we discuss so...
AISC
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
AISC
2008
Springer
14 years 12 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...