Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEkawit Nantajeewarawat
Publications
- 2019
[c45]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Logical Problem Solving Framework. ACIIDS (1) 2019: 28-40- [c44]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Term Rewriting that Preserves Models in KR-Logic. ACIIDS (1) 2019: 41-52 - [c43]Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama:
Inventing ET Rules to Improve an MI Solver on KR-logic. KEOD 2019: 274-281 - [c42]Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama:
Logical Approach to Theorem Proving with Term Rewriting on KR-logic. KEOD 2019: 282-289 - 2018
- [c40]Kiyoshi Akama, Ekawit Nantajeewarawat:
Solving Query-Answering Problems with Constraints for Function Variables. ACIIDS (1) 2018: 36-47 - [c39]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Computation Control by Prioritized ET Rules. KEOD 2018: 82-93 - [c38]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Side-Change Transformation. KEOD 2018: 235-244 - 2016
- [c37]Kiyoshi Akama, Ekawit Nantajeewarawat:
Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema. KEOD 2016: 52-63 - [c36]Kiyoshi Akama, Ekawit Nantajeewarawat:
Unfolding Existentially Quantified Sets of Extended Clauses. KEOD 2016: 96-103 - 2015
- [c35]Kiyoshi Akama, Ekawit Nantajeewarawat:
A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation. KEOD 2015: 38-49 - [c34]Kiyoshi Akama, Ekawit Nantajeewarawat:
Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation. IC3K 2015: 191-212 - [c33]Kiyoshi Akama, Ekawit Nantajeewarawat:
Function-variable Elimination and Its Limitations. KEOD 2015: 212-222 - 2014
- [c31]Kiyoshi Akama, Ekawit Nantajeewarawat:
Equivalent Transformation in an Extended Space for Solving Query-Answering Problems. ACIIDS (1) 2014: 232-241 - [c30]Kiyoshi Akama, Ekawit Nantajeewarawat:
Solving Query-answering Problems with If-and-Only-If Formulas. KEOD 2014: 333-344 - 2013
- [c28]Kiyoshi Akama, Ekawit Nantajeewarawat:
Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. ACIIDS (1) 2013: 404-413 - [c27]Kiyoshi Akama, Ekawit Nantajeewarawat:
Integration of and a Solution for Proof Problems and Query-Answering Problems. IC3K 2013: 215-229 - [c26]Kiyoshi Akama, Ekawit Nantajeewarawat:
Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. KEOD 2013: 253-260 - [c25]Kiyoshi Akama, Ekawit Nantajeewarawat:
An ET-Based Low-Level Solution for Query-Answering Problems. MIWAI 2013: 1-12 - 2012
- [c24]Kiyoshi Akama, Ekawit Nantajeewarawat:
A Delayed Splitting Bottom-Up Procedure for Model Generation. Australasian Conference on Artificial Intelligence 2012: 481-492 - 2011
- [c20]Kiyoshi Akama, Ekawit Nantajeewarawat:
Meaning-preserving Skolemization. KEOD 2011: 322-327 - [c19]Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics. ICSECS (3) 2011: 702-716 - 2008
- [j12]Kiyoshi Akama, Ekawit Nantajeewarawat:
Extension of logical structures by safe extension of specialisation systems. Int. J. Autom. Control. 2(2/3): 340-364 (2008) - 2007
- [j10]Ekawit Nantajeewarawat, Kiyoshi Akama, Hidekatsu Koike:
Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules. J. Adv. Comput. Intell. Intell. Informatics 11(5): 478-490 (2007) - [j9]Kiyoshi Akama, Ekawit Nantajeewarawat:
State-Transition Computation Models and Program Correctness Thereon. J. Adv. Comput. Intell. Intell. Informatics 11(10): 1250-1261 (2007) - 2006
- [j8]Kiyoshi Akama, Ekawit Nantajeewarawat:
Formalization of the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics 10(3): 245-259 (2006) - [c10]Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. Ershov Memorial Conference 2006: 41-54 - 2004
- [j6]Ekawit Nantajeewarawat, Vilas Wuwongse, Chutiporn Anutariya
, Kiyoshi Akama, Surapa Thiemjarus:
Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory. Int. J. Intell. Syst. 19(1-2): 89-98 (2004) - 2003
- [j5]Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat:
A Data Model for XML Databases. J. Intell. Inf. Syst. 20(1): 63-80 (2003) - 2002
- [c9]Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Synthesis Based on the Equivalent Transformation Computation Model. LOPSTR 2002: 278-279 - [c8]Kiyoshi Akama, Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat:
Query Formulation and Evaluation of XML Databases. WITASI 2002: 273-288 - 2001
- [j2]Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Ekawit Nantajeewarawat:
XML Declarative Description: A Language for the Semantic Web. IEEE Intell. Syst. 16(3): 54-65 (2001) - [j1]Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata. J. Digit. Inf. 2(2) (2001) - [c7]Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata. Dublin Core Conference 2001: 1-8 - [c6]Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat:
A Data Model for XML Databases. Web Intelligence 2001: 237-246 - [c5]Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. RULE@PLI 2001: 255-270 - 2000
- [c4]Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat, Kiyoshi Akama:
Towards a Foundation for XML Document Databases. EC-Web 2000: 324-333
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
