465 search results - page 64 / 93 » Knowledge and the Problem of Logical Omniscience |
105
click to vote
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
—When manufacturing nano-devices, defects are a certainty and reliability becomes a critical issue. Until now, the most pervasive methods used to address reliability, involve inj...
126
click to vote
AAAI
1990
15 years 3 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
113
click to vote
CPAIOR
2009
Springer
15 years 8 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
119
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
134
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...