A Theoretical Combination of SLD-Resolution and Narrowing. - Akihiro Yamamoto (ICLP, 1987)

Completeness of Extending Unification Based on Basic Narrowing. - Akihiro Yamamoto (LP, 1988)

Elementary Formal System as a Unifying Framework for Language Learning. - Setsuo Arikawa; Takeshi Shinohara; Akihiro Yamamoto (COLT, 1989)

Elementary Formal System as a Logic Programming Language. - Akihiro Yamamoto (LP, 1989)

Polynomial-Time MAT Learning of Multilinear Logic Programs. - Kimihito Ito; Akihiro Yamamoto (ALT, 1992)

Short Note: Procedural Semantics and Negative Information of Elementary Formal System. - Akihiro Yamamoto (J. Log. Program., 1992)

Learning Elementary Formal Systems. - Setsuo Arikawa; Takeshi Shinohara; Akihiro Yamamoto (Theor. Comput. Sci., 1992)

Generalized Unification as Background Knowledge in Learning Logic Programs. - Akihiro Yamamoto (ALT, 1993)

Parity-scan design to reduce the cost of test application. - Hideo Fujiwara; Akihiro Yamamoto (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Learning from Examples with Typed Equational Programming. - Akira Ishino; Akihiro Yamamoto (AII/ALT, 1994)

Learning Logic Programs Using Definite Equality Theories as Background Knowledge. - Akihiro Yamamoto (IEICE Trans. Inf. Syst., 1995)

Rotation Measurement and Control of Optically Trapped Particles. - Akihiro Yamamoto; Ichirou Yamaguchi (J. Robotics Mechatronics, 1995)

Which Hypotheses Can Be Found with Inverse Entailment? - Akihiro Yamamoto (ILP, 1997)

Generalization in Typed Equational Programming and Their Application to Learning Functions. - Akira Ishino; Akihiro Yamamoto (New Gener. Comput., 1997)

Logical Aspects of Several Bottom-Up Fittings. - Akihiro Yamamoto (ALT, 1998)

Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses. - Kimihito Ito; Akihiro Yamamoto (Discovery Science, 1998)

A Digital Watermark based on the Wavelet Transform and its Robustness on Image Compression. - Hisashi Inoue; Akio Miyazaki; Akihiro Yamamoto; Takashi Katsura (ICIP (2), 1998)

An Inference Method for the Complete Inverse of Relative Subsumption. - Akihiro Yamamoto (New Gener. Comput., 1999)

Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program. - Akihiro Yamamoto (New Gener. Comput., 1999)

Hypotheses Finding via Residue Hypotheses with the Resolution Principle. - Akihiro Yamamoto; Bertram Fronhöfer (ALT, 2000)

New Conditions for the Existence of Least Generalizations under Relative Subsumption. - Akihiro Yamamoto (ILP, 2000)

Modelling Semi-structured Documents with Hedges for Deduction and Induction. - Akihiro Yamamoto; Kimihito Ito; Akira Ishino; Hiroki Arimura (ILP, 2001)

Minimised Residue Hypotheses in Relevant Logic. - Bertram Fronhöfer; Akihiro Yamamoto (ALT, 2002)

A Theory of Hypothesis Finding in Clausal Logic. - Akihiro Yamamoto; Bertram Fronhöfer (Progress in Discovery Science, 2002)

Finding Similar Stories by Using Sequences of Occurence Vectors. - Akira Ogiso; Akihiro Yamamoto (EJC, 2003)

Hypothesis finding based on upward refinement of residue hypotheses. - Akihiro Yamamoto (Theor. Comput. Sci., 2003)

Similarity of Documents Based on the Vector Sequence Model. - Akihiro Yamamoto; Akira Ogiso (Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, 2004)

Inductive Logic Programming: Yet Another Application of Logic. - Akihiro Yamamoto (INAP, 2005)

Workshop on Learning with Logics and Logics for Learning (LLLL). - Akihiro Yamamoto; Kouichi Hirata (JSAI Workshops, 2005)

Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data. - Matthew de Brecht; Akihiro Yamamoto (ALT, 2006)

An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification. - Koichiro Doi; Tetsuya Yamashita; Akihiro Yamamoto (ILP, 2006)

Inferability of Closed Set Systems from Positive Data. - Matthew de Brecht; Masanori Kobayashi; Hiroo Tokunaga; Akihiro Yamamoto (JSAI, 2006)

The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006). - Akihiro Yamamoto; Kouichi Hirata; Ken Satoh (JSAI, 2006)

