Reasoning with Limited Unification in a Connectionist Rule-Based System. - Nam Seog Park; Dave Robertson 001; Keith Stenning (ICLP Workshop: Logic and Reasoning with Neural Networks, 1994)

Extension of the temporal synchrony approach to dynamic variable bindingin a connectionist inference system. - Nam Seog Park; Dave Robertson 001; Keith Stenning (Knowl. Based Syst., 1995)

A connectionist representation of first-order formulae with dynamic variable binding. - Nam Seog Park (1997)

Addressing Knowledge-Representation Issues in Connectionist Symbolic Rule Encoding for General Inference. - Nam Seog Park (Hybrid Neural Systems, 1998)

Java-Based Distributed Intelligent Agent Architecture for Building Safety-Critical Tele-Inspection Systems on the Internet. - Jae-Chul Moon; Soon-Ju Kang; Nam Seog Park (IEA/AIE, 2000)

Connectionist symbolic rule encoding using a generalized phase-locking mechanism. - Nam Seog Park (Expert Syst. J. Knowl. Eng., 2000)