| 2019 | ACIIDS | Logical Problem Solving Framework. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2019 | ACIIDS | Term Rewriting that Preserves Models in KR-Logic. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2019 | IC3K | Inventing ET Rules to Improve an MI Solver on KR-logic. | Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama |
| 2019 | IC3K | Logical Approach to Theorem Proving with Term Rewriting on KR-logic. | Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama |
| 2018 | ACIIDS | Solving Query-Answering Problems with Constraints for Function Variables. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2018 | ACIIDS | Design Pattern Ranking Based on the Design Pattern Intent Ontology. | Channa Bou, Nasith Laosen, Ekawit Nantajeewarawat |
| 2018 | IC3K | Computation Control by Prioritized ET Rules. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2018 | IC3K | Side-Change Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2016 | IC3K | Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2016 | IC3K | Unfolding Existentially Quantified Sets of Extended Clauses. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2015 | IC3K | A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2015 | IC3K | Function-variable Elimination and Its Limitations. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2015 | IC3K | Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2014 | ACIIDS | Equivalent Transformation in an Extended Space for Solving Query-Answering Problems. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2014 | IC3K | Solving Query-answering Problems with If-and-Only-If Formulas. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2013 | ACIIDS | Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2013 | IC3K | Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2013 | IC3K | Integration of and a Solution for Proof Problems and Query-Answering Problems. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2011 | BIBE | Towards Continuous Electrocardiogram Monitoring Based on Rules and Ontologies. | Tanatorn Tanantong, Ekawit Nantajeewarawat, Surapa Thiemjarus |
| 2011 | IC3K | Meaning-preserving Skolemization. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2010 | ACIIDS | Extracting Chemical Reactions from Thai Text for Semantics-Based Information Retrieval. | Peerasak Intarapaiboon, Ekawit Nantajeewarawat, Thanaruk Theeramunkong |
| 2010 | ACIIDS | The Vector Space Models for Finding Co-occurrence Names as Aliases in Thai Sports News. | Thawatchai Suwanapong, Thanaruk Theeramunkong, Ekawit Nantajeewarawat |
| 2009 | PAKDD | Information Extraction from Thai Text with Unknown Phrase Boundaries. | Peerasak Intarapaiboon, Ekawit Nantajeewarawat, Thanaruk Theeramunkong |
| 2002 | LOPSTR | Program Synthesis Based on the Equivalent Transformation Computation Model. | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
| 2001 | DC | RDF Declarative Description (RDD): A Language for Metadata. | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat |
| 1996 | PRICAI | Declarative Program Theory with Implicit Information. | Vilas Wuwongse, Ekawit Nantajeewarawat |