-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
J.F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26 (1983), 832-843.
-
(1983)
Communications of the ACM
, vol.26
, pp. 832-843
-
-
Allen, J.F.1
-
2
-
-
0021466185
-
Towards a general theory of action and time
-
J.F. Allen, Towards a general theory of action and time, Artificial Intelligence 23 (1984), 123-154.
-
(1984)
Artificial Intelligence
, vol.23
, pp. 123-154
-
-
Allen, J.F.1
-
3
-
-
0032093866
-
A spectrum of definitions for temporal model-based diagnosis
-
V. Brusoni, L. Console, P. Terenziani and D. Theseider Dupré, A spectrum of definitions for temporal model-based diagnosis, Artificial Intelligence 102 (1998), 39-79.
-
(1998)
Artificial Intelligence
, vol.102
, pp. 39-79
-
-
Brusoni, V.1
Console, L.2
Terenziani, P.3
Theseider Dupré, D.4
-
4
-
-
0026151569
-
The computational complexity of abduction
-
T. Bylander, D. Allemang, M.C. Tanner and J.R. Josephson, The computational complexity of abduction, Artificial Intelligence 49 (1991), 25-60.
-
(1991)
Artificial Intelligence
, vol.49
, pp. 25-60
-
-
Bylander, T.1
Allemang, D.2
Tanner, M.C.3
Josephson, J.R.4
-
6
-
-
0000859696
-
Integrating models of the correct behavior into abductive diagnosis
-
L. Console and P. Torasso, Integrating models of the correct behavior into abductive diagnosis, Proc. ECAI-90 (1990), 160-166.
-
(1990)
Proc. ECAI-90
, pp. 160-166
-
-
Console, L.1
Torasso, P.2
-
7
-
-
84990557471
-
A spectrum of logical definitions of model-based diagnosis
-
L. Console and P. Torasso, A spectrum of logical definitions of model-based diagnosis, Computational Intelligence 7 (1991), 133-141.
-
(1991)
Computational Intelligence
, vol.7
, pp. 133-141
-
-
Console, L.1
Torasso, P.2
-
8
-
-
0026410153
-
On the co-operation between abductive and temporal reasoning in medical diagnosis
-
L. Console and P. Torasso, On the co-operation between abductive and temporal reasoning in medical diagnosis, Artificial Intelligence in Medicine 3 (1991), 291-311.
-
(1991)
Artificial Intelligence in Medicine
, vol.3
, pp. 291-311
-
-
Console, L.1
Torasso, P.2
-
13
-
-
0035245909
-
Abductive diagnosis using time-objects: Criteria for the evaluation of solutions
-
E.T. Keravnou and J. Washbrook, Abductive diagnosis using time-objects: criteria for the evaluation of solutions, Computational Intelligence 17 (2001), 87-131.
-
(2001)
Computational Intelligence
, vol.17
, pp. 87-131
-
-
Keravnou, E.T.1
Washbrook, J.2
-
14
-
-
0030201087
-
Temporal reasoning for diagnosis in a causal probabilistic knowledge base
-
W. Long, Temporal reasoning for diagnosis in a causal probabilistic knowledge base, Artificial Intelligence in Medicine 8 (1996), 193-215.
-
(1996)
Artificial Intelligence in Medicine
, vol.8
, pp. 193-215
-
-
Long, W.1
-
15
-
-
0032182368
-
Analysis of notions of diagnosis
-
P.J.F. Lucas, Analysis of notions of diagnosis, Artificial Intelligenc 105 (1998), 295-343.
-
(1998)
Artificial Intelligenc
, vol.105
, pp. 295-343
-
-
Lucas, P.J.F.1
-
16
-
-
49449120803
-
Consistency in networks of relations
-
A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1977), 99-118.
-
(1977)
Artificial Intelligence
, vol.8
, pp. 99-118
-
-
Mackworth, A.K.1
-
18
-
-
0026120001
-
Constraint relaxation may be perfect
-
U. Montanari and F. Rossi, Constraint relaxation may be perfect, Artificial Intelligence 48 (1991), 143-170.
-
(1991)
Artificial Intelligence
, vol.48
, pp. 143-170
-
-
Montanari, U.1
Rossi, F.2
-
20
-
-
84990556284
-
Explanation and prediction: An architecture for default and abductive reasoning
-
D. Poole, Explanation and prediction: an architecture for default and abductive reasoning, Computational Intelligence 5 (1989), 97-110.
-
(1989)
Computational Intelligence
, vol.5
, pp. 97-110
-
-
Poole, D.1
-
21
-
-
0002338753
-
Normality and faults in logic-based diagnosis
-
D. Poole, Normality and faults in logic-based diagnosis, Proc. IJCAI-89 (1989), 1304-1310.
-
(1989)
Proc. IJCAI-89
, pp. 1304-1310
-
-
Poole, D.1
-
22
-
-
0025645515
-
A methodology for using a default and abductive reasoning system
-
D. Poole, A methodology for using a default and abductive reasoning system, International Journal of Intelligent Systems 5 (1990), 521-548.
-
(1990)
International Journal of Intelligent Systems
, vol.5
, pp. 521-548
-
-
Poole, D.1
-
23
-
-
0000722308
-
Towards a causal ontology coping with the temporal constraints between causes and effects
-
P. Terenziani, Towards a causal ontology coping with the temporal constraints between causes and effects, Int. J. Human-Computer Studies 45 (1995), 847-863.
-
(1995)
Int. J. Human-Computer Studies
, vol.45
, pp. 847-863
-
-
Terenziani, P.1
-
26
-
-
0018000727
-
A model-based method for computer-aided medical decision-making
-
S.M. Weiss, C.A. Kulikowski, S. Amarel and A. Safir, A model-based method for computer-aided medical decision-making, Artificial Intelligence 11 (1978), 145-172.
-
(1978)
Artificial Intelligence
, vol.11
, pp. 145-172
-
-
Weiss, S.M.1
Kulikowski, C.A.2
Amarel, S.3
Safir, A.4
|