2962 search results - page 333 / 593 » Reasoning on Association Rules |
158
click to vote
SAFECOMP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
186
click to vote
NMR
2004
Springer
16 years 20 hour ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
200
Voted
KR
2010
Springer
15 years 11 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
160
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
164
click to vote
EWCBR
1993
Springer
15 years 10 months ago
1993
Springer
This paper presents a novel approach to determine structural similarity as guidance for adaptation in case-based reasoning (Cbr). We advance structural similarity assessment which ...