Seung S. Park

According to our database, Seung S. Park authored at least 3 papers between 1988 and 1990.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1990

Towards Common Sense Planning.

Wah-Bih Liaw, Frank M. Brown, Seung S. Park

Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1988

ZPLAN: An Automatic Reasoning System for Situations.

Frank M. Brown, Seung S. Park, Jim Phelps

Proceedings of the 9th International Conference on Automated Deduction, 1988

SYMEVAL: A Theorem Prover Based on the Experimental Logic.

Frank M. Brown, Seung S. Park

Proceedings of the 9th International Conference on Automated Deduction, 1988