2585 search results - page 98 / 517 » Automating Coherent Logic |
174
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
We address a novel problem domain in the analysis of optical coherence tomography (OCT) images: the diagnosis of multiple macular pathologies in retinal OCT images. The goal is to ...
180
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
263
click to vote
DEON
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
158
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
120
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...