276 search results - page 43 / 56 » Extremely Low-Power Logic |
AAAI
1993
13 years 9 months ago
1993
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
IJCAI
1989
13 years 8 months ago
1989
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
DAM
2002
13 years 7 months ago
2002
In K(n, n) with edges colored either red or blue, we show that the problem of finding a solution matching, a perfect matching consisting of exactly r red edges, and (n - r) blue e...
IJACTAICIT
2010
13 years 4 months ago
2010
In this paper, we propose SiLo, a novel energy efficient shifted logging storage architecture, for write-oriented workloads. By organizing free storage space of redundant mirrored...
IJCAI
2003
13 years 9 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...