|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An alternative verification and validation technique for an alternative knowledge representation and acquisition technique |
Richards, D |
1999 |
12 | 1-2 |
p. 55-73 19 p. |
artikel |
|
| 2 | Applications of rule-base coverage measures to expert system evaluation |
Barr, V |
1999 |
12 | 1-2 |
p. 27-35 9 p. |
artikel |
|
| 3 | Coverage: verifying multiple-agent knowledge-based systems |
Preece, A |
1999 |
12 | 1-2 |
p. 37-44 8 p. |
artikel |
|
| 4 | Detecting redundancy among production rules using term rewrite semantics |
Schmolze, J.G. |
1999 |
12 | 1-2 |
p. 3-11 9 p. |
artikel |
|
| 5 | Rule-based systems formalized within a software architectural style |
Gamble, R.F |
1999 |
12 | 1-2 |
p. 13-26 14 p. |
artikel |
|
| 6 | Special issue on verification and validation |
Plant, Robert |
1999 |
12 | 1-2 |
p. 1-2 2 p. |
artikel |
|
| 7 | Verifying ontological commitment in knowledge-based systems |
Waterson, A |
1999 |
12 | 1-2 |
p. 45-54 10 p. |
artikel |
7 gevonden resultaten