Seungyeob Choi

List of publications from the DBLP Bibliography Server - FAQ

2002

2 EE Seungyeob Choi: Towards Semantic Goal-Directed Forward Reasoning in Resolution. AIMSA 2002: 243-252

1 EE Seungyeob Choi, Manfred Kerber: Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence 2002: 83-94

2002
2	EE	Seungyeob Choi: Towards Semantic Goal-Directed Forward Reasoning in Resolution. AIMSA 2002: 243-252
1	EE	Seungyeob Choi, Manfred Kerber: Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence 2002: 83-94

Coauthor Index