Travelled to:
1 × USA
Collaborated with:
F.M.Brown J.Phelps
Talks about:
experiment (1) theorem (1) automat (1) system (1) situat (1) reason (1) prover (1) zplan (1) symev (1) logic (1)
Person: Seung S. Park
DBLP: Park:Seung_S=
Contributed to:
Wrote 2 papers:
- CADE-1988-BrownP #logic #named #proving #theorem proving
- SYMEVAL: A Theorem Prover Based on the Experimental Logic (FMB, SSP), pp. 756–757.
- CADE-1988-BrownPP #automation #named #reasoning
- ZPLAN: An Automatic Reasoning System for Situations (FMB, SSP, JP), pp. 758–759.