| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A common framework for reasoning on uncertainty both at symbolic and numerical levels
|
Fualdes, Thierry D
|
|
1993
|
9 |
4 |
p. 339-347
9 p.
|
artikel
|
| 2 |
AI and space
|
Fuchs, J
|
|
1993
|
9 |
4 |
p. 285-286
2 p.
|
artikel
|
| 3 |
A use of case-based reasoning technique in building expert systems
|
Vo, Dinh Phuoc
|
|
1993
|
9 |
4 |
p. 311-319
9 p.
|
artikel
|
| 4 |
Author index to volume 9 (1993)
|
|
|
1993
|
9 |
4 |
p. 381-382
2 p.
|
artikel
|
| 5 |
Book announcement
|
|
|
1993
|
9 |
4 |
p. 379-
1 p.
|
artikel
|
| 6 |
Calendar
|
|
|
1993
|
9 |
4 |
p. 385-387
3 p.
|
artikel
|
| 7 |
Issues in practical model-based diagnosis
|
Bakker, R.R
|
|
1993
|
9 |
4 |
p. 329-337
9 p.
|
artikel
|
| 8 |
PREVISE: A knowledge-based system to support the preparation and verification of space operations procedures
|
de Saint Vincent, A
|
|
1993
|
9 |
4 |
p. 287-301
15 p.
|
artikel
|
| 9 |
QUATRAIN — A design support tool and a data processing sequence supervisor
|
D'Heygère, François
|
|
1993
|
9 |
4 |
p. 321-328
8 p.
|
artikel
|
| 10 |
SE-TC2: Telecom 2 expert system (The first expert system in a CNES Satellite Control Centre)
|
Bastien-Thiry, Christophe
|
|
1993
|
9 |
4 |
p. 303-309
7 p.
|
artikel
|
| 11 |
Subject index to volume 9 (1993)
|
|
|
1993
|
9 |
4 |
p. 383-384
2 p.
|
artikel
|
| 12 |
The elements of an open KBS infrastructure
|
Smith, H.N
|
|
1993
|
9 |
4 |
p. 349-369
21 p.
|
artikel
|
| 13 |
ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems
|
Hollnagel, Erik
|
|
1993
|
9 |
4 |
p. 371-378
8 p.
|
artikel
|
Tijdschrift beschrijving