620 search results - page 30 / 124 » About the logical relations between cases and rules |
100
click to vote
AIME
1997
Springer
15 years 4 months ago
1997
Springer
A rule-based approach to the labeling of computed tomography CT head images containing intracerebral brain hemorrhage ICH is presented in this paper. Fully automated segmentat...
88
Voted
AI
2005
Springer
14 years 11 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
KR
2010
Springer
15 years 4 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
CISSE
2008
Springer
15 years 1 months ago
2008
Springer
: Many real world problems appear naturally as constraints satisfaction problems (CSP), for which very efficient algorithms are known. Most of these involve the combination of two ...
115
click to vote
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...