918 search results - page 57 / 184 » Speculative Issue Logic |
166
Voted
AAAI
1998
15 years 7 months ago
1998
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
177
click to vote
WISES
2003
15 years 7 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...
171
Voted
ISCA
2009
IEEE
16 years 22 days ago
2009
IEEE
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
182
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
221
click to vote
ER
1995
Springer
15 years 9 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...