Foreword. - Tamás Horváth 001; Akihiro Yamamoto (Mach. Learn., 2006)

Hypothesis finding with proof theoretical appropriateness criteria. - Bertram Fronhöfer; Akihiro Yamamoto (Theor. Comput. Sci., 2006)

Comparison of Dimension Reduction Methods for Database-Adaptive 3D Model Retrieval. - Ryutarou Ohbuchi; Jun Kobayashi; Akihiro Yamamoto; Toshiya Shimizu (Adaptive Multimedia Retrieval, 2007)

An Intentional Kernel Function for RNA Classification. - Hiroshi Sankoh; Koichiro Doi; Akihiro Yamamoto (Discovery Science, 2007)

Computing Characteristic Sets of Bounded Unions of Polynomial Ideals. - Itsuo Takamatsu; Masanori Kobayashi; Hiroo Tokunaga; Akihiro Yamamoto (JSAI, 2007)

The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007). - Akihiro Yamamoto; Kouichi Hirata (JSAI, 2007)

Data prefetching and address pre-calculation through instruction pre-execution with two-step physical register deallocation. - Akihiro Yamamoto; Yusuke Tanaka 001; Hideki Ando; Toshio Shimada (MEDEA@PACT, 2007)

Learning semantic categories for 3D model retrieval. - Ryutarou Ohbuchi; Akihiro Yamamoto; Jun Kobayashi (Multimedia Information Retrieval, 2007)

Topological Properties of Concept Spaces. - Matthew de Brecht; Akihiro Yamamoto (ALT, 2008)

Finding Frequent Patterns from Compressed Tree-Structured Data. - Seiji Murakami; Koichiro Doi; Akihiro Yamamoto (Discovery Science, 2008)

Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets. - Yuichi Kameda; Hiroo Tokunaga; Akihiro Yamamoto (ICGI, 2008)

Kernel Functions Based on Derivation. - Koichiro Doi; Akihiro Yamamoto (PAKDD Workshops, 2008)

SHREC'08 entry: Semi-supervised learning for semantic 3D model retrieval. - Akihiro Yamamoto; Masaki Tezuka; Toshiya Shimizu; Ryutarou Ohbuchi (Shape Modeling International, 2008)

Two-Step Physical Register Deallocation for Data Prefetching and Address Pre-Calculation. - Akihiro Yamamoto; Yusuke Tanaka 001; Hideki Ando; Toshio Shimada (Inf. Media Technol., 2008)

Sigma^0_alpha - Admissible Representations (Extended Abstract). - Matthew de Brecht; Akihiro Yamamoto (CCA, 2009)

Discovering the Structures of Open Source Programs from Their Developer Mailing Lists. - Dinh Anh Nguyen; Koichiro Doi; Akihiro Yamamoto (Discovery Science, 2009)

Sound Source Tracking and Obstacle Avoidance for a Mobile Robot. - Naoki Uchiyama; Akihiro Yamamoto; Shigenori Sano; Shoji Takagi (ETFA, 2009)

SoC for car navigation systems with a 53.3 GOPS image recognition engine. - Hideaki Kido; Shoji Muramatsu; Yasuhiko Hoshi; Hiroyuki Hamasaki; Atsushi Nakamura; Akihiro Yamamoto (Hot Chips Symposium, 2009)

Learning from Positive Data Based on the MINL Strategy with Refinement Operators. - Seishi Ouchi; Akihiro Yamamoto (JSAI-isAI Workshops, 2009)

The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009). - Akihiro Yamamoto; Kouichi Hirata; Shin-ichi Minato (JSAI-isAI Workshops, 2009)

Learning Figures with the Hausdorff Metric by Fractals. - Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto (ALT, 2010)

SOC for car navigation system with a 55.3GOPS image recognition engine. - Hiroyuki Hamasaki; Yasuhiko Hoshi; Atsushi Nakamura; Akihiro Yamamoto; Hideaki Kido; Shoji Muramatsu (ASP-DAC, 2010)

