| 1 | Organizing Committee | .... 4 |
| 2 | Preface | .... 5 |
| 3 | Abductive Logic Programming' | .... 6 |
| 4 | Explanation in the Situation Calculus | .... 57 |
| 5 | Explanation Reconfiguration in Abductice Reasoning | .... 70 |
| 6 | A Formal Scheme of Semantic Network | .... 77 |
| 7 | Expansion and Succession in the MERM Mental Representation Model | .... 85 |
| 8 | Conceptual Mapping and Bidirectional Machine Translation | .... 101 |
| 9 | Bottun-up Parallel Parser by Model Generation Theorem Prover | .... 113 |
| 10 | Automatic Generation of Semantic Code Trees | .... 121 |
| 11 | Dynamics and Flexible Inference | .... 138 |
| End | .... 149 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda