nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Announcements
|
|
|
1992 |
56 |
2-3 |
p. 399-400 2 p. |
artikel |
2 |
A symbolic approach to qualitative kinematics
|
Faltings, Boi |
|
1992 |
56 |
2-3 |
p. 139-170 32 p. |
artikel |
3 |
Author index—Volume 56 (1992)
|
|
|
1992 |
56 |
2-3 |
p. 403- 1 p. |
artikel |
4 |
Characterizing diagnoses and systems
|
de Kleer, Johan |
|
1992 |
56 |
2-3 |
p. 197-222 26 p. |
artikel |
5 |
Forthcoming papers
|
|
|
1992 |
56 |
2-3 |
p. 401-402 2 p. |
artikel |
6 |
Linear resolution for consequence finding
|
Inoue, Katsumi |
|
1992 |
56 |
2-3 |
p. 301-353 53 p. |
artikel |
7 |
On the complexity of blocks-world planning
|
Gupta, Naresh |
|
1992 |
56 |
2-3 |
p. 223-254 32 p. |
artikel |
8 |
Qualitative superposition
|
Coiera, Enrico W. |
|
1992 |
56 |
2-3 |
p. 171-196 26 p. |
artikel |
9 |
Reasoning about model accuracy
|
Weld, Daniel S. |
|
1992 |
56 |
2-3 |
p. 255-300 46 p. |
artikel |
10 |
The emperor's real mind: Review of Roger Penrose's the emperor's new mind: Concerning computers, minds and the laws of physics
|
Sloman, Aaron |
|
1992 |
56 |
2-3 |
p. 355-396 42 p. |
artikel |
11 |
Use of the Gibbs sampler in expert systems
|
York, Jeremy |
|
1992 |
56 |
2-3 |
p. 397-398 2 p. |
artikel |