Dae-Seong KANG


Extending LogicWeb via Hereditary Harrop Formulas
Keehang KWON Dae-Seong KANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/06/01
Vol. E91-D  No. 6  pp. 1827-1829
Type of Manuscript:  LETTER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
prologsemantic Webinterface
 Summary | Full Text:PDF

A Query System for Texts with Macros
Keehang KWON Dae-Seong KANG Jinsoo KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/01/01
Vol. E91-D  No. 1  pp. 145-147
Type of Manuscript:  LETTER
Category: Automata and Formal Language Theory
Keyword: 
text searchinternetinformation retrievallinear logic
 Summary | Full Text:PDF