default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKiyoshi Akama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[c86]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Logical Problem Solving Framework. ACIIDS (1) 2019: 28-40- [c85]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Term Rewriting that Preserves Models in KR-Logic. ACIIDS (1) 2019: 41-52 - [c84]Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama:
Inventing ET Rules to Improve an MI Solver on KR-logic. KEOD 2019: 274-281 - [c83]Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama:
Logical Approach to Theorem Proving with Term Rewriting on KR-logic. KEOD 2019: 282-289 - 2018
- [c82]Kiyoshi Akama, Ekawit Nantajeewarawat:
Solving Query-Answering Problems with Constraints for Function Variables. ACIIDS (1) 2018: 36-47 - [c81]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Computation Control by Prioritized ET Rules. KEOD 2018: 82-93 - [c80]Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama:
Side-Change Transformation. KEOD 2018: 235-244 - 2016
- [c79]Kiyoshi Akama, Ekawit Nantajeewarawat:
Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema. KEOD 2016: 52-63 - [c78]Kiyoshi Akama, Ekawit Nantajeewarawat:
Unfolding Existentially Quantified Sets of Extended Clauses. KEOD 2016: 96-103 - 2015
- [c77]Kiyoshi Akama, Ekawit Nantajeewarawat:
A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation. KEOD 2015: 38-49 - [c76]Kiyoshi Akama, Ekawit Nantajeewarawat:
Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation. IC3K 2015: 191-212 - [c75]Kiyoshi Akama, Ekawit Nantajeewarawat:
Function-variable Elimination and Its Limitations. KEOD 2015: 212-222 - 2014
- [c74]Kiyoshi Akama, Ekawit Nantajeewarawat:
Equivalent Transformation in an Extended Space for Solving Query-Answering Problems. ACIIDS (1) 2014: 232-241 - [c73]Kiyoshi Akama, Ekawit Nantajeewarawat:
Solving Query-answering Problems with If-and-Only-If Formulas. KEOD 2014: 333-344 - 2013
- [j25]Omar Arif Abdul-Rahman
, Masaharu Munetomo, Kiyoshi Akama:
An adaptive parameter binary-real coded genetic algorithm for constraint optimization problems: Performance analysis and estimation of optimal control parameters. Inf. Sci. 233: 54-86 (2013) - [c72]Kiyoshi Akama, Ekawit Nantajeewarawat:
Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. ACIIDS (1) 2013: 404-413 - [c71]Kiyoshi Akama, Ekawit Nantajeewarawat:
Integration of and a Solution for Proof Problems and Query-Answering Problems. IC3K 2013: 215-229 - [c70]Kiyoshi Akama, Ekawit Nantajeewarawat:
Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. KEOD 2013: 253-260 - [c69]Kiyoshi Akama, Ekawit Nantajeewarawat:
An ET-Based Low-Level Solution for Query-Answering Problems. MIWAI 2013: 1-12 - [p4]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
arGA: Adaptive Resolution Micro-genetic Algorithm with Tabu Search to Solve MINLP Problems Using GPU. Massively Parallel Evolutionary Computation on GPGPUs 2013: 83-104 - 2012
- [c68]Kiyoshi Akama, Ekawit Nantajeewarawat:
A Delayed Splitting Bottom-Up Procedure for Model Generation. Australasian Conference on Artificial Intelligence 2012: 481-492 - [c67]Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama:
Toward a Genetic Algorithm Based Flexible Approach for the Management of Virtualized Application Environments in Cloud Platforms. ICCCN 2012: 1-9 - 2011
- [j24]Omar Arif Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama:
An adaptive resolution hybrid binary-real coded genetic algorithm. Artif. Life Robotics 16(1): 121-124 (2011) - [c66]Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama:
Multi-Level Autonomic Architecture for the Management of Virtualized Application Environments in Cloud Platforms. IEEE CLOUD 2011: 754-755 - [c65]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
Advanced genetic algorithm to solve MINLP problems over GPU. IEEE Congress on Evolutionary Computation 2011: 318-325 - [c64]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
Optimization of parallel Genetic Algorithms for nVidia GPUs. IEEE Congress on Evolutionary Computation 2011: 803-811 - [c63]Kiyoshi Akama, Ekawit Nantajeewarawat:
Meaning-preserving Skolemization. KEOD 2011: 322-327 - [c62]Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics. ICSECS (3) 2011: 702-716 - [c61]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
Solving Extremely Difficult MINLP Problems Using Adaptive Resolution Micro-GA with Tabu Search. LION 2011: 203-217 - [c60]Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama:
An improved binary-real coded genetic algorithm for real parameter optimization. NaBIC 2011: 149-156 - [c59]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
A Framework for Cloud Embedded Web Services Utilized by Cloud Applications. SERVICES 2011: 265-271 - 2010
- [j23]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
The design, usage, and performance of GridUFO: A Grid based Unified Framework for Optimization. Future Gener. Comput. Syst. 26(4): 633-644 (2010) - [c58]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU. IEEE Congress on Evolutionary Computation 2010: 1-8 - [c57]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
A Light Framework for the Unified Representation and Execution of Variant Tasks in a Grid Based Environment. PDPTA 2010: 658-664
2000 – 2009
- 2009
- [j22]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework. Genet. Program. Evolvable Mach. 10(4): 391-415 (2009) - [c56]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. PDCAT 2009: 457-462 - 2008
- [j21]Kiyoshi Akama, Ekawit Nantajeewarawat:
Extension of logical structures by safe extension of specialisation systems. Int. J. Autom. Control. 2(2/3): 340-364 (2008) - [j20]Masaharu Munetomo, Naoya Murao, Kiyoshi Akama:
Introducing assignment functions to Bayesian optimization algorithms. Inf. Sci. 178(1): 152-163 (2008) - [c55]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving. IEEE SCC (2) 2008: 563-566 - [c54]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
Empirical investigations on parallel competent genetic algorithms. GECCO 2008: 1073-1080 - [c53]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
Model for dynamic grain sizing through compound parallelization for an optimization problem solving grid application. GRID 2008: 316-321 - [c52]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes. GRID 2008: 346-351 - [c51]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. HPCC 2008: 131-138 - [c50]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. HPCC 2008: 897-902 - [c49]Courtney Powell, Kiyoshi Akama, Toshihiro Wakatsuki:
Conceptual Modelling and Program Generation for Dynamic Interactive Systems. PDCAT 2008: 285-294 - [p3]Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama:
Parallel GEAs with Linkage Analysis over Grid. Linkage in Evolutionary Computation 2008: 159-187 - [p2]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
A Network Design Problem by a GA with Linkage Identification and Recombination for Overlapping Building Blocks. Linkage in Evolutionary Computation 2008: 441-459 - 2007
- [j19]Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura:
Infinite Computation in the Equivalent Transformation Model. J. Adv. Comput. Intell. Intell. Informatics 11(2): 176-186 (2007) - [j18]Hiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa:
Constraint Solving Specializations for Equality on an Interval-Variable Domain. J. Adv. Comput. Intell. Intell. Informatics 11(2): 210-219 (2007) - [j17]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) - [j16]Kiyoshi Akama, Ekawit Nantajeewarawat:
State-Transition Computation Models and Program Correctness Thereon. J. Adv. Comput. Intell. Intell. Informatics 11(10): 1250-1261 (2007) - [c48]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
A network design problem by a GA with linkage identification and recombination for overlapping building blocks. IEEE Congress on Evolutionary Computation 2007: 349-356 - [c47]Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
Optimization problem solving framework employing GAs with linkage identification over a grid environment. IEEE Congress on Evolutionary Computation 2007: 1191-1198 - [c46]Masaharu Munetomo, Yuta Satake, Kiyoshi Akama:
An Intelligent Scatter with Estimation of Distribution for Tabu Search. EUROCAST 2007: 465-472 - [c45]Masaharu Munetomo, Asim Munawar, Kiyoshi Akama:
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. EUROCAST 2007: 473-480 - [c44]Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. PDCAT 2007: 167-168 - [c43]Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe:
Toward a software development model for automatic marking software. SIGUCCS 2007: 190-193 - [p1]Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama:
Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem. Evolutionary Computation in Dynamic and Uncertain Environments 2007: 417-434 - 2006
- [j15]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
Linkage Identification by Fitness Difference Clustering. Evol. Comput. 14(4): 383-409 (2006) - [j14]Kiyoshi Akama, Ekawit Nantajeewarawat:
Formalization of the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics 10(3): 245-259 (2006) - [j13]Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse:
Semantic Query Optimization: Correctness and Control. J. Adv. Comput. Intell. Intell. Informatics 10(3): 270-280 (2006) - [j12]Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi:
Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics 10(3): 302-311 (2006) - [j11]Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike:
Converting Constraint Handling Rules to Equivalent Transformation Rules. J. Adv. Comput. Intell. Intell. Informatics 10(3): 339-348 (2006) - [j10]Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi:
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics 10(3): 349-361 (2006) - [c42]Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama, Masahiro Hiji:
Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem. IEEE Congress on Evolutionary Computation 2006: 81-87 - [c41]Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. Ershov Memorial Conference 2006: 41-54 - [c40]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
A crossover for complex building blocks overlapping. GECCO 2006: 1337-1344 - [c39]Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki:
Equivalent Transformation Rules as Components of Programs. ICICIC (2) 2006: 282-287 - [c38]Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura:
Using an automatic marking system for programming courses. SIGUCCS 2006: 173-178 - [c37]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
Theoretical and Empirical Investigations on Difficulty in Structure Learning by Estimation of Distribution Algorithms. SMC 2006: 209-214 - [c36]Masaharu Munetomo, Yuta Satake, Kiyoshi Akama:
Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms. SMC 2006: 2362-2367 - 2005
- [j9]Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama:
XML Declarative Description with First-Order Logical Constraints. Comput. Intell. 21(2): 130-156 (2005) - [c35]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
Linkage identification for real-valued loci by fitness difference classification. Congress on Evolutionary Computation 2005: 1317-1324 - [c34]Masaharu Munetomo, Naoya Murao, Kiyoshi Akama:
Empirical studies on parallel network construction of Bayesian optimization algorithms. Congress on Evolutionary Computation 2005: 1524-1531 - [c33]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
Population Sizing of Dependency Detection by Fitness Difference Classification. FOGA 2005: 282-299 - [c32]Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa:
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. IC-AI 2005: 627-636 - [c31]Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura:
Developing an e-learning System which enhances students' academic motivation. SIGUCCS 2005: 147-150 - [c30]Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa:
Problem solving by equivalent transformation of negative constraints. SMC 2005: 357-363 - 2004
- [j8]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) - [j7]Hidehiro Kobayashi, Masaharu Munetomo, Kiyoshi Akama, Yoshiharu Sato:
Designing a distributed algorithm for bandwidth allocation with a genetic algorithm. Syst. Comput. Jpn. 35(3): 37-45 (2004) - [c29]Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama:
Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. GECCO (2) 2004: 222-233 - [c28]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
Modeling Dependencies of Loci with String Classification According to Fitness Differences. GECCO (2) 2004: 246-257 - [c27]Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta:
Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems. IC-AI 2004: 306-309 - [c26]Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa:
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. MSV/AMCS 2004: 345-351 - [c25]Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani:
On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model. MSV/AMCS 2004: 391-398 - [c24]Masaharu Munetomo, Naoya Murao, Kiyoshi Akama:
Empirical Investigations on Parallelized Linkage Identification. PPSN 2004: 322-331 - [c23]Nimit Pattanasri, Vilas Wuwongse, Kiyoshi Akama:
XET as a Rule Language for Consistency Maintenance in UML. RuleML 2004: 200-204 - 2003
- [j6]Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi:
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. J. Adv. Comput. Intell. Intell. Informatics 7(3): 260-267 (2003) - [j5]Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike:
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. J. Adv. Comput. Intell. Intell. Informatics 7(3): 306-314 (2003) - [j4]Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat:
A Data Model for XML Databases. J. Intell. Inf. Syst. 20(1): 63-80 (2003) - [c22]Masaharu Munetomo, Naoya Murao, Kiyoshi Akama:
A Parallel Genetic Algorithm Based on Linkage Identification. GECCO 2003: 1222-1233 - [c21]Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama:
Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. GECCO 2003: 1616-1617 - 2002
- [c20]Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa:
A Foundation for Algorithm Generation by Transforming Meta-Descriptions. FSKD 2002: 712- - [c19]E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike:
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. IC-AI 2002: 1040-1046 - [c18]Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto:
Framework for Synthesis by Unfolding of Declarative Programs. IC-AI 2002: 1060-1066 - [c17]Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd:
A Basic Framework for Infinite Computation. IC-AI 2002: 1080-1086 - [c16]Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Synthesis Based on the Equivalent Transformation Computation Model. LOPSTR 2002: 278-279 - [c15]Kiyoshi Akama, Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat:
Query Formulation and Evaluation of XML Databases. WITASI 2002: 273-288 - 2001
- [j3]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) - [j2]Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata. J. Digit. Inf. 2(2) (2001) - [c14]Masaharu Munetomo, Naohiko Yamaguchi, Kiyoshi Akama, Yoshiharu Sato:
Empirical investigations on the genetic adaptive routing algorithm in the Internet. CEC 2001: 1236-1243 - [c13]Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata. Dublin Core Conference 2001: 1-8 - [c12]Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. Ershov Memorial Conference 2001: 131-139 - [c11]Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
Equivalent Transformation by Safe Extension of Data Structures. Ershov Memorial Conference 2001: 140-148 - [c10]Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin:
Semantic Web Modeling and Programming with XDD. SWWS 2001: 161-180 - [c9]Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin:
Semantic Web Modeling and Programming with XDD. The Emerging Semantic Web 2001 - [c8]Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat:
A Data Model for XML Databases. Web Intelligence 2001: 237-246 - [c7]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
- [j1]Kiyoshi Akama, Hiroshi Mabuchi, Eiichi Miyamoto:
A theoretical foundation for solving "no-solution" problems by abstraction. Syst. Comput. Jpn. 31(1): 1-10 (2000) - [c6]Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta:
Synthesis of Conversion Rules by Expanding Knowledge Representation. Artificial Intelligence and Soft Computing 2000: 434-440 - [c5]Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike:
Semantic Interpretation by Rule-based Equivalent Transformation. Artificial Intelligence and Soft Computing 2000: 472-478 - [c4]Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
Unreachability for a Class of Rewriting Systems using Two Homomorphisms. Artificial Intelligence and Soft Computing 2000: 494-500 - [c3]Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat, Kiyoshi Akama:
Towards a Foundation for XML Document Databases. EC-Web 2000: 324-333
1980 – 1989
- 1986
- [c2]Kiyoshi Akama:
Inheritance Hierarchy Mechanism in Prolog. LP 1986: 12-21
1970 – 1979
- 1979
- [c1]Kiyoshi Akama, Atsunobu Ichikawa:
A Basic Model for Learning Systems. IJCAI 1979: 4-6
Coauthor Index
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-06-26 20:26 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:
