no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Automated reasoning about machines
|
Gelsey, Andrew |
|
1995 |
74 |
1 |
p. 1-53 53 p. |
article |
2 |
Computing marginals for arbitrary subsets from marginal representation in Markov trees
|
Xu, Hong |
|
1995 |
74 |
1 |
p. 177-189 13 p. |
article |
3 |
Default reasoning about spatial occupancy
|
Shanahan, Murray |
|
1995 |
74 |
1 |
p. 147-163 17 p. |
article |
4 |
Editorial Board
|
|
|
1995 |
74 |
1 |
p. IFC- 1 p. |
article |
5 |
Forthcoming papers
|
|
|
1995 |
74 |
1 |
p. 203-205 3 p. |
article |
6 |
Horn approximations of empirical data
|
Kautz, Henry |
|
1995 |
74 |
1 |
p. 129-145 17 p. |
article |
7 |
Inductive functional programming using incremental program transformation
|
Olsson, Roland |
|
1995 |
74 |
1 |
p. 55-81 27 p. |
article |
8 |
Machine discovery in chemistry: new results
|
Valdés-Pérez, Raúl E. |
|
1995 |
74 |
1 |
p. 191-201 11 p. |
article |
9 |
Quantitatively relating abstractness to the accuracy of admissible heuristics
|
Prieditis, Armand |
|
1995 |
74 |
1 |
p. 165-175 11 p. |
article |
10 |
World modeling for the dynamic construction of real-time control plans
|
Musliner, David J. |
|
1995 |
74 |
1 |
p. 83-127 45 p. |
article |