Incremental Mining of Closed Frequent Subtrees. - Viet Anh Nguyen; Akihiro Yamamoto (Discovery Science, 2010)

Frequent Closed Itemset Mining with Privacy Preserving for Distributed Databases. - Shin-ya Kuno; Koichiro Doi; Akihiro Yamamoto (ICDM Workshops, 2010)

Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses. - Madori Ikeda; Masaaki Nishino; Koichiro Doi; Akihiro Yamamoto; Susumu Hayashi (KICSS, 2010)

Topological properties of concept spaces (full version). - Matthew de Brecht; Akihiro Yamamoto (Inf. Comput., 2010)

Latest Trends in Deburring Technology. - Koichi Kitajima; Akihiro Yamamoto (Int. J. Autom. Technol., 2010)

The Coding Divergence for Measuring the Complexity of Separating Two Sets. - Mahito Sugiyama; Akihiro Yamamoto (ACML, 2010)

Sound source tracking considering obstacle avoidance for a mobile robot. - Naoki Uchiyama; Shigenori Sano; Akihiro Yamamoto (Robotica, 2010)

Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data. - Matthew de Brecht; Akihiro Yamamoto (Theor. Comput. Sci., 2010)

Semi-supervised Learning for Mixed-Type Data via Formal Concept Analysis. - Mahito Sugiyama; Akihiro Yamamoto (ICCS, 2011)

A Fast and Flexible Clustering Algorithm Using Binary Discretization. - Mahito Sugiyama; Akihiro Yamamoto (ICDM, 2011)

Discovering Ligands for TRP Ion Channels Using Formal Concept Analysis. - Mahito Sugiyama; Kentaro Imajo; Keisuke Otaki; Akihiro Yamamoto (ILP (Late Breaking Papers), 2011)

Mining Closed Weighted Itemsets for Numerical Transaction Databases. - Yuichi Kameda; Akihiro Yamamoto (JSAI-isAI Workshops, 2011)

The Minimum Code Length for Clustering Using the Gray Code. - Mahito Sugiyama; Akihiro Yamamoto (ECML/PKDD (3), 2011)

Discovering causal structures in binary exclusive-or skew acyclic models. - Takanori Inazumi; Takashi Washio; Shohei Shimizu; Joe Suzuki; Akihiro Yamamoto; Yoshinobu Kawahara (UAI, 2011)

Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic (NII Shonan Meeting 2011-4). - Sadao Kurohashi; Akihiro Yamamoto; Kentaro Inui; Sebastian Riedel 001 (NII Shonan Meet. Rep., 2011)

Learning Families of Closed Sets in Matroids. - Ziyuan Gao; Frank Stephan 001; Guohua Wu; Akihiro Yamamoto (Computation, Physics and Beyond, 2012)

Learning from graph data by putting graphs on the lattice. - Viet Anh Nguyen; Akihiro Yamamoto (Expert Syst. Appl., 2012)

Mining of closed frequent subtrees from frequently updated databases. - Viet Anh Nguyen; Akihiro Yamamoto (Intell. Data Anal., 2012)

Privacy Preserving Using Dummy Data for Set Operations in Itemset Mining Implemented with ZDDs. - Keisuke Otaki; Mahito Sugiyama; Akihiro Yamamoto (IEICE Trans. Inf. Syst., 2012)

Efficient Mining of Closed Tree Patterns from Large Tree Databases with Subtree Constraint. - Viet Anh Nguyen; Koichiro Doi; Akihiro Yamamoto (Int. J. Artif. Intell. Tools, 2012)

Semi-Supervised Ligand Finding Using Formal Concept Analysis. - Mahito Sugiyama; Kentaro Imajo; Keisuke Otaki; Akihiro Yamamoto (Inf. Media Technol., 2012)

Estimation of Generating Processes of Strings Represented with Patterns and Refinements. - Keisuke Otaki; Akihiro Yamamoto (ICGI, 2012)

Modular home robot system based on the MMM concept-design instance with detachable symmetric arm module. - Takahito Tsuchiya; Yohei Shiraki; Sachi Sekido; Akihiro Yamamoto; Daisuke Sato 002; Dragomir N. Nenchev (AIM, 2013)

