Seung S. Park

Publication Activity (10 Years)

Years Active: 1988-1990
Publications (10 Years): 0

Publications

Wah-Bih Liaw, Frank M. Brown, Seung S. Park
Towards Common Sense Planning. ACM Conference on Computer Science (1990)
Frank M. Brown, Seung S. Park, Jim Phelps
ZPLAN: An Automatic Reasoning System for Situations. CADE (1988)
Frank M. Brown, Seung S. Park
SYMEVAL: A Theorem Prover Based on the Experimental Logic. CADE (1988)