96 search results - page 4 / 20 » A Short Survey of Automated Reasoning |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
CSL
2007
Springer
14 years 9 months ago
2007
Springer
Automatic speech recognition (ASR) has reached very high levels of performance in controlled situations. However, the performance degrades significantly when environmental noise ...
RWEB
2005
Springer
15 years 3 months ago
2005
Springer
A number of techniques have been developed to facilitate powerful data retrieval on the Web and Semantic Web. Three categories of Web query languages can be distinguished, accordin...
DLOG
1997
14 years 11 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
MICAI
2005
Springer
15 years 3 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...