YAMAMOTO Akihiro

J-GLOBAL         Last updated: Jun 27, 2019 at 13:08
 
Avatar
Name
YAMAMOTO Akihiro
Affiliation
Kyoto University
Section
Graduate School of Informatics
Degree
(BLANK)

Research Areas

 
 

Education

 
 
 - 
1990
Graduate School, Division of Integrated Science and Engineering, Kyushu University
 
 
 - 
1985
Faculty of Science, Kyoto University
 

Published Papers

 
IKEDA Madori, YAMAMOTO Akihiro
Journal of Natural Language Processing   24(3) 323-350   2018   [Refereed]
Outlier detection using binary decision diagrams
Takuro Kutsuna, Akihiro Yamamoto
Data Mining and Knowledge Discovery   31(2) 548-572   2017   [Refereed]
Learning concepts and their unions from positive data with refinement operators
Seishi Ouchi, Tomohiko Okayama, Keisuke Otaki, Ryo Yoshinaka, Akihiro Yamamoto
Annals of Mathematics and Artificial Intelligence   79(1-3) 181-203   2017   [Refereed]
KUSTUNA takuro, YAMAMOTO Akihiro
Software Tools for Technology      2016   [Refereed]
Keisuke Otaki, Akihiro Yamamoto
Lecture Notes in Computer Science   9356 186-200   2015   [Refereed]

Misc

 
Edit Operations on Lattices for MDL-based Pattern Summarization
Otaki, K., Yamamoto, A.
Proceedings of the International Workshop on Formal Concept Analysis and Applications, FCA&A 2015   17-32   2015   [Refereed]
Constructing a Grammar for Infering CommonConstructing a Grammar for Infering Common Structure of Two Strings and Its Application to Compression, Structure of Two Strings and Its Application to Compression,
Binou, M., Otaki, K., Ikeda, M., Yoshinaka, R., Yamamoto, A
Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014)      2014   [Refereed]
Finding All Premises of A Propositional Formula using Binary Decision Diagrams
Yamaguchi, S., Ikeda, M., Otaki, K., Yoshinaka, R., Yamamoto, A.
Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014)      2014   [Refereed]
Updating a Closed Itemset Family Based on Inclusion Relations
Nishimura, S., Otaki, K., Ikeda, M., Yoshinaka, R., Yamamoto, A., Uno, T.
Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014)      2014   [Refereed]
Local Similarity between Semi-Ordered Trees by Finding the Constrained Mapping
Yamazaki, T., Otaki, K., Ikeda, M., Yamamoto, A., Kuboyama, T.
Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014)      2014   [Refereed]

Books etc

 
A Theoretical Combination of SLD-Resolution and Narrowing
山本 章博
Logic Programming,470-487, the MIT Press   1987   
A Theoretical Combination of SLD-Resolution and Narrowing
山本 章博
J.-L. Lassez (ed.) Logic Programming, The MIT Press,470-487   1987   
Completeness of Extended Unification Based on Basic Narrowing
山本 章博
Lecture Notes in Artificial Intelligence,383,1-10, Springer-Verlag   1989   
Elementary Formal System as a Logic Programming Language.
山本 章博
Lecture Notes in Artificial Intelligence,485,73-86, Springer-Verlag   1990   
Generalization of Weakly Reducing EFS with Abstraction
山本 章博
Advances in Information Modelling and Knowledge Bases,110-123, 10S Press   1991   

Conference Activities & Talks

 
Mind Change Complexity More Than ω^ω in Inductive Inference from Positive Data
DE BRECHT, Matthew, YAMAMOTO Akihiro
SLACS 2007   2007   

Research Grants & Projects

 
Inductive Logic Programming
Algorithmic Learning Theory
Hypothesis Reasoning by Theorem Proving Mathods