3970 search results - page 40 / 794 » A Logic For Causal Reasoning |
LANMR
2007
13 years 9 months ago
2007
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
AIME
1997
Springer
13 years 11 months ago
1997
Springer
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
EUROCAST
2007
Springer
13 years 9 months ago
2007
Springer
LPNMR
1999
Springer
13 years 12 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
ICLP
2001
Springer
14 years 2 days ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...