Seungyeob Choi

According to our database, Seungyeob Choi authored at least 2 papers in 2002.

Collaborative distances:

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

2002

Semantic Selection for Resolution in Clause Graphs.

Seungyeob Choi, Manfred Kerber

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

Towards Semantic Goal-Directed Forward Reasoning in Resolution.

Seungyeob Choi

Proceedings of the Artificial Intelligence: Methodology, 2002