AI
2000
Springer
13 years 11 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
AI
2000
Springer
13 years 11 months ago
2000
Springer
AI
2000
Springer
13 years 11 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
AI
2000
Springer
13 years 11 months ago
2000
Springer
AI
2000
Springer
13 years 11 months ago
2000
Springer
The creation of a complex web site is a thorny problem in user interface design. In this paper we explore the notion of adaptive web sites: sites that semi-automatically improve t...
AI
2000
Springer
13 years 11 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
AI
2000
Springer
13 years 11 months ago
2000
Springer
AI
2000
Springer
13 years 11 months ago
2000
Springer
The World Wide Web has become an invaluable information resource but the explosion of available information has made web search a time consuming and complex process. The large num...
AI
2000
Springer
13 years 11 months ago
2000
Springer
The Internet presents numerous sources of useful information--telephone directories, product catalogs, stock quotes, event listings, etc. Recently, many systems have been built th...
AI
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports the new steps undertaken in our work aimed to demonstrate the effectiveness of an omnidirectional vision sensor when conjugated with the Spatial Semantic Hierarc...