Keyword : automated reasoning


Extracting Chemical Reactions from Thai Text for Semantics-Based Information Retrieval
Peerasak INTARAPAIBOON Ekawit NANTAJEEWARAWAT Thanaruk THEERAMUNKONG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/03/01
Vol. E94-D  No. 3 ; pp. 479-486
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge Discovery, Data Mining and Creativity Support System)
Category: 
Keyword: 
information extractionsemantics-based information retrievalontologydescription logicsautomated reasoning
 Summary | Full Text:PDF

Decomposable Termination of Composable Term Rewriting Systems
Masahito KURIHARA Azuma OHUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/04/25
Vol. E78-D  No. 4 ; pp. 314-320
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
term rewriting systemterminationmodularityalgebraic specificationautomated reasoning
 Summary | Full Text:PDF