1128 search results - page 30 / 226 » Classical Natural Deduction |
ICCBR
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
BIBE
2005
IEEE
13 years 11 months ago
2005
IEEE
The classification of proteins based on their structure can play an important role in the deduction or discovery of protein function. However, the relatively low number of solved...
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
In the quality assessment task, observers evaluate a natural image based on its perceptual resemblance to a reference. For the utility assessment task, observers evaluate the usef...
CSR
2007
Springer
14 years 4 months ago
2007
Springer
We investigate the complexity of equivalence problems for {∪, ∩, − , +, ×}-circuits computing sets of natural numbers. These problems were first introduced by Stockmeyer an...
APCCM
2009
13 years 11 months ago
2009
Database Semantics (DBS) is a computational model of how communicating with natural language works. at a level of abstraction which may be applied to natural and artificial agents...