A Basic Model for Learning Systems. - Kiyoshi Akama; Atsunobu Ichikawa (IJCAI, 1979)

Inheritance Hierarchy Mechanism in Prolog. - Kiyoshi Akama (LP, 1986)

Synthesis of Conversion Rules by Expanding Knowledge Representation. - Hiroshi Mabuchi; Kiyoshi Akama; Hidekatsu Koike; Yoshinori Shigeta (Artificial Intelligence and Soft Computing, 2000)

Semantic Interpretation by Rule-based Equivalent Transformation. - Hiroshi Mabuchi; Kiyoshi Akama; Yoshinori Shigeta; Hidekatsu Koike (Artificial Intelligence and Soft Computing, 2000)

Unreachability for a Class of Rewriting Systems using Two Homomorphisms. - Yoshinori Shigeta; Kiyoshi Akama; Hidekatsu Koike; Hiroshi Mabuchi (Artificial Intelligence and Soft Computing, 2000)

Towards a Foundation for XML Document Databases. - Chutiporn Anutariya; Vilas Wuwongse; Ekawit Nantajeewarawat; Kiyoshi Akama (EC-Web, 2000)

A theoretical foundation for solving "no-solution" problems by abstraction. - Kiyoshi Akama; Hiroshi Mabuchi; Eiichi Miyamoto (Syst. Comput. Jpn., 2000)

Empirical investigations on the genetic adaptive routing algorithm in the Internet. - Masaharu Munetomo; Naohiko Yamaguchi; Kiyoshi Akama; Yoshiharu Sato (CEC, 2001)

A Theoretical Foundation of Program Synthesis by Equivalent Transformation. - Kiyoshi Akama; Hidekatsu Koike; Hiroshi Mabuchi (Ershov Memorial Conference, 2001)

Equivalent Transformation by Safe Extension of Data Structures. - Kiyoshi Akama; Hidekatsu Koike; Hiroshi Mabuchi (Ershov Memorial Conference, 2001)

Semantic Web Modeling and Programming with XDD. - Chutiporn Anutariya; Vilas Wuwongse; Kiyoshi Akama; Vichit Wattanapailin (SWWS, 2001)

XML Declarative Description: A Language for the Semantic Web. - Vilas Wuwongse; Chutiporn Anutariya; Kiyoshi Akama; Ekawit Nantajeewarawat (IEEE Intell. Syst., 2001)

RDF Declarative Description (RDD): A Language for Metadata. - Chutiporn Anutariya; Vilas Wuwongse; Kiyoshi Akama; Ekawit Nantajeewarawat (J. Digit. Inf., 2001)

A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. - Kiyoshi Akama; Ekawit Nantajeewarawat; Hidekatsu Koike (RULE@PLI, 2001)

A Foundation for Algorithm Generation by Transforming Meta-Descriptions. - Yuichi Yamamoto; Kiyoshi Akama; Masaharu Munetomo; Takahiko Ishikawa (FSKD, 2002)

A Basic Framework for Infinite Computation. - Kiyoshi Akama; Hiroshi Mabuchi; Takahiko Ishikawa; E. Boyd (IC-AI, 2002)

Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. - E. Boyd; Kiyoshi Akama; Takahiko Ishikawa; Hidekatsu Koike (IC-AI, 2002)

Framework for Synthesis by Unfolding of Declarative Programs. - Hiroshi Mabuchi; Kiyoshi Akama; Takahiko Ishikawa; Y. Yamamoto (IC-AI, 2002)

Program Synthesis Based on the Equivalent Transformation Computation Model. - Kiyoshi Akama; Ekawit Nantajeewarawat; Hidekatsu Koike (LOPSTR, 2002)

Query Formulation and Evaluation of XML Databases. - Kiyoshi Akama; Chutiporn Anutariya; Vilas Wuwongse; Ekawit Nantajeewarawat (WITASI, 2002)

A Parallel Genetic Algorithm Based on Linkage Identification. - Masaharu Munetomo; Naoya Murao; Kiyoshi Akama (GECCO, 2003)

Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (GECCO, 2003)

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. - Takahiko Ishikawa; Kiyoshi Akama; Hiroshi Mabuchi (J. Adv. Comput. Intell. Intell. Informatics, 2003)

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. - Hiroshi Mabuchi; Kiyoshi Akama; Takahiko Ishikawa; Hidekatsu Koike (J. Adv. Comput. Intell. Intell. Informatics, 2003)

