2082 search results - page 166 / 417 » Change Paths in Reasoning! |
211
click to vote
MOBICOM
2000
ACM
15 years 8 months ago
2000
ACM
As the recent denial-of-service attacks on several major Internet sites have shown us, no open computer network is immune from intrusions. The wireless ad-hoc network is particula...
129
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
132
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
134
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...
128
click to vote
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...