2291 search results - page 175 / 459 » Representational Reasoning and Verification |
140
click to vote
DLOG
1996
15 years 7 months ago
1996
Several significant problems exist whenapplying knowledge representation systems to real problems. In particular, the obscurity of LISP, the resource consumption, garbage collecti...
183
click to vote
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
176
click to vote
AGI
2011
14 years 10 months ago
2011
Intelligence is a multidimensional problem of which physical reasoning and physical knowledge are important dimensions. However, there are few resources of physical knowledge that ...
204
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
332
click to vote
SIGCSE
2006
ACM
16 years 15 days ago
2006
ACM
The statistics show that the number of Computer Science majors is dropping across the United States. Possible reasons include a reduced number of jobs in the field, an incorrect p...