A Data Model for XML Databases. - Vilas Wuwongse; Kiyoshi Akama; Chutiporn Anutariya; Ekawit Nantajeewarawat (J. Intell. Inf. Syst., 2003)

Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. - Masaru Tezuka; Masaharu Munetomo; Kiyoshi Akama (GECCO (2), 2004)

Modeling Dependencies of Loci with String Classification According to Fitness Differences. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (GECCO (2), 2004)

Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems. - Hidemi Ogasawara; Kiyoshi Akama; Yoshinori Shigeta (IC-AI, 2004)

A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. - Yoshinori Shigeta; Kiyoshi Akama; Pongtawat Chippimolchai; Takahiko Ishikawa (MSV/AMCS, 2004)

On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model. - Itaru Takarajima; Kiyoshi Akama; Yoshinori Shigeta; Ikumi Imani (MSV/AMCS, 2004)

Empirical Investigations on Parallelized Linkage Identification. - Masaharu Munetomo; Naoya Murao; Kiyoshi Akama (PPSN, 2004)

XET as a Rule Language for Consistency Maintenance in UML. - Nimit Pattanasri; Vilas Wuwongse; Kiyoshi Akama (RuleML, 2004)

Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory. - Ekawit Nantajeewarawat; Vilas Wuwongse; Chutiporn Anutariya; Kiyoshi Akama; Surapa Thiemjarus (Int. J. Intell. Syst., 2004)

Designing a distributed algorithm for bandwidth allocation with a genetic algorithm. - Hidehiro Kobayashi; Masaharu Munetomo; Kiyoshi Akama; Yoshiharu Sato (Syst. Comput. Jpn., 2004)

Empirical studies on parallel network construction of Bayesian optimization algorithms. - Masaharu Munetomo; Naoya Murao; Kiyoshi Akama (Congress on Evolutionary Computation, 2005)

Linkage identification for real-valued loci by fitness difference classification. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (Congress on Evolutionary Computation, 2005)

Population Sizing of Dependency Detection by Fitness Difference Classification. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (FOGA, 2005)

Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. - Hiroshi Mabuchi; Kiyoshi Akama; Hidekatsu Koike; Takahiko Ishikawa (IC-AI, 2005)

Developing an e-learning System which enhances students' academic motivation. - Hidekatsu Koike; Takahiko Ishikawa; Kiyoshi Akama; Masaki Chiba; Katsunori Miura (SIGUCCS, 2005)

Problem solving by equivalent transformation of negative constraints. - Hiroshi Mabuchi; Kiyoshi Akama; Hidekatsu Koike; Takahiko Ishikawa (SMC, 2005)

XML Declarative Description with First-Order Logical Constraints. - Chutiporn Anutariya; Vilas Wuwongse; Kiyoshi Akama (Comput. Intell., 2005)

Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem. - Masaru Tezuka; Masaharu Munetomo; Kiyoshi Akama; Masahiro Hiji (IEEE Congress on Evolutionary Computation, 2006)

Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. - Kiyoshi Akama; Ekawit Nantajeewarawat; Hidekatsu Koike (Ershov Memorial Conference, 2006)

A crossover for complex building blocks overlapping. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (GECCO, 2006)

Equivalent Transformation Rules as Components of Programs. - Hiroshi Mabuchi; Kiyoshi Akama; Toshihiro Wakatsuki (ICICIC (2), 2006)

Using an automatic marking system for programming courses. - Hidekatsu Koike; Kiyoshi Akama; Hiko Morita; Katsunori Miura (SIGUCCS, 2006)

Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms. - Masaharu Munetomo; Yuta Satake; Kiyoshi Akama (SMC, 2006)

Theoretical and Empirical Investigations on Difficulty in Structure Learning by Estimation of Distribution Algorithms. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (SMC, 2006)

Linkage Identification by Fitness Difference Clustering. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (Evol. Comput., 2006)

Formalization of the Equivalent Transformation Computation Model. - Kiyoshi Akama; Ekawit Nantajeewarawat (J. Adv. Comput. Intell. Intell. Informatics, 2006)

Semantic Query Optimization: Correctness and Control. - Pongtawat Chippimolchai; Kiyoshi Akama; Vilas Wuwongse (J. Adv. Comput. Intell. Intell. Informatics, 2006)

Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. - Hidekatsu Koike; Kiyoshi Akama; Hiroshi Mabuchi (J. Adv. Comput. Intell. Intell. Informatics, 2006)

