769 search results - page 79 / 154 » Is Logic all in our Heads |
130
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
95
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
97
Voted
ICDT
1999
ACM
15 years 5 months ago
1999
ACM
A large number of database index structures have been proposed over the last two decades, and little consensus has emerged regarding their relative e ectiveness. In order to empir...
108
Voted
DLOG
2010
14 years 10 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
107
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...