2585 search results - page 44 / 517 » Automating Coherent Logic |
ISCA
2002
IEEE
14 years 2 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...
CSL
2004
Springer
14 years 3 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...
ISBI
2008
IEEE
14 years 10 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
14 years 2 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
NIL
1991
14 years 1 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.