918 search results - page 26 / 184 » Speculative Issue Logic |
159
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
163
click to vote
TC
2002
15 years 5 months ago
2002
Value prediction is a technique that breaks true data dependences by predicting the outcome of an instruction and speculatively executes its data-dependent instructions based on th...
165
click to vote
RULEML
2009
Springer
16 years 16 days ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
157
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
Synchronous design methods have intrinsic performance overheads due to their use of the global clock and timing assumptions. In future manufacturing processes not only may it beco...
142
click to vote
EKAW
2006
Springer
15 years 9 months ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...