 | 1988 |
4 |  | Sangki Han,
Jung Wan Cho:
SPHINX - A Hybrid Knowledge Representation System.
FGCS 1988: 1211-1220 |
3 |  | Sangki Han,
D. W. Shin,
Y. Kim,
Y. P. Jun,
Seung Ryoul Maeng,
Jung Wan Cho:
A logic programming approach to hybrid knowledge representation.
Applied Artificial Intelligence 2(2): 93-127 (1988) |
| 1987 |
2 |  | D. W. Shin,
Jong H. Nang,
Sangki Han,
Seungryul R. Maeng:
A Functional Logic Language Based on Canonical Unification.
SLP 1987: 328-334 |
| 1985 |
1 |  | Sangki Han,
Jung Wan Cho:
KPSP: A Knowledge Programming System based on Prolog.
ER 1985: 2-9 |