Seungyeob Choi

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Seungyeob Choi
Towards Semantic Goal-Directed Forward Reasoning in Resolution. AIMSA (2002)
Seungyeob Choi, Manfred Kerber
Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence (2002)