2585 search results - page 44 / 517 » Automating Coherent Logic |
142
click to vote
ISCA
2002
IEEE
15 years 6 months ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
120
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
110
click to vote
ISBI
2008
IEEE
16 years 2 months ago
2008
IEEE
Optical Coherence Tomography (OCT) is a non-invasive tool for visualizing the retina. It is increasingly used to diagnose eye diseases such as glaucoma and diabetic maculopathy. H...
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic that were recently introduced by Andr
212
click to vote
NIL
1991
15 years 5 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.