Visual Odometry by Multi-frame Feature Integration. - Hernán Badino; Akihiro Yamamoto; Takeo Kanade (ICCV Workshops, 2013)

Predicate-argument Structure based Textual Entailment Recognition System of KYOTO Team for NTCIR-10 RITE-2. - Tomohide Shibata; Sadao Kurohashi; Shotaro Kohama; Akihiro Yamamoto (NTCIR, 2013)

Semi-supervised learning on closed set lattices. - Mahito Sugiyama; Akihiro Yamamoto (Intell. Data Anal., 2013)

Learning figures with the Hausdorff metric by fractals - towards computable binary classification. - Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto (Mach. Learn., 2013)

A Sparse Parameter Learning Method for Probabilistic Logic Programs. - Masaaki Nishino; Akihiro Yamamoto; Masaaki Nagata (StarAI@AAAI, 2014)

Formal Concept Analysis for Process Enhancement Based on a Pair of Perspectives. - Madori Ikeda; Keisuke Otaki; Akihiro Yamamoto (CLA, 2014)

Pattern Structures for Understanding Episode Patterns. - Keisuke Otaki; Madori Ikeda; Akihiro Yamamoto (CLA, 2014)

Fast Computation of the Tree Edit Distance between Unordered Trees Using IP Solvers. - Seiichi Kondo; Keisuke Otaki; Madori Ikeda; Akihiro Yamamoto (Discovery Science, 2014)

A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators. - Tomohiko Okayama; Ryo Yoshinaka; Keisuke Otaki; Akihiro Yamamoto (ISAIM, 2014)

Local Feature Selection by Formal Concept Analysis for Multi-class Classification. - Madori Ikeda; Akihiro Yamamoto (PAKDD Workshops, 2014)

Outlier Detection Based on Leave-One-Out Density Using Binary Decision Diagrams. - Takuro Kutsuna; Akihiro Yamamoto (PAKDD (2), 2014)

Causal Discovery in a Binary Exclusive-or Skew Acyclic Model: BExSAM. - Takanori Inazumi; Takashi Washio; Shohei Shimizu; Joe Suzuki; Akihiro Yamamoto; Yoshinobu Kawahara (CoRR, 2014)

A parameter-free approach for one-class classification using binary decision diagrams. - Takuro Kutsuna; Akihiro Yamamoto (Intell. Data Anal., 2014)

Periodical Skeletonization for Partially Periodic Pattern Mining. - Keisuke Otaki; Akihiro Yamamoto (Discovery Science, 2015)

Tree PCA for Extracting Dominant Substructures from Labeled Rooted Trees. - Tomoya Yamazaki; Akihiro Yamamoto; Tetsuji Kuboyama (Discovery Science, 2015)

Edit Operations on Lattices for MDL-based Pattern Summarization. - Keisuke Otaki; Akihiro Yamamoto (FCA&A@ICFCA, 2015)

Inductive Logic Programming: Challenges. - Katsumi Inoue; Hayato Ohwada; Akihiro Yamamoto (AAAI, 2016)

3D Quasi-Passive Walker of Bipedal Robot with Flat Feet Gait Analysis of 3D Quasi-Passive Walking. - Shugo Murai; Shinsaku Fujimoto; Akihiro Yamamoto; Tetsuya Kinugasa (ICMSSP, 2016)

Abstraction and refinement of mathematical functions toward SMT-based test-case generation. - Takuro Kutsuna; Yoshinao Ishii; Akihiro Yamamoto (Int. J. Softw. Tools Technol. Transf., 2016)

On the Sizes of Decision Diagrams Representing the Set of All Parse Trees of a Context-free Grammar. - Masaaki Nishino; Kei Amii; Akihiro Yamamoto (AMBN, 2017)

Protein-Protein Interaction Extraction from Text by Selecting Linguistic Features. - Thi Thanh Thuy Phan; Takenao Ohkawa; Akihiro Yamamoto (BIBE, 2017)

Improved Methods for Computing Distances Between Unordered Trees Using Integer Programming. - Eunpyeong Hong; Yasuaki Kobayashi; Akihiro Yamamoto (COCOA (2), 2017)

