| |
| 1990 | ||
|---|---|---|
| 3 | EE | Wah-Bih Liaw, Frank M. Brown, Seung S. Park: Towards Common Sense Planning. ACM Conference on Computer Science 1990: 281-287 |
| 1988 | ||
| 2 | Frank M. Brown, Seung S. Park: SYMEVAL: A Theorem Prover Based on the Experimental Logic. CADE 1988: 756-757 | |
| 1 | Frank M. Brown, Seung S. Park, Jim Phelps: ZPLAN: An Automatic Reasoning System for Situations. CADE 1988: 758-759 | |
| 1 | Frank M. Brown | [1] [2] [3] |
| 2 | Wah-Bih Liaw | [3] |
| 3 | Jim Phelps | [1] |