Converting Constraint Handling Rules to Equivalent Transformation Rules. - Yoshinori Shigeta; Kiyoshi Akama; Hiroshi Mabuchi; Hidekatsu Koike (J. Adv. Comput. Intell. Intell. Informatics, 2006)

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. - Itaru Takarajima; Kiyoshi Akama; Ikumi Imani; Hiroshi Mabuchi (J. Adv. Comput. Intell. Intell. Informatics, 2006)

Optimization problem solving framework employing GAs with linkage identification over a grid environment. - Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (IEEE Congress on Evolutionary Computation, 2007)

A network design problem by a GA with linkage identification and recombination for overlapping building blocks. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (IEEE Congress on Evolutionary Computation, 2007)

A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. - Masaharu Munetomo; Asim Munawar; Kiyoshi Akama (EUROCAST, 2007)

An Intelligent Scatter with Estimation of Distribution for Tabu Search. - Masaharu Munetomo; Yuta Satake; Kiyoshi Akama (EUROCAST, 2007)

MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (PDCAT, 2007)

Toward a software development model for automatic marking software. - Hidekatsu Koike; Kiyoshi Akama; Chiharu Ishikawa; Nagatomo Nakamura; Shinya Watanabe (SIGUCCS, 2007)

State-Transition Computation Models and Program Correctness Thereon. - Kiyoshi Akama; Ekawit Nantajeewarawat (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Infinite Computation in the Equivalent Transformation Model. - Hiroshi Mabuchi; Kiyoshi Akama; Hidekatsu Koike; Katsunori Miura (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Constraint Solving Specializations for Equality on an Interval-Variable Domain. - Hiroshi Mabuchi; Kiyoshi Akama; Katsunori Miura; Takahiko Ishikawa (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules. - Ekawit Nantajeewarawat; Kiyoshi Akama; Hidekatsu Koike (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem. - Masaru Tezuka; Masaharu Munetomo; Kiyoshi Akama (Evolutionary Computation in Dynamic and Uncertain Environments, 2007)

A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (IEEE SCC (2), 2008)

Empirical investigations on parallel competent genetic algorithms. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (GECCO, 2008)

Model for dynamic grain sizing through compound parallelization for an optimization problem solving grid application. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (GRID, 2008)

SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (GRID, 2008)

Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (HPCC, 2008)

A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (HPCC, 2008)

Conceptual Modelling and Program Generation for Dynamic Interactive Systems. - Courtney Powell; Kiyoshi Akama; Toshihiro Wakatsuki (PDCAT, 2008)

Extension of logical structures by safe extension of specialisation systems. - Kiyoshi Akama; Ekawit Nantajeewarawat (Int. J. Autom. Control., 2008)

Introducing assignment functions to Bayesian optimization algorithms. - Masaharu Munetomo; Naoya Murao; Kiyoshi Akama (Inf. Sci., 2008)

Parallel GEAs with Linkage Analysis over Grid. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (Linkage in Evolutionary Computation, 2008)

A Network Design Problem by a GA with Linkage Identification and Recombination for Overlapping Building Blocks. - Miwako Tsuji; Masaharu Munetomo; Kiyoshi Akama (Linkage in Evolutionary Computation, 2008)

Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (PDCAT, 2009)

Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (Genet. Program. Evolvable Mach., 2009)

A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (IEEE Congress on Evolutionary Computation, 2010)

A Light Framework for the Unified Representation and Execution of Variant Tasks in a Grid Based Environment. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (PDPTA, 2010)

The design, usage, and performance of GridUFO: A Grid based Unified Framework for Optimization. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (Future Gener. Comput. Syst., 2010)

Multi-Level Autonomic Architecture for the Management of Virtualized Application Environments in Cloud Platforms. - Omar Abdul-Rahman; Masaharu Munetomo; Kiyoshi Akama (IEEE CLOUD, 2011)

Advanced genetic algorithm to solve MINLP problems over GPU. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (IEEE Congress on Evolutionary Computation, 2011)

Optimization of parallel Genetic Algorithms for nVidia GPUs. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (IEEE Congress on Evolutionary Computation, 2011)

Meaning-preserving Skolemization. - Kiyoshi Akama; Ekawit Nantajeewarawat (KEOD, 2011)

Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics. - Kiyoshi Akama; Ekawit Nantajeewarawat; Hidekatsu Koike (ICSECS (3), 2011)

Solving Extremely Difficult MINLP Problems Using Adaptive Resolution Micro-GA with Tabu Search. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (LION, 2011)

An improved binary-real coded genetic algorithm for real parameter optimization. - Omar Abdul-Rahman; Masaharu Munetomo; Kiyoshi Akama (NaBIC, 2011)

A Framework for Cloud Embedded Web Services Utilized by Cloud Applications. - Mohamed Wahib; Asim Munawar; Masaharu Munetomo; Kiyoshi Akama (SERVICES, 2011)

An adaptive resolution hybrid binary-real coded genetic algorithm. - Omar Arif Abdul-Rahman; Masaharu Munetomo; Kiyoshi Akama (Artif. Life Robotics, 2011)

A Delayed Splitting Bottom-Up Procedure for Model Generation. - Kiyoshi Akama; Ekawit Nantajeewarawat (Australasian Conference on Artificial Intelligence, 2012)

Toward a Genetic Algorithm Based Flexible Approach for the Management of Virtualized Application Environments in Cloud Platforms. - Omar Abdul-Rahman; Masaharu Munetomo; Kiyoshi Akama (ICCCN, 2012)

Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. - Kiyoshi Akama; Ekawit Nantajeewarawat (ACIIDS (1), 2013)

Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. - Kiyoshi Akama; Ekawit Nantajeewarawat (KEOD, 2013)

Integration of and a Solution for Proof Problems and Query-Answering Problems. - Kiyoshi Akama; Ekawit Nantajeewarawat (IC3K, 2013)

An ET-Based Low-Level Solution for Query-Answering Problems. - Kiyoshi Akama; Ekawit Nantajeewarawat (MIWAI, 2013)

An adaptive parameter binary-real coded genetic algorithm for constraint optimization problems: Performance analysis and estimation of optimal control parameters. - Omar Arif Abdul-Rahman; Masaharu Munetomo; Kiyoshi Akama (Inf. Sci., 2013)

arGA: Adaptive Resolution Micro-genetic Algorithm with Tabu Search to Solve MINLP Problems Using GPU. - Asim Munawar; Mohamed Wahib; Masaharu Munetomo; Kiyoshi Akama (Massively Parallel Evolutionary Computation on GPGPUs, 2013)

Equivalent Transformation in an Extended Space for Solving Query-Answering Problems. - Kiyoshi Akama; Ekawit Nantajeewarawat (ACIIDS (1), 2014)

Solving Query-answering Problems with If-and-Only-If Formulas. - Kiyoshi Akama; Ekawit Nantajeewarawat (KEOD, 2014)

A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation. - Kiyoshi Akama; Ekawit Nantajeewarawat (KEOD, 2015)

Function-variable Elimination and Its Limitations. - Kiyoshi Akama; Ekawit Nantajeewarawat (KEOD, 2015)

Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation. - Kiyoshi Akama; Ekawit Nantajeewarawat (IC3K, 2015)

Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema. - Kiyoshi Akama; Ekawit Nantajeewarawat (KEOD, 2016)

Unfolding Existentially Quantified Sets of Extended Clauses. - Kiyoshi Akama; Ekawit Nantajeewarawat (KEOD, 2016)

Solving Query-Answering Problems with Constraints for Function Variables. - Kiyoshi Akama; Ekawit Nantajeewarawat (ACIIDS (1), 2018)

Computation Control by Prioritized ET Rules. - Kiyoshi Akama; Ekawit Nantajeewarawat; Taketo Akama (KEOD, 2018)

Side-Change Transformation. - Kiyoshi Akama; Ekawit Nantajeewarawat; Taketo Akama (KEOD, 2018)

Logical Problem Solving Framework. - Kiyoshi Akama; Ekawit Nantajeewarawat; Taketo Akama (ACIIDS (1), 2019)

Term Rewriting that Preserves Models in KR-Logic. - Kiyoshi Akama; Ekawit Nantajeewarawat; Taketo Akama (ACIIDS (1), 2019)

Inventing ET Rules to Improve an MI Solver on KR-logic. - Tadayuki Yoshida; Ekawit Nantajeewarawat; Masaharu Munetomo; Kiyoshi Akama (KEOD, 2019)

Logical Approach to Theorem Proving with Term Rewriting on KR-logic. - Tadayuki Yoshida; Ekawit Nantajeewarawat; Masaharu Munetomo; Kiyoshi Akama (KEOD, 2019)