Learning concepts and their unions from positive data with refinement operators. - Seishi Ouchi; Tomohiko Okayama; Keisuke Otaki; Ryo Yoshinaka; Akihiro Yamamoto (Ann. Math. Artif. Intell., 2017)

Outlier detection using binary decision diagrams. - Takuro Kutsuna; Akihiro Yamamoto (Data Min. Knowl. Discov., 2017)

Extending Various Thesauri by Finding Synonym Sets from a Formal Concept Lattice. - Madori Ikeda; Akihiro Yamamoto (Inf. Media Technol., 2017)

Special issue on inductive logic programming. - Katsumi Inoue; Hayato Ohwada; Akihiro Yamamoto (Mach. Learn., 2017)

Using Binary Decision Diagrams to Enumerate Inductive Logic Programming Solutions. - Hikaru Shindo; Masaaki Nishino; Akihiro Yamamoto (ILP Up-and-Coming / Short Papers, 2018)

Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem. - Yasuaki Kobayashi; Kensuke Kojima; Norihide Matsubara; Taiga Sone; Akihiro Yamamoto (COCOA, 2019)

Automatic Source Code Summarization with Extended Tree-LSTM. - Yusuke Shido; Yasuaki Kobayashi; Akihiro Yamamoto; Atsushi Miyamoto; Tadayuki Matsumura (IJCNN, 2019)

Effects of Blade Tip Profile on In-Plane Tensile Properties of Wedge-Notched Polypropylene Sheet. - Shigeru Nagasawa; Akihiro Yamamoto; Thepwachara Ruchirabha; Kazuki Umemoto (Int. J. Autom. Technol., 2019)

Mining Disjoint Sequential Pattern Pairs from Tourist Trajectory Data. - Siqi Peng; Akihiro Yamamoto (DS, 2020)

Metric Learning for Ordered Labeled Trees with pq-grams. - Hikaru Shindo; Masaaki Nishino; Yasuaki Kobayashi; Akihiro Yamamoto (ECAI, 2020)

Guest Editorial: Special issue on Discovery Science. - Takuya Kida; Tetsuji Kuboyama; Takeaki Uno; Akihiro Yamamoto (Mach. Learn., 2020)

Differentiable Inductive Logic Programming for Structured Examples. - Hikaru Shindo; Masaaki Nishino; Akihiro Yamamoto (AAAI, 2021)

HTML-LSTM: Information Extraction from HTML Tables in Web Pages Using Tree-Structured LSTM. - Kazuki Kawamura; Akihiro Yamamoto (DS, 2021)

Event Time Extraction from Japanese News Archives. - Siqi Peng; Akihiro Yamamoto; Shinsuke Mori; Tatsuki Sekino (IEEE Big Data, 2022)

Robustness Evaluation of Text Classification Models Using Mathematical Optimization and Its Application to Adversarial Training. - Hikaru Tomonari; Masaaki Nishino; Akihiro Yamamoto (AACL/IJCNLP (Findings), 2022)

Z-TCA: Fast Algorithm for Triadic Concept Analysis Using Zero-suppressed Decision Diagrams. - Siqi Peng; Akihiro Yamamoto (J. Inf. Process., 2023)

BERT4FCA: A Method for Bipartite Link Prediction using Formal Concept Analysis and BERT. - Siqi Peng; Hongyuan Yang; Akihiro Yamamoto (CoRR, 2024)

Implementing Derivations of Definite Logic Programs with Self-Attention Networks. - Thi Thanh Thuy Phan; Akihiro Yamamoto (CoRR, 2024)

Concept Lattice Reduction Using Integer Programming. - Siqi Peng; Akihiro Yamamoto (J. Inf. Process., 2024)

C2Explainer: Customizable Mask-based Counterfactual Explanation for Graph Neural Networks. - Jiali Ma; Ichigaku Takigawa; Akihiro Yamamoto (FAccT, 2025)

BicliqueEncoder: An Efficient Method for Link Prediction in Bipartite Networks using Formal Concept Analysis and Transformer Encoder. - Hongyuan Yang; Siqi Peng; Akihiro Yamamoto (CoRR, 2025)

Incorporating Coupling Knowledge into Echo State Networks for Learning Spatiotemporally Chaotic Dynamics. - Kuei-Jan Chu; Nozomi Akashi; Akihiro Yamamoto (CoRR, 2025)