| 2007 |
|---|
| 39 | EE | Hiroshi Sankoh,
Koichiro Doi,
Akihiro Yamamoto:
An Intentional Kernel Function for RNA Classification.
Discovery Science 2007: 281-285 |
| 38 | EE | Akihiro Yamamoto,
Kouichi Hirata:
The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007).
JSAI 2007: 305-306 |
| 37 | EE | Itsuo Takamatsu,
Masanori Kobayashi,
Hiroo Tokunaga,
Akihiro Yamamoto:
Computing Characteristic Sets of Bounded Unions of Polynomial Ideals.
JSAI 2007: 318-329 |
| 36 | EE | Ryutarou Ohbuchi,
Akihiro Yamamoto,
Jun Kobayashi:
Learning semantic categories for 3D model retrieval.
Multimedia Information Retrieval 2007: 31-40 |
| 2006 |
|---|
| 35 | EE | Matthew de Brecht,
Akihiro Yamamoto:
Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data.
ALT 2006: 124-138 |
| 34 | EE | Koichiro Doi,
Tetsuya Yamashita,
Akihiro Yamamoto:
An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification.
ILP 2006: 139-153 |
| 33 | EE | Akihiro Yamamoto,
Kouichi Hirata,
Ken Satoh:
The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006).
JSAI 2006: 249-250 |
| 32 | EE | Matthew de Brecht,
Masanori Kobayashi,
Hiroo Tokunaga,
Akihiro Yamamoto:
Inferability of Closed Set Systems from Positive Data.
JSAI 2006: 265-275 |
| 31 | EE | Tamás Horváth,
Akihiro Yamamoto:
Foreword.
Machine Learning 64(1-3): 3-4 (2006) |
| 30 | EE | Bertram Fronhöfer,
Akihiro Yamamoto:
Hypothesis finding with proof theoretical appropriateness criteria.
Theor. Comput. Sci. 350(1): 140-162 (2006) |
| 2005 |
|---|
| 29 | EE | Akihiro Yamamoto:
Inductive Logic Programming: Yet Another Application of Logic.
INAP 2005: 102-116 |
| 28 | EE | Akihiro Yamamoto,
Kouichi Hirata:
Workshop on Learning with Logics and Logics for Learning (LLLL).
JSAI Workshops 2005: 167-168 |
| 2004 |
|---|
| 27 | EE | Akihiro Yamamoto,
Akira Ogiso:
Similarity of Documents Based on the Vector Sequence Model.
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 233-242 |
| 2003 |
|---|
| 26 | | Gunter Grieser,
Yuzuru Tanaka,
Akihiro Yamamoto:
Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings
Springer 2003 |
| 25 | | Akira Ogiso,
Akihiro Yamamoto:
Finding Similar Stories by Using Sequences of Occurence Vectors.
EJC 2003: 303-306 |
| 24 | EE | Akihiro Yamamoto:
Hypothesis finding based on upward refinement of residue hypotheses.
Theor. Comput. Sci. 1(298): 5-19 (2003) |
| 2002 |
|---|
| 23 | EE | Bertram Fronhöfer,
Akihiro Yamamoto:
Minimised Residue Hypotheses in Relevant Logic.
ALT 2002: 278-292 |
| 22 | EE | Akihiro Yamamoto,
Bertram Fronhöfer:
A Theory of Hypothesis Finding in Clausal Logic.
Progress in Discovery Science 2002: 246-257 |
| 2001 |
|---|
| 21 | EE | Akihiro Yamamoto,
Kimihito Ito,
Akira Ishino,
Hiroki Arimura:
Modelling Semi-structured Documents with Hedges for Deduction and Induction.
ILP 2001: 240-247 |
| 2000 |
|---|
| 20 | EE | Akihiro Yamamoto,
Bertram Fronhöfer:
Hypotheses Finding via Residue Hypotheses with the Resolution Principle.
ALT 2000: 156-165 |
| 19 | EE | Akihiro Yamamoto:
New Conditions for the Existence of Least Generalizations under Relative Subsumption.
ILP 2000: 253-264 |
| 1999 |
|---|
| 18 | | Akihiro Yamamoto:
Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program.
New Generation Comput. 17(1): 119-127 (1999) |
| 17 | | Akihiro Yamamoto:
An Inference Method for the Complete Inverse of Relative Subsumption.
New Generation Comput. 17(1): 99-117 (1999) |
| 1998 |
|---|
| 16 | EE | Akihiro Yamamoto:
Logical Aspects of Several Bottom-Up Fittings.
ALT 1998: 158-168 |
| 15 | EE | Kimihito Ito,
Akihiro Yamamoto:
Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses.
Discovery Science 1998: 303-314 |
| 14 | | Hisashi Inoue,
Akio Miyazaki,
Akihiro Yamamoto,
Takashi Katsura:
A Digital Watermark based on the Wavelet Transform and its Robustness on Image Compression.
ICIP (2) 1998: 391-395 |
| 1997 |
|---|
| 13 | | Akihiro Yamamoto:
Which Hypotheses Can Be Found with Inverse Entailment?
ILP 1997: 296-308 |
| 12 | | Akira Ishino,
Akihiro Yamamoto:
Generalization in Typed Equational Programming and Their Application to Learning Functions.
New Generation Comput. 15(1): 85-103 (1997) |
| 1994 |
|---|
| 11 | | Akira Ishino,
Akihiro Yamamoto:
Learning from Examples with Typed Equational Programming.
AII/ALT 1994: 301-316 |
| 1993 |
|---|
| 10 | | Akihiro Yamamoto:
Generalized Unification as Background Knowledge in Learning Logic Programs.
ALT 1993: 111-122 |
| 9 | EE | Hideo Fujiwara,
Akihiro Yamamoto:
Parity-scan design to reduce the cost of test application.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(10): 1604-1611 (1993) |
| 1992 |
|---|
| 8 | | Kimihito Ito,
Akihiro Yamamoto:
Polynomial-Time MAT Learning of Multilinear Logic Programs.
ALT 1992: 63-74 |
| 7 | | Hideo Fujiwara,
Akihiro Yamamoto:
Parity-Scan Design to Reduce the Cost of Test Application.
ITC 1992: 283-292 |
| 6 | | Akihiro Yamamoto:
Short Note: Procedural Semantics and Negative Information of Elementary Formal System.
J. Log. Program. 13(1): 89-97 (1992) |
| 5 | | Setsuo Arikawa,
Takeshi Shinohara,
Akihiro Yamamoto:
Learning Elementary Formal Systems.
Theor. Comput. Sci. 95(1): 97-113 (1992) |
| 1989 |
|---|
| 4 | EE | Setsuo Arikawa,
Takeshi Shinohara,
Akihiro Yamamoto:
Elementary Formal System as a Unifying Framework for Language Learning.
COLT 1989: 312-327 |
| 3 | | Akihiro Yamamoto:
Elementary Formal System as a Logic Programming Language.
LP 1989: 73-86 |
| 1988 |
|---|
| 2 | | Akihiro Yamamoto:
Completeness of Extending Unification Based on Basic Narrowing.
LP 1988: 1-10 |
| 1987 |
|---|
| 1 | | Akihiro Yamamoto:
A Theoretical Combination of SLD-Resolution and Narrowing.
ICLP 1987: 470-487 |
