ＩＣＯＴ研究論文（ＴＲ）一覧
研究論文の閲覧には、Acrobat Readerが必要です。
[Jumping tables]
（財）新世代コンピュータ技術開発機構
No. 名 称 著 者 登録月 頁数
TR-001~TR-100
TR-001 Toward A New Generation Computer Architecture S.Uchida 82.07 28
TR-002 PROLOG and Relational Data Bases for Fifth Generation Computer Systems S.Kunifuji, et al. 82.09 23
TR-003 A Subset Concurrent Prolog and its Interpreter (2nd Version) E.Y.Shapiro 83.01 78
TR-004 Object Oriented Programming in Concurrent Prolog E.Y.Shapiro, et al. 83.04 29
TR-005 ESP as Preliminary Kernel Language of Fifth Generation Computers T.Chikayama 83.04 29
TR-006 Interprocess Communication in Concurrent Prolog A.Takeuchi, et al. 83.05 16
TR-007 Prologへの否定的知識の導入とプログラム検証 坂井 公，他 83.05 19
TR-008 Chart Parsing in Concurrent Prolog H.Hirakawa 83.05 19
TR-009 Prologによる対象知識とメタ知識の融合とその応用 國藤 進，他 83.05 9
TR-010 知識同化機構の一実現法 北上 始，他 83.05 27
TR-011 Inference Machine : From Sequential to Parallel S.Uchida 83.05 12
TR-012 A Relational Database Machine : First step to a Knowledge Base Machine K.Murakami, et al. 83.05 5
TR-013 The Personal Sequential Inference Machine (PSI) : Its Design Philosophy N.Nishikawa, et al. 83.06 22
and Machine Architecture
TR-014 逐次型パーソナル推論マシンψの設計思想とそのアーキテクチャ 西川 宏，他 83.06 13
TR-015 Logic Programming-Past,Present and Future J.A.Robinson 83.06 22
TR-016 Qute:A Prolog/Lisp Type Language for Logic Programming M.Sato, et al. 83.08 15
TR-017 Average Size of Turner's Translation to Combinator Program T.Hikita 83.08 27
TR-018 A Transformation System for Logic Programs Which Preserves Equivalence M.Tamaki, et al. 83.08 24
TR-019 LFG in Prolog-Toward a Formal System for Representing Grammatical H.Yasukawa 83.08 35
Relations
TR-020 Implementing an OR-Parallel Optimizing Prolog Systems (POPS) in H.Hirakawa, et al. 83.08 21
Concurrent Prolog
TR-021 汎用型マイクロプログラム・アセンブラ 高木茂行 83.08 37
TR-022 Modularization and Abstraction in Logic Programming K.Furukawa, et al. 83.08 16
TR-023 拡張ＯＲ並列ＰＲＯＬＯＧシステム−ＸＰ´Ｓ 麻生盛敏，他 83.08 25
TR-024 A Knowledge Representation System in Prolog K.Sugiyama, et al. 83.08 16
TR-025 A Knowledge Assimilation Method for Logic Databases H.Kitakami, et al. 83.09 21
TR-026 An Enhanced Inference Mechanism for Generating Relational Algebra H.Yokota, et al. 83.10 11
Queries
TR-027 On the Parallel Computational Complexity of Unification H.Yasuura 83.10 37
TR-028 Incorporating Naive Negation into PROLOG K.Sakai, et al. 83.10 20
TR-029 Mandala : A Concurrent Prolog Based Knowledge Programming Language / K.Furukawa, et al. 83.11 11
System
TR-030 Paradigms of Knowledge Based Software System and Its Service Image H.Enomoto, et al. 83.11 48
TR-031 Prologによる推論機構と関係データベースの結合 横田治夫，他 83.11 11
TR-032 逐次型Prologプログラムの静的解析 尾内理紀夫，他 83.11 33
TR-033 Parallel Inference Machine Based on the Data Flow Model N.Ito, et al. 83.12 21
TR-034 Systems Programming in Concurrent Prolog E.Shapiro 83.11 32
TR-035 Parallel Prolog Machine Based on the Data Flow Model N.Ito, et al. 83.09 46
TR-036 論理型言語による文字列処理の記述について 上田和紀，他 83.12 9
TR-037 A Methodology for Implementation of A Knowledge Acquisition System H.Kitakami, et al. 83.12 13
TR-038 ＢＵＰシステム 森下太朗，他 84.12 29
TR-039 新聞における校正・校閲の実データによる調査 石井 暁，他 83.12 23
TR-040 Some Comments on Semantical Disk Cache Management for Knowledge Base H.Schweppe 84.01 17
Systems
TR-041 Simulator of XP'S （日本語） 麻生盛敏 84.01 78
TR-042 An Approach to a Parallel Inference Machine Based on Control-Driven R.Onai, et al. 84.01 27
and Data-Driven Mechanisms
TR-043 Mandala : 論理型言語の上の知識プログラミング・システム 古川康一，他 84.02 26
TR-044 ESP Reference Manual「ＥＳＰマニュアル」 近山 隆 84.02 59
TR-045 The Design and Implementation of a Personal Sequential Inference M.Yokota, et al. 84.02 24
Machine : PSI
TR-046 Dialog Management in the Personal Sequential Inference Machine (PSI) J.Tsuji, et al. 84.03 28
TR-047 Prologソースレベル・オプティマイザ −最適化手法のカタログ− 沢村 一，他 84.03 13
TR-048 逐次型Prologプログラムの解析 尾内理紀夫，他 84.03 13
TR-049 論理型言語によるメタ推論とのその応用 國藤 進，他 84.03 9
TR-050 データフロー方式並列推論マシンのアーキテクチャ 伊藤徳義，他 84.03 13
TR-051 ソフトウェア開発支援システム 杉本正勝 84.03 8
TR-052 パーソナル逐次型推論マシンＰＳＩのハードウェア設計 瀧 和男，他 84.03 16
TR-053 A Relational Database Machine with Large Semiconductor Disk and S.Shibayama, et al. 84.03 53
Hardware Relational Algebra Processor
TR-054 核言語第一版概念仕様書 古川康一，他 84.03 44
TR-055 SIMPOS : An Operating System for a Personal Prolog Machime PSI T.Hattori, et al. 84.04 23
TR-056 The Concepts and Facilities of SIMPOS Supervisor T.Hattori, et al. 84.04 32
TR-057 Overall Design of SIMPOS S.Takagi, et al. 84.04 13
TR-058 Prolog-based Expert System for Logic Design F.Maruyama, et al. 84.04 22
TR-059 The Concepts and Facilities of SIMPOS File System Hattori, et al. 84.04 34
TR-060 A Note on the Set Abstraction in Logic Programming Language T.Yokomori 84.04 22
TR-061 Coordinator-the Kernel of the Programming System for the Personal T.Kurokawa, et al. 84.04 13
Sequential Inference Machine (PSI)
TR-062 An Ordering for Term Rewriting System K.Sakai 84.04 15
TR-063 Design and Implementation of the Relational Database Engine H.Sakai, et.al. 84.04 34
TR-064 Query Processing Flow on RDBM Delta's Functionally-Distributed S.Shibayama, et al. 84.04 26
Architecture
TR-065 Efficient Stream / Array Processing in Logic Programming Language K.Ueda, et al. 84.04 21
TR-066 Design and Implementation of a Two-Way Merge-Sorter and its Application K.Iwata, et al. 84.05 25
to Relational Database Processing
TR-067 Natural Language Based Software Development System TELL H.Enomoto, et al. 84.06 12
TR-068 Formal Specification and Verification for Concurrent Systems by TELL H.Enomoto, et al. 84.06 15
TR-069 登録抹消
TR-070 ＷＧ４ワークショップ´８３“知識表現” 溝口文雄，他 84.08 47
TR-071 Design Concept for a Software Development Consultation System M.Sugimoto, et al. 84.08 21
TR-072 Comparison of Closure Reduction and Combinatory Reduction Schemes T.Ida, et al. 84.08 47
TR-073 より自然な翻訳へのアプローチ［１］ 田中穂積，他 84.08 12
TR-074 An Overview of Relational Database Machine Delta N.Miyazaki, et al. 84.08 26
TR-075 Hardware Design and Implementation of the Personal Sequential Inference K.Taki, et al. 84.08 13
Machine (PSI)
TR-076 Mandala : A Logic Based Knowledge Programming System K.Furukawa, et al. 84.08 11
TR-077 並列推論マシン PIM-Rのアーキテクチャとソフトウェア・シミュレーション 尾内理紀夫，他 85.01 64
TR-078 知識アーキテクチャの構想 近藤浩康 84.09 8
TR-079 逐次型推論マシンψのマイクロインタプリタ 山本 明，他 84.09 19
TR-080 状況意味論に基づいたＯＡシステムの試作 加藤恒昭 84.09 55
TR-081 複合ローカル・エリア・ネットワ—クＩＮＩ 田口昭仁，他 84.09 9
TR-082 Overview of the Compound Local Area Network ; Bridge Protocol for A.Taguchi 84.10 17
Inter-Subnetwork Broadcasting
TR-083 Current Status snd Future Plans of the Fifth Generation Computer K.Kawanobe 84.10 16
Systems Project
TR-084 Architectures and Hardware Systems : K.Murakami, et al. 84.10 20
Parallel Inference Machine and Knowledge Base Machine
TR-085 Basic Software System K.Furukawa, et al. 84.10 22
TR-086 Sequential Inference Machine : SIM Progress Report S.Uchida, et al. 84.10 13
TR-087 Sequential Inference Machine : SIM Its Programming and Operating System T.Yokoi, et al. 84.10 13
TR-088 Recursive Unsolvability of Determinacy, Solvable Cases of Determinacy H.Sawamura, et al. 84.10 22
and their Applications to Prolog Opetimization
TR-089 The Design and Implementation of Relational Database Machine Delta T.Kakuta, et al. 84.11 34
TR-090 A Sequential Implementation of Concurrent Prolog based on the Shallow T.Miyazaki, et al. 84.11 21
Binding Scheme
TR-091 A Hardware Pipeline Algorithm for Relational Database Processing and S.Kamiya, et al. 84.11 23
Its Implementation Using a Dedicated Hardware
TR-092 Concurrent Prolog Compiler on Top of Prolog K.Ueda, et al. 84.12 14
TR-093 OCCAM TO CMOS Experimental Logic Design Support System T.Mano, et al. 84.12 20
TR-094 Formulation of Induction Formulas in Verification of Prolog Programs T.Kanamori, et al. 84.12 16
TR-095 Type Inference in Prolog and Its Applications T.Kanamori, et al. 84.12 16
TR-096 Verification of Prolog Programs Using an Extension of Execution T.Kanamori, et al. 84.12 15
TR-097 Principles of OBJ 2 K.Futatsugi et al. 84.12 34
TR-098 Logic Design : Issues in Building Knowledge-Based Design Systems F.Maruyama, et al. 84.12 25
TR-099 Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog M.Kishi, et al. 84.12 36
TR-100 Basic Specifications of the Machine-Readable Dictionary T.Ishiwata et al. 85.01 38
TR-101~TR-200
TR-101 Horn Clause Logic with Paramenterized Types for Situation Semantics K.Mukai 85.02 41
Programming
TR-102 Coucurrent Prolog Re-Examined K.Ueda 85.11 19
TR-103 Guarded Horn Clauses K.Ueda 85.07 13
TR-104 Towards Automated Synthetic Differential Geometry 1 S.Hayashi 85.03 21
TR-105 Architecture of a Reduction-Based Parallel Inference Machine : PIM-R R.Onai, et al. 85.03 54
TR-106 Ｑｕｔｅ処理系操作説明書 桜井貴文，他 85.04 50
TR-107 知識工学の基礎と応用 第４回 Prologにおける知識ベースの管理 國藤 進，他 85.04 34
TR-108 Incorporating Generalization Heuristics into Verification of Prolog H.Seki, et al. 85.08 16
Programs
TR-109 部分計算のメタ・プログラミングへの応用 竹内彰一，他 85.06 9
TR-110 ユニフィケーションによる意味解析 安川秀樹 85.05 25
TR-111 登録抹消
TR-112 論理型言語ＥＳＰのプログラム特性評価 山下 明，他 85.07 13
TR-113 Unification over Complex Indeterminates in Prolog K.Mukai 85.07 9
TR-114 The Dataflow-based Parallel Inference Machine To Support Two M.Kishi, et al. 85.07 22
Basic Languages in KL1
TR-115 演繹・帰納・発想の推論機構化をめざして 國藤 進 85.06 18
TR-116 一階述語論理式を用いたソフトウェアモジュールの機能検索 吉田裕之，他 85.06 11
TR-117 談話理解システムＤＵＡＬＳにおけるオブジェクト同定処理 平川秀樹 85.05 22
TR-118 Prologコンパイラの設計と評価 岸本光弘，他 85.06 13
TR-119 並列推論マシンＰＩＭ−Ｒのハードウェア・シュミレータ試作 杉江 衛，他 85.06 13
TR-120 論理型言語Prologによる知識ベースの管理 國藤 進，他 85.06 15
TR-121 Constraint-based Logic Database Management : Structuring Meta-Knowledge H.Kitakami, et al. 85.06 19
in Database Management
TR-122 リダクション方式並列推論マシンＰＩＭ−Ｒのアーキテクチャ 清水 肇，他 85.06 15
TR-123 Deductive Database System based on Unit Resolution H.Yokota, et al. 85.06 15
TR-124 計算機による日本語の用語・固有名詞の校正 石井 暁 85.07 21
TR-125 Proofreading Japanese Word Usage and Proper Nouns by Computer S.Ishii 85.07 23
TR-126 Partial Evaluation of Prolog Programs and its Application to Meta A.Takeuchi, et al. 85.07 20
Programming
TR-127 知識アーキテクチャ研究報告 近藤浩康 85.07 36
TR-128 The Correctness of Two Translation Methods from Definit Clause Grammers K.Sakai, et al. 85.07 12
into Prolog Programs
TR-129 メタプログラミングによる知識情報処理への接近 國藤 進，他 85.07 7
TR-130 論理型プログラミング言語Prologによる知識ベース管理システム 北上 始，他 85.07 14
TR-131 Representation Theorems and Primitive Predicates for Logic Programs T.Yokomori 85.08 39
TR-132 On QFTL and the Refutation Procedure on ω-Graphs A.Fusaoka, et al. 85.08 21
TR-133
TR-134 知識獲得システム 北上 始 85.05 29
TR-135 Retrieval of Software Module Functions Using First-order Predicate H.Yoshida, et al. 85.09 12
Logical Formulae
TR-136 Design and Evaluation of a Prolog Compiler M.Kishimoto, et al. 85.09 13
TR-137 メタプログラミングによる論理プログラミングと知識情報処理技術の融合 國藤 進，他 85.09 11
TR-138 Architecture and Evaluation of a Reduction-Based Inference Machine : R.Onai, et al. 85.09 13
PIM-R
TR-139 Single Queue Compilation in Extended Concurrent Prolog M.Kishishita,et al. 85.10 25
TR-140 An Algebraic Manipulation System Using Meta-level Inference Based on T.Takewaki, et al. 85.10 20
Human Heuristics
TR-141 A Model and an Architecture for a Relational Knowledge Base H.Yokota, et al. 85.11 17
TR-142 Evaluation of PSI Micro-Interpreter H.Nakashima, et al. 85.11 6
TR-143 An Algorithm for Finding a Query which Discriminates Competing H.Seki, et al. 85.10 11
Hypotheses
TR-144 Spreadsheets with Incremental Queries as a User Interface for Logic M.H.van Emden 85.10 20
Programming et al.
TR-145 Making Exhaustive Search Programs Deterministic K.Ueda 85.11 20
TR-146 A Parallel Parsing System for Natural Language Analysis Y.Matsumoto 85.11 17
TR-147 知識表現形式ＤＣＫＲとその応用 田中穂積 85.12 23
TR-148 Application of Partial Evaluation to the Algebraic Manipulation System T.Takewaki, et al. 85.12 13
and its Evaluation
TR-149 Formal Semantics of a Relational Knowledge Base M.Murakami, et al. 85.12 11
TR-150 KABU-WAKE : A NEW PARALLEL INFERENCE METHOD AND ITS EVALUATION K.Kumon, et al. 86.03 6
TR-151 Features of A Meta-Unification Based Language Talos T.Kanamori 85.10 31
TR-152 Computation by Meta-Unification with Constructure T.Kanamori 85.10 22
TR-153 Logic-Based Retrieval and Reuse of Software Modules H.Katoh, et al. 85.10 6
TR-154 Prologプログラムの最適化 沢村 一 86.01 75
TR-155 ある種の環上の多項式の因数分解について(Lenstraの方法とその一般化） 横山和弘，他 86.02 16
TR-156 A Large-Scale Knowledge Base Machine Control Technique Using Multi-Port H.Monoi, et al. 86.02 21
Page-Memory
TR-157 Parallel Control Techniques for Dedicated Relational Database Engines M.Abe, et al. 86.02 19
TR-158 Retrieval-by-Unification Operation on a Relational Knowledge Base Model Y.Morita, et al. 86.02 21
TR-159 Distributed Implementation of FGHC M.Kishishita,et al. 86.03 24
TR-160 The Architecture and Preliminary Evaluation Results of the Experimental E.Kuno, et al. 86.03 9
Parallel Inference Machine PIM-D
TR-161 A Theorem Prover Based on Connection Graph and its Implementation by T.Minami 86.03 29
Prolog
TR-162 関数型言語の計算モデル 井田哲雄，他 86.03 18
TR-163 Parallel Logic Programming Languages A.Takeuchi, et al. 86.04 14
TR-164 核言語ＫＬ１ソフトウェアシミュレータの試作 大原有理，他 86.04 9
TR-165 並列推論マシンＰＩＭ−Ｄの評価 伊藤徳義，他 86.04 9
TR-166 Affinity between Meta Interpreters and Partial Evaluation A.Takeuchi 86.04 5
TR-167 論理型言語によるハイブリッドな問題解決支援環境ＫＯＲＥの設計 新谷虎松，他 86.04 9
TR-168 Guarded Horn Clauses and Experiences with Parallel Logic Programming J.Tanaka, et al. 86.04 22
TR-169 オブジェクト表現を用いたプログラム開発の支援環境 片山佳則 86.04 9
TR-170 Programming in Modal Logic 榊原康文 86.04 9
TR-171 論理式エディタ 南 俊朗，他 86.04 11
TR-172 Intelligent Support for Office Work with a Prolog-Based Object-Oriented H.Sato, et al. 86.04 15
Programming Language ESP
TR-173 Development of Expert Systems in the Fifth Generation Computer Systems Y.Iwashita, et al. 86.05 11
Project
TR-174 An Integrated Knowledge Representation Scheme for Expert Systems H.Takenouchi,et al. 86.05 12
TR-175 Soundness and Completeness of Extended Execution for Proving Properties T.Kanamori 86.05 29
of Prolog Programs
TR-176 Argus / v : A System for Verification of Prolog Programs T.Kanamori, et al. 86.05 13
TR-177 Construction of Logic Programs Based on Generalized Unfold/Fold Rules T.Kanamori, et al. 86.05 23
TR-178 Derivation of Logic Programs from Implicit Definition T.Kanamori, et al. 86.05 19
TR-179 Unfold / Fold Transformation of Logic Programs with Counters T.Kanamori, et al. 86.05 18
TR-180 並列オブジェクト指向による大規模システムの実現 真野忠志，他 86.05 13
TR-181 有限体上の一変数多項式の因数分解について 横山和弘，他 86.05 14
TR-182 Parallel Control Techniques for Dedicated Relational Database Engines Y.Mitomo, et al. 86.06 23
TR-183 Compiling Horn Clause Queries in Deductive Databases : A Horn Clause N.Miyazaki, et al. 86.06 36
Transformation Approach
TR-184 On Parallel Programming Methodology in GHC K.Takahashi, et al. 86.05 9
TR-185 Algorithmic Debugging of GHC Programs and its Implementation in GHC A.Takeuchi 86.06 17
TR-186 A Framework for Debugging GHC J.Lloyd, et al. 86.06 12
TR-187 並列推論マシンＰＩＭ−ＤにおけるＧＨＣ処理方式と実験機による評価 伊藤徳義，他 86.06 9
TR-188 A Framework for Interactive Problem Solving based on Interactive M.Ohki, et al. 86.06 11
Query Revision
TR-189 Ｍｕｌｔｉ−ＰＳＩにおけるＦｌａｔ ＧＨＣの実現方式 宮崎敏彦，他 86.06 11
TR-190 RESEARCH ACTIVITIES ON NATURAL LANGUAGE PROCESSING OF THE FGCS PROJECT T.Yokoi, et al. 86.06 8
TR-191 Research and development on knowledge base systems at ICOT H.Itoh 86.06 10
TR-192 株分け並列推論方式とその評価 増沢秀穂，他 86.06 9
TR-193 "KABU-WAKE" PARALLEL INFERENCE MECHANISM AND ITS EVALUATION H.Masuzawa, et al. 86.11 9
TR-194 Factorization of uni-variate polynomials over finite fields K.Yokoyama, et al. 86.07 22
TR-195 エキスパートシステム開発事例における知識獲得と学習 國藤 進，他 86.06 18
TR-196 Toward the Parallel Inference Machine S.Uchida 86.08 16
TR-197 知識表現 −論理的アプローチに焦点を当てて− 松本裕治 86.08 10
TR-198 Ｐｒｏｌｏｇの動作特性に関する考察 新井 進，他 86.08 3
TR-199 日本語の句構造文法−ＪＰＳＧ 郡司隆男，他 86.09 16
TR-200 論理型言語に基づく構解析システムＳＡＸ 松本裕治，他 86.09 16
TR-201~TR-300
TR-201 Toward a High Performance Parallel Inference Machine A.Goto, et al. 86.09 22
TR-202 大規模知識ベースマシンにおける単一化エンジンの評価 小黒雅己 86.09 27
TR-203 関係データベース処理エンジンのソータの試作と評価 岩田和秀，他 86.09 17
TR-204 Knowledge Acquisition and Learning in Case Studies ofExpert System S.Kunifuji ,et al. 86.09 18
Development
TR-205 PROLOG 述語(呼び出し)の決定性 沢村 一 86.09 20
TR-206 ＰＲＯＬＯＧ述語（呼び出し）の決定性 沢村 一 86.09 9
TR-207 Ｐｒｏｌｏｇソースレベル・オプティマイザの試作とその性能評価 沢村 一 86.09 59
TR-208 Guarded Horn Clauses : A Parallel Logic Programming Language with the K.Ueda 86.10 13
Concept of a Guard
TR-209 Introduction to Guarded Horn Clauses K.Ueda 86.10 14
TR-210 自然言語処理に基づく情報検索システムＩＲＩＳ 杉山健司，他 86.10 9
TR-211 共有メモリ構成クラスタ向きＫＬ１処理方式 佐藤正俊，他 86.11 5
TR-212 論証支援システムの一構成 南 俊朗，他 86.11 5
TR-213 ＰＳＩのガーベッジコレクタ 西川 宏，他 86.10 9
TR-214 A Deductive Database System Written in Guarded Horn Clauses Y.Mitomo, et al. 86.11 15
TR-215 自然言語処理のための単一化の拡張と遅延的実行制御 向井国昭 86.11 37
TR-216 Undecidability of Determinacy,two Decidable Cases of Determinacy and H. Sawamura 86.11 27
Their Applications to Source-to-Source Transformation of Prolog
Programs
TR-217 Inductive Inference of Context-free Languages T.Yokomori,et al. 86.11 39
TR-218 オブジェクト表現開発のためのクラス構成支援について 片山佳則 86.11 9
TR-219 パーソナル逐次型推論マシンＰＳＩの評価 中島 浩，他 86.12 10
TR-220 A Procedure Resolving Anaphoric Ambiguity by Finding the Most T.Ukita, et al. 86.12 28
Informative Interpretation
TR-221 Towards Qualitative Physics M.Ohki, et al. 87.05.
TR-222 An Object-oriented Programming Language based on A Parallel Logic M.Ohki, et al. 86.12 15
Programming Language KL1
TR-223 Partial Evaluation of Knowledge Base as Specification for Queries C.Sakama, et al. 87.11 11
TR-224 An Approach to Proof Checker K.Hirose, et al. 87.01 16
TR-225 知識ベースマシンにおける単一化専用装置の処理方式とその評価 小黒雅己，他 87.06 9
TR-226 −ＰＲＯＴＯＮ− Expert System Too on the PSI Machine Y.Nagai, et al. 87.06 21
TR-227 Fact/Model Representation Environment in an Expert System Tool on PSI H.Kubono, et al. 86.06 5
TR-228 Fifth Generation Computer Project : K.Furukawa 86.06 17
TR-229 A Description Language with AND / OR Parallelism for Concurrent A.Takeuchi, et al. 87.02 13
Systems and Its-Stream-Based Realization
TR-230 A Distributed Implementation of Flat GHC on the Muiti-PSI N.Ichiyoshi, et al. 87.05 20
TR-231 Cognitive Model for Quantitative Interpretation of Line Drawings N.Oka 87.02 16
TR-232 An Evaluation of the FGHC via Practical Application Programs M.Kishimoto, et al. 87.02 26
TR-233 通信システム用仕様設計エキスパートシステムにおける知識検証系の検討 三宅和裕，他 87.02 3
TR-234 Parallel Inference Machine and Knowledge Base Machine H.Itoh, et al. 87.02 12
TR-235 並列問題解決用言語ＡＮＤＯＲ− 竹内彰一，他 87.03 7
TR-236 ＰＳＩへのコンパイラ向きProlog命令の試験実装と評価 中島 浩，他 87.03 8
TR-237 The Parallel Software Research and Development Tool : Multi-PSI System K.Taki 87.03 18
TR-238 On Semantics of Logic Programs With Uncertainties Y.Sakakibara 87.03 22
TR-239 Anadic Tuples in Prolog K.Mukai 87.03 26
TR-240 Performance Evaluation of a Unification Engine for a Know-ledge Base Y.Morita, et al. 87.03 24
Machine
TR-241 Parallel Programming with Layered Streams A.Okamura, et al. 87.03 10
TR-242 Proving Partial Correctness of Guarded Horn Clauses Programs M.Murakami 87.03 15
TR-243 Constraint Analysis on Japanese Modification R.Sugimura, et al. 87.03 13
TR-244 Writing Program as QJ Proof and Compiling into PROLOG Program Y.Takayama 87.03 25
TR-245 Proof Parameterization Method in Constructive Logic Y.Takayama 87.03 30
TR-246 An Abstract KL1 Machine and Its Instruction Set Y.Kimura, et al. 87.06 11
TR-247 Parallel Cache and Hardware Lock Mechanism for PIM Cluster A.Matsumoto, et al. 87.03 7
TR-248 Multiple Reference Management in Flat GHC T.Chikayama, et al. 87.03 18
TR-249 Making Exhaustive Search Programs Determinisitic, Part K.Ueda 87.03 21
TR-250 KLI Execution Model for PIM Cluster with Shared Memory M.Sato, et al. 87.04 19
TR-251 Basic Method for Mutual Utilization of Distributed Personal Knowledge M.Oba, et al. 87.04 21
Bases
TR-252 A Parsing System Based on Logic Programming Y.Matumoto, et al. 87.04 5
TR-253 知識獲得支援システム（ＥＰＳＩＬＯＮ）における専門家モデル 滝 寛和，他 87.04 7
TR-254 EXPERT MODEL for Knowledge Aquisition Y.Iwashita, et al. 87.04 9
TR-255 Parallel Control Techniques for Retrieval Processes in the Parallel T.Takewaki, et al. 87.05 17
Logic Programming Language and their Evaluation
TR-256 ホーン節変換：演繹データベースにおける部分評価の応用 宮崎収兄，他 87.05 18
TR-257 演繹データベースにおける制約付最小不動点 宮崎収兄，他 87.05 21
TR-258 A Self Applicable Partial Evaluator and Its Use in Incremental H.Fujita, et al. 87.05 27
Compilation
TR-259 Performance Evaluation of Superimposed Code Scheme for Relational M.Wada, et al. 87.05 22
Operations
TR-260 Inductive Inference of Logic Programs based on Algebraic Semantics Y.Sakakibara 87.05 22
TR-261 A Simulation Study of a Knowledge Base Machine Architecture H.Sakai, et al. 87.05 32
TR-262 並列論理型言語のコンパイル方式の誘導 神田陽治，他 87.06 11
TR-263 Polymorphic Type Inference in Prolog by Abstract Interpretation N.Kanamori, et al. 87.06 11
TR-264 Parallel Inference System Researches in the FGCS Project T.Chikayama 87.06 6
TR-265 Hardware Architecture of the Sequential Inference Machine : PSI-11 H.Nakashima, et al. 87.06 11
TR-266 解析問題向き知識獲得支援システムの研究開発動向 国藤 進，他 87.06 9
TR-267 最近の構文解析の話題−並列構文解析について 松本裕治 87.06 10
TR-268 レイヤードストリームを用いた並列プログラミング 奥村 晃，他 87.06 11
TR-269 並列推論マシンＰＩＭ 後藤厚宏 87.06 5
TR-270 Restricted Least Fixed Points and Recursive Query Processing Strategies N.Miyazaki, et al. 87.06 30
TR-271 Concurrent Program Synthesis with Reusable Components Using Temporal N.Uchihira, et al. 87.06 36
Logic
TR-272 知識獲得の為の専門家モデル 滝 寛和，他 87.06 9
TR-273 線画の奥行き知覚のモデル 岡 夏樹 87.06 9
TR-274 Performance and Architectual Evaluation of the PSI Machine K.Taki, et al. 87.07 12
TR-275 マルチポートーページメモリを用いた知識ベースマシンの並列制御方式と処理 酒井 浩，他 87.07 9
性能
TR-276
TR-277 登録抹消
TR-278 Inference Machinesin FGCS Project S.Uchida 87.07 11
TR-279 Analyzing Success Patterns of Logic Programs by Abstract Hybrid K.Kanamori, et al. 87.07 46
Interpretation
TR-280 KBMS PHIにおける分散問い合せ処理方式 高杉哲朗，他 87.07 9
TR-281 PROTON : An Expert System Tool on the PSI S.Sindo, et al. 87.07 16
TR-282 ソフトウェア概念設計に於ける知的設計支援 市古喬男 88.05 11
TR-283 Remote Object Accessing Mechanism in SIMPOS K.Yoshida 87.07 21
TR-284 Parallel Control Technique and Performance of an MPPM Knowledge Base S.Shibayama,et al. 87.07 20
Machine
TR-285 Programming in ESP −Experiences with SIMPOS − T.Chikayama 87.07 15
TR-286 並列動作系における推論方式について 高橋和子，他 87.07 3
TR-287 KL1 の並列処理 −疎結合マルチプロセッサにおける負荷分配方式の評価− 米山 貢，他 87.07 2
TR-288 プロトタイピング手法を用いた通信システム用設計仕様の作成方式 田中 亘， 87.08 9
TR-289 Analysis Of Design Specification in a Communication System by Means of H.Hasegawa, et al 87.08 7
Petri Nets
TR-290 Top-down Zooming Diagnosis of Logic Programs M.Maeji, et al. 87.08 31
TR-291 並列論理型核言語に基づく知識ベースマシン 伊藤英則 87.08 25
TR-292 Knowledge Base Machine Based on Parallel Kernel Language T.Takewaki, et al. 87.08 15
TR-293 A Superimposed Code Scheme for Deductive Databases M.Wada, et al. 87.08 15
TR-294 A Simulation Study of A Knowledge Base Machine Architecture H.Sakai, et al. 87.08 15
TR-295 Design, Implementation,and Evaluation of A Relational Database Engine F.Itoh ,et al. 87.08 15
for Variable Length Records
TR-296 QPC : QJ-based Proof Compiler Simple Examples and Analysis Y.Takayama 87.09 34
TR-297 A Minimal Change of Belief a Criterion of Belief Revision K.Satoh 87.09 9
TR-298 T : A Simple Reduction Language Based on Combinatory Term Rewriting T.Ida, et al. 87.09 20
TR-299 分散知識ベース管理システムＰＨＩ 宮崎収兄，他 87.09 9
TR-300 Current R&D Results and Their Perspective in Japanese Fifth Generation T.Ichiko, et al 87.09 25
Computer Systems (FGCS)
TR-301~TR-400
TR-301 ＧＨＣによる簡単なプログラミングシステムの記述 太田裕紀子，他 87.09 9
TR-302 Partial Evaluation of Queries in Deductive Databases C.Sakama, et al. 87.09 15
TR-303 汎用の論証支援システムの構想とその実現法 沢村 一，他 87.09 9
TR-304 密結合マルチプロセッサでのKL1 並列処理系の評価 佐藤正俊，他 87.09 9
TR-305 論理プログラミング言語による知識獲得支援システムの研究 國藤 進 87.10.
TR-306 Consideration of a Hypothesis-based Reasoning System S.Kunifuji, et al. 87.10 28
TR-307 並列推論マシン：その研究の方向づけ 内田俊一 87.10 20
TR-308 A'UM -Parallel Object-Oriented Language upon KL1 K.Yoshida, et al. 87.10 32
TR-309 並列推論マシンPIM-D におけるストリーム処理方式の評価 久野英治，他 87.10 9
TR-310 Reflection概念に基づく並列論理型言語とその応用 田中二郎 87.10 11
TR-311 An Experimental Knowledge Base Machine with Unification-based Retrieval S.Shibayama,et al. 87.10 16
Capability
TR-312 昭和61年度知識システムシェル・ワーキンググループ報告書 石塚 満，他 87.10 132
TR-313 論証支援システムにおける理論間の関係構造 南 俊朗，他 87.10 14
TR-314 仮説推論による探索木の枝刈りについて 井上克已 87.11 5
TR-315 Ascription : Application of the Circumscription Technique to Various J.Arima 87.11 18
Conjectural Reasoning
TR-316 Minimal Change− A Criterion for Choosing between Competing Models− K.Sato 87.11 32
TR-317 A Constructive Method for Grammatical Inference of Linear Languages Y.Takada 87.11 23
based on Control Sets
TR-318 Parsing Gapping Grammars in Parallel Y.Matsumoto 87.11 11
TR-319 意識処理／無意識処理の認知モデル 岡 夏樹 87.11 5
TR-320 Constraint Analysis on Japanese Depending Structure R.Sugimura, et al. 87.11 11
TR-321 KL1の多重参照ビットによるGC方式について 宮内信仁，他 87.11 9
TR-322 KL1のメモリ参照特性に適した並列キャッシュ機構 松本 明，他 87.11 9
TR-323 Efficient Stream Processing in GHC and its Evaluation on a Parallel N.Itoh, et al. 87.11 14
Inference Machine
TR-324 Parallel Inference Machine Research in FGCS Project A.Goto 87.11 17
TR-325 内容検索のための自然言語パーサ 伊吹 潤，他 87.11 5
TR-326 Generating Natural Language Responses Appropriate to Conversational N.Noguchi, et al. 87.11 20
Situations −On the Case of Japanese −
TR-327 Locally Parallel Cache Design Based on KL1 Memory Access A.Matsumoto,et al. 87.11 21
Characteristics
TR-328 Proof Compiling Technique based on Realizability and Proof Y.Takayama 87.11 27
Normalization
TR-329 Computing Primitive Element for Extension Fields K.Yokoyama, et al. 87.11 28
TR-330 Inferring Parsers of Context-Free Languages from Structural Examples Y.Sakakibara 87.12 38
TR-331 Detecting Functionality of Logic Programs Based on Abstract Hybrid T.Kanamori, et al. 88.01 35
Interpretation
TR-332 Handling Knowledge by its Representative C.Sakama, et al. 88.01 16
TR-333 Pruning Search Trees in Assumption-based Reasoning K.Inoue 88.01 20
TR-334 Deductive Approach For Nested Relations K.Yokota 88.01 23
TR-335 A'UM −Parallel Object-Orieneted Language upon KL1 − K.Yoshida, et al. 88.01 11
TR-336 A Model Theory for Hypothetical Reasoning K.Inoue 88.02 12
TR-337 An Evaluation Method for Stratified Programs under the Extended Closed H.Seki, et al. 88.02 18
World Assumption
TR-338 Lazy Reference Counting Method A.Goto, et al. 88.02 13
TR-339 An Axiomatic Verification Method for Synchronizations of Guarded Horn M.Murakami 88.02 13
TR-340 登録抹消
TR-341 An Efficient Termination Detection and Abortion Algorithm for K.Rokusawa, et al. 88.02 9
Distributed Processing Systems
TR-342 KL1 擬似並列処理系における実時間GC方式のキャッシュ特性の評価 西田健次，他 88.02 9
TR-343 A Simple Programming System Written in GHC and its Reflective J.Tanaka 88.02 13
Operations
TR-344 Partial Evaluation of GHC Programs Based on UR-set with Constraint H.Fujita, et al. 88.02 13
Solving
TR-345 A New Declarative Semantics of Flat Guarded Horn Clauses Giorgio Levi 88.02 33
TR-346 論証支援システム：論理モデル構築のための支援ツール 南 俊郎，他 88.03 11
TR-347 Structural Superimposed Codeword as an Indexing Scheme for Terms A.Nakase, et al. 88.03 33
TR-348 登録抹消
TR-349 Evaluation of the KL1 Parallel System on a Shared Memory M.Sato, et al. 88.03 16
Multiprocessor
TR-350 Deriving a Compilation Method for Parallel Logic Languages Y.Kohda, et al. 88.03 16
TR-351 意識処理／無意識処理の認知モデル（第１版）：意識に上る知識の文脈依存性 岡 夏樹 88.03 13
TR-352 Analysis of Parallel Inference Machines to Achieve Dynamic Load M.Sugie, et al. 88.03 7
Balancing
TR-353 オブジェクト指向言語によるOSの開発例 近山 隆 88.03 7
TR-354 Piling GC −Efficient Garbage Collection for AI Languages − K.Nakajima 88.03 14
TR-355 Toward Mechanization of Mathematics K.Sakai 88.03 57
TR-356 Nonmonotonic Parallel Inheritance Network C.Sakama, et al. 88.03 17
TR-357 On the Semantics of Hypothetical Reasoning and Truth Maintenance K.Inoue 88.03 11
TR-358 Nonmonotonic Reasoning by Minimal Belief Revision K.Satoh 88.05 15
TR-359 Learning Simple Languages in Polynomial Time T.Yokomori 88.03 43
TR-360 類型タスク構造に基づく知識獲得 椿 和弘，他 88.03 5
TR-361 Competitive Partial Evaluation A.Takeuchi, et al. 88.03 32
TR-362 論理型形態素解析 LAX 杉村領一，他 88.03 11
TR-363 APRICOT −仮説推論を用いた問題解決− 井上克已 88.04 20
TR-364 CAL : A Theoretical Background of Constraint Logic Programming and its K.Sakai, et al. 88.04 15
Applications
TR-365 Euclid環上の因数分解及び GCDについて格子算法の応用 横山和弘，他 88.04 31
TR-366 状況理論に基づくイベントと行為の理論 −予備的考察− 堂坂浩二他 88.04 48
TR-367 構文解析システム SAXのデバッグ環境 山崎重一郎，他 88.04 7
TR-368 Control of an Active Suspension System for a Wheeled Vehicle E.Horiuchi, et al. 88.04 13
TR-369 A Parallel-Inference Problem-Solving Mechanism for Computer Room Y.Iizuka, et al. 88.04 21
Layout CAD System
TR-370 Measurements and Evaluation for the Multi-PSI / V1 System K.Taki 88.04 28
TR-371 Load-dispatching Strategy on Parallel Inference Machines S.Sugie, et al. 88.05 17
TR-372 Knowledge Representation with Abstractive Layers for Information T.Koguchi, et al. 88.05 21
Retrieval
TR-373 並列論理型言語 KL1の実現方式と並列OSの記述 宮崎敏彦，他 88.05 45
TR-374 変数管理をする GHCの自己記述 田中二郎，他 88.05 15
TR-375 co-LODEX : A Cooperative Expert System for Logic Design F.Maruyama, et al. 88.05 21
TR-376 Preference Judgement in Comprehending Conversational Sentences Using T.Ukita, et al. 88.05 9
Multi-Paradigm World Knowledge
TR-377 A Principle of Query Transformations in Deductive Databases N.Miyazaki, et al. 88.05 27
TR-378 Cooperative Problem Solving Approach for Portfolio Selection H.Sato, et al. 88.05 21
TR-379 Problem Solving with Hypothetical Reasoning K.Inoue 88.05 17
TR-380 Knowledge Retrieval and Updating for Parallel Problem Solving H.Yokota, et al. 88.06 21
TR-381 Integration of Relational Knowledge Bases and Logic Programming H.Monoi, et al. 88.05 21
Languages
TR-382 A Parallel Algorithm for Inheritance Hierarchies with Constraints S.Menju, et al. 88.05 20
TR-383 An Indexing Scheme for Terms Using Structural Superimposed Code Words Y.Morita, et al. 88.05 20
TR-384 The Design and Implementation of a Knowledge Base Machine Mu-X H.Sakai, et al. 88.05 21
TR-385 物理法則に基づいた定性推論 大木 優，他 88.06 20
TR-386 FGHC Partial Evaluator as a General Purpose Parallel Compiler H.Fujita 88.05 21
TR-387 Knowledge Acquisition by Observation H.Taki 88.06 10
TR-388 A'UM −A Stream-Based Concurrent Object-Oriented Language− K.Yoshida, et al. 88.06 13
TR-389 Macro-call Instruction for the Efficient KL1 Implementation on PIM T.Shinogi, et al. 88.06 18
TR-390 A New External Reference Management and Distributed Unification for KL1 N.Ichiyoshi,et al. 88.06 27
TR-391 技術伝播知識に基づく研究開発プロジェクト群の評価支援システム 片山佳則，他 88.06 29
TR-392 Methods for Partition of Target Systems in Qualitative Reasoning K.Sakane, et al. 88.06 11
TR-393 Preliminary Evaluation of the Connection Network for the Multi-PSI K.Masuda, et al. 88.06 7
System
TR-394 Evaluation of the Effect of Incremental Garbage Collection by MRB on K.Nishida, et al. 89.06 13
FGHC Parallel Execution Performance
TR-395 Proof Theoretic Approach to the Extraction of Redundancy-Free Realizer Y.Takayama 88.06 41
Codes
TR-396 Cognitive Model for Depth Perception from a Single Line Drawing N.Oka 88.06 8
TR-397 Meta-interpreters and Reflective Operations in GHC J.Tanaka 88.06 19
TR-398 Detecting Termination of Logic Programs Based on Abstract Hybrid T.Kanamori, et al. 87.12 34
Interpretation
TR-399 Preservation of Stronger Equivalance in Unfold / Fold Logic Program T.Kawamura, et al. 88.06 17
Transformation Ｉ
TR-400 The Anonym Problem : A Weak Point of Circumscription on Equality J.Arima 88.06 11
TR-401~TR-500
TR-401 Term Indexing for Retrieval by Unification H.Yokota, et al. 88.06 24
TR-402 On Structures for Efficient Unification Join and Select Operations L.J.Henschen,et al. 88.06 24
TR-403 Preservation of Stronger Equivalence in Unfold / Fold Logic Program T.Kanamori, et al. 88.06 20
Transformation (II)
TR-404 オブジェクト指向プログラミングにおける構成支援方法 片山佳則 88.06 26
TR-405 無限プロセスを含む並列推論型プログラムの宣言的意味論 村上昌己 88.06 15
TR-406 A Declarative Semantics of Parallel Logic Programs with Perpetual M.Murakami 88.06 24
Processes
TR-407 Horn Clause Transformation by Restrictor in Deductive Databases N.Miyazaki, et al. 88.06 27
TR-408 個別に開発した知識ベースを分散環境下で相互利用するための用語対応付けの 大場雅博 88.06 30
一方式
TR-409 An Evaluation of FGHC on a Shared Memory Multiprocessor T.Ozawa, et al. 88.07 15
TR-410 Macro Processing in Prolog S.Kondoh, et al. 88.07 16
TR-411 項関係における高速検索手法 横田治夫，他 88.07 9
TR-412 並列推論マシンＰＩＭにおける効率的構造体処理方式 今井 明，他 88.07 7
TR-413 Lazy-Reference-Counting GC方式の評価 中川貴之，他 88.07 7
TR-414 ＧＨＣ処理系における負荷分散方式の検討 安里 彰，他 88.07 7
TR-415 Cognitive Model of Conscious / Unconscious Processing and Its N.Oka 88.07 11
Simulation in a Parallel Logic Programming Language
TR-416 論証支援システムEUODHILOS における論理式の構文記述法とパーサ生成 沢村 一，他 88.07 14
TR-417 A Programming System Based on QJ Y.Takayama 88.07 46
TR-418 A Parallel Problem Solving Language for Concurrent Systems A.Takeuchi, et al. 88.09 23
TR-419 制約ロジック・プログラミング言語ＣＡＬ −開発の現状と構想− 相場 亮，他 88.09 9
TR-420 Proof Theoretic Approach to the Extraction of Redundancy-free Realiser Y.Takayama 10
Codes
TR-421 Performance of Parallel Logic Programming Architectures E.Tick 88.09 139
TR-422 Overview of Knowledge Base Mechanism S.Shibayama,et al. 88.10 12
TR-423 Generating Rules with Exceptions J.Arima 88.10 9
TR-424 機械設計支援システム構築ツールMECHANICOT 寺崎 智，他 88.10 13
TR-425 Knowledge Base System in Logic Programming Paradigm H.Itoh, et al. 88.10 18
TR-426 Potentials of General-Purpose Reasoning Assistant System EUODHILOS H.Sawamura, et al. 88.10 25
TR-427 知識処理向き並列推論エンジン 北上 始，他 88.10 7
TR-428 マルチＰＳＩにおける実験的負荷分散メカニズム 武田保孝，他 88.10 9
TR-429 Relative Plausibility based on Model Ordering : Preliminary Report K.Satoh 88.10 12
TR-430 EUODHILOS : A General-Purpose Reasoning Assistant System T.Minami, et al. 88.10 24
TR-431 System Size Dependency of Minimum Load-Dispatching Rate in Parallel M.Sugie, et al. 88.10 20
Inference Machines
TR-432 Enhanced Qualitative Physical Reasoning System M.Ohki, et al. 88.10 28
TR-433 第五世代コンピュータプロジェクトにおける知識ベースシステムの研究開発 伊藤英則，他 88.11 29
TR-434 A Preliminary Note on the Semantics of Guarded Horn Clauses T.Kanamori, et al. 88.11 50
TR-435 Knowledge Base System toward Logic Programming and Parallel Processing H.Itoh, et al. 88.11 30
Paradigms
TR-436 Design and Performance of a Coherent Cache for Parallel Logic A.Goto, et al. 88.11 22
Programming Architectures
TR-437 WEIGHTED GRAPHS, a Tool for Studying the Halting Problem and Time P.Devienne 88.11 60
Complexity in Term Rewriting Systems and Logic Programming
TR-438 失敗集合に基づく並列推論型プログラムの宣言的意味論 村上昌已 88.11 11
TR-439 Distributed Implementation of KL1 on the Multi-PSI / V2 K.Nakajima, et al. 88.12 13
TR-440 Formalizing Nonmonotonic Reasoning by Preference Order K.Sato 88.12 26
TR-441 オブジェクト指向表現における再利用のための構成支援環境 片山佳則 88.12 13
TR-442 A Failure Set Semantics of Guarded Horn Clauses Programs M.Murakami 88.12 15
TR-443 Amount of Information of a Sentence Interpretation against a Knowledge K.Sumita, et al. 88.12 13
Base
TR-444 Hierarchical Representation for Dependency-Directed Search K.Inoue 88.12 12
TR-445 ＫＬ１のクローズインデキシング方式 木村康則 89.06 9
TR-446 評価・再設計機構を備えた論理設計支援システム 丸山文宏，他 89.10 10
TR-447 Logic Program Diagnosis from Specifications T.Kanamori, et al. 89.06 42
TR-448 ＫＬ１並列処理系の評価 佐藤正俊，後藤厚宏 89.06 9
TR-449 A Concurrent Program Synthesis using Petri Net and Temporal Logic in N.Uchihira, et al. 89.06 22
MENDELS ZONE
TR-450 Operation Presumption : Knowledge Acquisition by Induction H.Taki,Y.Fujii 89.06 16
TR-451 Expert System Architecture for Design Tasks Y.Nagai, et al. 89.06 23
TR-452 On Learning Equal Matrix Languages Y.Takada 89.06 11
TR-453 並列推論マシンＰＩＭ／ｐのアーキテクチャ 服部 彰，他 89.06 9
TR-454 Partial Unification over Records K.Mukai 89.06 17
TR-455 設計問題向けツール・アーキテクチャ 永井保夫，他 89.06 10
TR-456 Deriving an Efficient Production System by Partial Evaluation K.Furukawa, et al. 89.06 17
TR-457 Parallelism in Logic Programming K.Ueda 89.06 9
TR-458 ＦＧＨＣのメモリ使用特性と世代別ＧＣ 小沢年弘，他 89.06 8
TR-459 プロダクションルールの機能的側面 滝 寛和 89.06 5
TR-460 The FGCS Computing Architecture 瀧 和男 89.06 7
TR-461 Extended Projection Y.Takayama 89.06 21
TR-462 ストリームとオブジェクト 吉田かおる，他 89.06 16
TR-463 代数的閉体上の多変数多項式の因数分解 横山和弘，他 89.06 6
TR-464 並列プログラム変換／可視化システム VISTAにおける可視化技術について 奥村 昇，他 89.06 9
TR-465 Learning Simple Deterministic Languages H.Ishizaka 89.06 12
TR-466 Optimization Techniques Using the MRB and Their Evaluation on the Y.Inamura, et al. 89.06 11
Multi-PSI / V2
TR-467 A Knowledge-based Support System for Evaluating R & D Projects Based Y.Katayama, et al. 89.06 26
on Technological Propagation
TR-468 Parallel Unification and Meta-Interpreters in GHC H.Fujita 89.06 21
TR-469 Tracing Garbage Collection for KL1 on the Multi-PSI / V2 System N.Miyauchi, et al. 89.06 21
TR-470 Parallel Computation of Semigroups E.Tick,N.Ichiyoshi 89.06 17
TR-471 ＥＢＧ実験システム 打橋知孝，他 89.06 14
TR-472 On Learning Elementary Formal Systems Y.Sakakibara 89.06 28
TR-473 Research and Development of the Parallel Inference Machine in the FGCS A.Goto 89.06 24
Project
TR-474 Distribution of Selections : The Missing Link between Strategies for N.Miyazaki 89.06 21
Relational Databases and Deductive Databases
TR-475 意識処理と無意識処理の循環構造について（２） 岡 夏樹 89.06 11
TR-476 A Formalization of Modeling on Relational Data K.Hiraishi 89.06 29
TR-477 メタ推論とリフレクション 菅野博靖，田中二郎 89.06 18
TR-478 マルチＰＳＩ／Ｖ２におけるＭＲＢ方式を用いた最適化手法とその評価 稲村 雄，他 89.06 12
TR-479 可変長レコード用関係データベース処理エンジンの試作とソート処理性能の評価 伊藤文英，他 89.10 14
TR-480 半群作用を持つマージ構造とその上の単一化理論 向井国昭 89.10 17
TR-481 GHC-A Language for a New Age of Parallel Programming K.Furukawa,et al. 89.10 14
TR-482 Unfolding Rules for GHC Programs K.Furukawa,et al. 89.10 16
TR-483 Overview of the Parallel Inference Machine Operating System(PIMOS) K.Chikayama,et al. 89.10 33
TR-484 A Connotative Treatment of Circumscription J.Arima 89.10 11
TR-485 Logic Program Analysis by Abstract Hybrid Interpretation T.Kanamori, et al. 89.10 46
TR-486 The Multi-PE Data Processing and its Evaluation K.Nakajima 89.10 15
TR-487 Parallel Logic Programming on the Multi-PSI N.Ichiyoshi 89.10 24
TR-488 An Efficient Learning of Context-Free Grammars from Positive Structural Y.Sakakibara 89.10 42
Examples
TR-489 On Learning Semilinear Sets : An Approarch to Learning Parallel Y.Takada 89.10 33
Computation Models
TR-490 BUP Optimization by Pre-Evaluation and Term Generalization H.Hirakawa, et al. 89.07 24
TR-491 Remote Object Access Mechanism K.Yoshida 89.10 25
TR-492 EUODHILOS : A General Approach to Computer Aided Deductive Reasoning T.Minami, et al. 89.10 11
TR-493 並列推論マシンＰＩＭにおける抽象機械語ＫＬ１−Ｂの実装「高級機械語を実 山本礼己，他 89.10 7
装するための道具立」
TR-494 Natural Language Processing in the Experimental Discourse Understanding K.Sugimura, et al. 89.10 29
System DUALS-
TR-495 Parallelism in Logic Programming K.Ueda 89.10 9
TR-496 ＦＧＨＣ向き世代別ガーベジ・コレクション 小沢年弘，他 89.10 7
TR-497 並列論理型言語ＫＬ１のクローズインデキシング方式 木村康則，他 89.10 29
TR-498 並列論理型言語ＫＬ１の多重参照管理によるガーベジ・コレクション 木村康則，他 89.10 31
TR-499 LK-to-NK Transformation M.Koshimura 89.10 21
TR-500 ペトリネットに基づく並行プログラミング言語 内平直志，他 89.10 14
TR-501~TR-600
TR-501 日本語テキスト理解における文脈構造抽出法 木下 聡，他 89.10 13
TR-502 解釈の順序による柔らかい制約の定式化 佐藤 健 89.09 16
TR-503 極小限定の内包的処置 有馬 淳 89.09 14
TR-504 Circular Structure of Conscious Level Processing and Unconscious Level N.Oka 89.09 6
Processing
TR-505 General-purpose Reasoning Assistant System EUODHILOS T.Minami, et al. 89.09 6
TR-506 An Experimental Reflective Programming System Written in GHC J.Tanaka 89.09 19
TR-507 単純決定性言語の多項式時間学習 石坂裕毅 89.09 11
TR-508 制約と言語 橋田浩一 89.09 17
TR-509 An Overview of ExReps System J.Tanaka, et al. 89.09 19
TR-510 知識獲得の為の知識表現「専門家モデル」 滝 寛和、他 89.10 18
TR-511 An Operational Semantics of And-Or-Parallel Logic Programming Language A.Takeuchi, et al. 89.10 15
,ANDOR-
TR-512 Generation Type Garbage Collection for Parallel Logic Languages T.Ozawa, et al. 89.10 15
TR-513 Formalizing Soft Constraints by Interpreｔａtion Ordering K.Satoh 89.10 27
TR-514 PIM/p:A Hierarchical Parallel Inference Machine A.Hattori, et al. 89.11 7
TR-515 Higher Order Programming in QPC ２-A Case Study of Map-Function Y.Takayama 89.11 35
TR-516 共有メモリ結合マルチプロセッサにおけるＫＬＩ向き並列実行ＧＣ方式の評価 今井 明、他 89.11 9
TR-517 疎結合並列計算機上でのＯＲ並列問題に適した動的負荷分散方式とその評価 瀧 和男、他 89.11 10
TR-518 古来、法律制定者はナレッジエンジニアであった−ＡＩは法律システムから 岡 夏樹 89.11 13
何を学ぶか−
TR-519 Towards Integration of Deductive Databases and Object-Oriented K.Yokota, et al. 89.11 10
Databases:A Limited Survey
TR-520 マルチＰＳＩ上の最短経路問題の実現と評価 和田久美子、他 89.11 10
TR-521 Language Tool Box(LTB) A Program Library of NLP Tools K.Akasaka, et al. 89.11 30
TR-522 Extraction of Redundancy-free Programs from Constructive Natural Y.Takayama 89.11 48
Deduction Proofs
TR-523 Outline of the Fifth Generation Computer Systems Project and ICOT T.Kurozumi 89.11 21
Activities
TR-524 The SIMPOS Distributed File System-Its Design and Implementation K.Yoshida 89.11 38
TR-525 A Probabillistic Interpretation for Lazy Nonmonotonic Reasoning K.Satoh 89.12 32
TR-526 A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search K.Taki, et al. 89.12 11
Programs on the Multi-PSI
TR-527 On Theorem Provers for Circumscription K.Inoue, et al. 90.02 19
TR-528 A Pruning Condition for the Davis-Putnam Procedure Nicolas Helft 89.12 9
TR-529 FLIB User Manual Bernard Burg,et al. 89.12 41
TR-530 A Detection Algorithm of Perpetual Suspension in KL1 Y.Inamura, et al. 90.02 17
TR-531 Evaluation of Inter-processor Communication in the KL1 Implementation K.Nakajima, et al. 90.02 21
on the Multi-PSI
TR-532 Parallel Design Rule Checking using Bitmaps Daniel Dure 90.02 14
TR-533 Lin-Kernighan partitioning algorithm on Multi-PSI Daniel Dure 90.02 37
TR-534 A Proposal for Reflective GHC J.Tanaka, et al. 90.02 17
TR-535 演繹・オブジェクト指向データベース 横田一正、他 90.02 23
TR-536 Unfold/Fold Transformation of Stratified Programs H.Seki 90.02 34
TR-537 CAL:A Theoretical Background of Constraint Logic Programming and its K.Sakai, et al. 90.02 15
Applications(Revised)
TR-538 Selection Propagation in Deductive Databases-From Pushing Selections N.Miyazaki (Oki) 90.04 27
to Magic Sets-
TR-539 QPC2:A Second Order Logic for Higher Order Programming Y.Takayama (Oki) 90.04 23
TR-540 A System of Logic Programming for Linguistic Analysis K.Mukai 90.04 30
TR-541 A Proposal Guided Knowledge Acquisition Support System H Taki&S Terasaki 90.04 20
TR-542 Logic Design System with Evaluation-Redesign Mechanism under Constraints H Sawada
TR-543 ATMSを用いた前向き仮説推論システムにおける効率的な推論方式 太田好彦他 90-04 30
TR-544 知識ベ−ス指向並列処理システム 横田治夫他 90-04 9
TR-545 “Go Generation ”A Go Playing System N Sanetika(AIR) et 90.04 27
TR-546 Knowledge Acquisition by Inductive Operation Presumption H.Taki&S.Terasaki 90.04 29
TR-547 Procedural Interpretation for an Extended ATMS K.Inoue 90.04 27
TR-548 Alexander Parser T.Kanamori 90.04 17
TR-549 Abstract Interpretation based on Alexander Templates T.Kanamori 90-04 21
TR-550 GHC Program Diagnosis Using Atom Behavior M.Ueno&T.Kanamori 90.04 30
TR-551 A Fixpoint Semantics of Guarded Horn Clauses T.Knarmori&M.Ueno 90.04 23
TR-552 帰納法を用いる定理証明システム 金森直、藤田博 90.04 47
TR-553 事例を用いた法的推論とその並列化 新田克己、星田昌紀 90.04 11
TR-554 項書き換えシステムと完備化手続き 大須賀昭彦 90.04 22
TR-555 ATMSを用いた仮説推論システムにおけるインクリメンタル・コンパイラの実現 太田好彦、井上克己 90.04 21
方法
TR-556 並列推論マシンにおけるKL1 の実行制御方式−分散ゴ−ル管理の課題と対策− 川合英夫他 90.05 9
TR-557 KL1 における永久中断ゴ−ルの検出と報告 大西論，稲村雄 90.05 9
TR-558 A Parallel Problem Solving Language ANDOR- & Parallel Implementation K.Takahashi 90.05 28
TR-559 項関係上での単一化検索を使ったホ−ン節推論アルゴリズム 横田治夫他 90.05 35
TR-560 A New Implmentation Technique for Flat GHC K.Ueda et al 90.05 16
TR-561 Abstract A 'UM Machine K.Yoshida et al 90.05 52
TR-562 Co-inductive Smantics of Horn Clauses with Compact Constraint K.Mukai 90.05 25
TR-563 疎結合並列マシンMulti-PSI 上でのＫＬ１分散処理系におけるプロセッサ間通 中島克人他 90.05 9
信の評価
TR-564 PIM/m 要素プロセッサのア−キテクチャ 中島 浩 他 90.05 8
TR-565 時間的一様な並列アニ−リングアルゴリズム 木村宏一他 90.05 9
TR-566 KL1 による定理証明プログラム 藤田 博 他 90.05 11
TR-567 A Cooperative Logic Design Expert System on a Multiprocessor Y.Minoda et al 90.07 22
TR-568 An Implementation of TMS in Concurrent Logic Programming Language; K.Satoh et al 90.07 20
Preliminary Report
TR-569 Proceeding of KL1 Programming Workshop '90 K.Taki&K.Furukawa 90.07 190
TR-570 矛盾を契機とする非単調推論の確立的意味について 佐藤 健 他 90.07 11
TR-571 A Forward-Chaining Multiple-Context Reasoner & Its Application to Y.Ohta & K.Inoue 90.07 16
Logic Design
TR-572 ＫＬ１とＰＩＭＯＳ 近山 隆 90.07 13
TR-573 Extended Projection Method and Realizability Interpretaion Y.Takayama et al 90.07 27
TR-574 並列マシンにおける言語処理系の開発環境と実装手法−ＰＩＭのＫＬ１言語処 山本礼己 他 90.07 7
理系を例に−
TR-575 共有メモリマルチプロセッサにおけるＫＬ１言語の並列実行方式−負荷分散と 今井 明 他 90.07 7
ユニフィケ−ション−
TR-576 「が」と「は」の語用論的機能について 野口直彦 他 91.01 9
TR-577 Processor Element Architecture for Parallel Inference Machine:PIM/p A.Goto et al 91.01 30
TR-578 A Costraint-Based Approach to Lingusistic Performance K.Hashida 91.01 12
TR-579 Sentence Processing as Constraint Transformation K.Hashida 91.01 18
TR-580 演繹・オブジェクト指向データベース言語 Juan の概要 横田一正 91.01 10
TR-581 Designing a Concurrent Programming Language K.Ueda 91.01 9
TR-582 A Logic Programming Approach to Specifying Logics and Constructing H.Sawamura et al 91.01 21
Proofs
TR-583 An Abductive Procedure for the CMS/ATMS K.Inoue 91.01 19
TR-584 Some remarks on the mathematics of situation theory Tim Fernando 90.08 16
TR-585 Evaluation of the KL1 Language System on the Multi-PSI S.Onishi 91.01 11
TR-586 知識ベース指向の並列推論処理システム 北上 始 他 91.01 23
TR-587 A Study of Mapping of Locally Message Exchanging Algorithms on a K.Wada et al 91.01 19
Loosely-coupled Multiprocessor
TR-588 A Parallel Theorem Prover in KL1 And Its Application to Program R.Hasegawa et al 91.01 20
Synthesis
TR-589 Design of the Kernel Language for the Parallel Inference Machine K.Ueda et al 91.01 14
TR-590 Towards a Methodological Guide for the Design of Object Oriented Annya ROMANCZUK 91.01 33
Programs
TR-591 Analogy by Simulation-a Weak Justification Method (Preliminary Report) J.Arima 91.01 11
TR-592 The Hierarchical Constraint Logic Language CHAL K.Sato et al 90.09 15
TR-593 Making Dependency-Directed Search Hierarchical K.Inoue et al 91.01 14
TR-594 Parallel Forward Checking First part Bernard burg 91.01 47
TR-595 Parallel Forward Checking Second part Bernard burg 91.01 47
TR-596 ICOTにおける並列処理の研究概要 瀧 和男 91.01 20
TR-597 命題論理式から導かれるコネクショニストモデル 富田兼一 91.01 6
TR-598 Implementing Reflection in GHC J.Tanaka 91.01 14
TR-599 リフレクティブGHC とその実現 田中二郎 他 91.01 23
TR-600 ラベルつきグラフに基づくオブジェクトの意味論 安川秀樹 他 91.01 10
TR-601~TR-700
TR-601 Quixote のオブジェクト識別性 森田幸伯 他 91.01 11
TR-602 制約とマルチコンテストに基づく並列協調問題解決 横山孝典 他 91.01 20
TR-603 Disambiguation in natural language interpretation based on amount of K.Sumida et al 91.01 16
infomation
TR-604 Intelligibility in Conversation S.Motoike et al 91.01 14
TR-605 Computing Abduction by Using the TMS K.Sato et al 91.01 22
TR-606 A Model Generation Theorem Prover in KL1 Using a Ramified-Stack R.Hasegawa et al 91.01 20
Algorithm
TR-607 Extended Logic Programs with Default Assumptions K.Inoue 91.01 32
TR-608 A Debugger for AND/OR Parallel Logic Programming Language ANDOR- K.Takahashi et al 91.01 29
TR-609 A unified view of consequence relation,belief revision and conditional H.Katsuno et al 91.01 26
logic
TR-610 Computing Soft Constraints by Hierarchical Constraint Logic Programming K.Sato et al 91.01 21
TR-611 Query Answering in Circumscription K.Inoue et al 91.01 17
TR-612 Consequence-Finding Based on Ordered Linear Resolution K.Inoue 91.01 21
TR-613 Boolean Grobner Bases(revised) Y.Sato et al 91.01 15
TR-614 A Concurrent Operational Semantics of Flat GHC Programs M.Murakami 90.01 6
TR-615 Knowledge-Based Parallel Inference System H.Kitagami 91.02 27
TR-616 大規模汎用並列処理の実現に向けて−ICOTにおける研究より 瀧 和男 91.02 17
TR-617他 第４２回情報処理学会全国大会 発表論文集 91.02 4
618,621,622
TR-619 Abstract Interpretation Based on OLDT Resolution N.Kanamori et al 91.02 30
TR-620 ＧＨＣプログラムの視覚的入力システム：FE'92 田中二郎 他 91.02 19
TR-623 ＫＬ１におけるメタプログラミング 越村三幸 91.02 9
TR-624 Coinductive Constructive Programming for Concurrent Systems Y.Takayama 91.02 27
TR-625 A Bottom-up Procedure with Top-down Expectation for General Logic N.Iwayama et al 91.02 16
Program with Integrity Constraint
TR-626 Highly Parallel Knowledge Processing and Requirements for Future S.Ucida 91.02 12
Hardware Technology
TR-627 ＹＡＧＬＲ法：Yet Another Generalized LR Parser 田中穂積 他 91.03 10
TR-628 事例の修正結果に基づく事例ベースの洗練化 前田 茂 91.03 8
TR-629 Program Synthesis by A Model Generation Theorem Prover M.Fujita et al 91.03 10
TR-630 直観論理に基づく並列プロセス生成，検証のための体系μ 川田秀司 他 91.03 45
TR-631 Co-operative Hierarchical Layout Problem Solver on Parallel T.Watanabe et al 91.03 20
Inference Machine
TR-632 A Logical Foundation of Preference-based Disambiguation K.Sato 91.03 14
TR-633 段階的前向き仮説推論システム 太田好彦 他 91.03 22
TR-634 A 1.5 MLIPS 40-Bit Al Processor H.Machida et al 91.03 5
TR-635 ＫＬ１上の並列オブジェクト指向言語ＡＹＡ（綾）の設計 近山 隆 他 91.03 18
TR-636 Complete E-unification based on an extension of the Knuth-Bendix A.Osuga et al 91.03 13
completion procedure
TR-637 Potential of General-Purpose Reasoning Assistant System EUODHILOS H.Sawamura et al 91.03 33
TR-638 オブジェクト指向データベース・プログラミング言語 横田一正 他 91.04 9
TR-639 Boolean-valued Logic Programming Language Scheme LIFE- J.Yamaguchi 91.04 149
TR-640 知識獲得支援グループウェア ＧＲＡＰＥ 國藤進 他 91.04 17
TR-641 Reflective Guarded Horn Clauses:Language Implementation and J.Tanaka et al 91.04 19
Programming
TR-642 A Collection of Logical System and Proofs Implemented in EUODHILOS I H.Sawamura et al 91.05 48
TR-643 A'UM-90 のストリーム通信の分散実装方式 小西弘一 他 91.05 10
TR-644 A Rule based Consistency Maintenance for Subjective Judgments T.Shintani 91.05 13
TR-645 Prologにおけるプロダクション照合フィルタの高速化 新谷虎松 91.05 13
TR-646 Evaluation of Parallel Logic Simulation System using the Time Warp Y.Matsumoto et al 91.05 13
Mechanism
TR-647 バーチャルタイムによる並列推論シミュレーション 松本 幸則 他 8
TR-648 並列オブジェクトモデルに基づくＬＳＩ配線プログラム 伊達 博 他 91.05 11
TR-649 共有メモリマルチプロセッサにおけるガーベジコレクションの並列実行と評価 今井 明 他 91.05 9
TR-650 Evaluation of Parallel Copying Garbage Collection on a Shared-Memory A.Imai 91.05 29
Multiprocessor
TR-651 類推の関連性に関する論理的分析 有馬 淳 91.05 9
TR-652 ＫＬ１上の並列プロセス指向言語 ＡＹＡ 寿崎かすみ 他 91.05 10
TR-653 A Shared-Memory Multiprocess or Garbage Collector and its Evaluation A.Imai et al 91.06 18
for Committed-Choice Logic Programs
TR-654 超集合制約充足問題としての素性構造形成 向井国昭 91.06 15
TR-655 Record Algebra Model for Feature Structures K.Mukai 91.06 30
TR-656 Fundamental Characteristics of the Snooping Cache in a Parallel Infe- T.Tarui et al 91.06 37
rence Machine
TR-657 Stochastic Decision Predicates:A Scheme to Represent Motifs A.Konagaya et al 91.06 8
TR-658 Learning Stochastic Motifs from Genetic Sequences K.Yamanishi et al 91.06 6
TR-659 PIM Architecture and Implementations A.Imai et al 91.06 10
TR-660 A Scheme for State Change in a Distributed Enviroment Using 六沢 一昭 他 92.03 7
Weighted Throw Counting
TR-661 仮説推論を用いた知識検証支援システム 田中立二 他 91.06 23
TR-662 Constraint Logic Programming and the Unification of Information K.Mukai 91.06 135
TR-663 An ATMS-based Knowledge Verification Systems for Diagnostic Applica- T.Tanaka et al 91.07 17
tions
TR-664 Upside-Down Meta-Interpretation of the Model Elimination Theorem Mark.E.Stickel 91.07 22
Proving Procedure for Deduction and Abduction
TR-665 モデル生成型証明器上の様相命題ダブロ 越村三幸 他 91.07 11
TR-666 シミュレータによるＶＰＩＭ処理系の評価−データの輸出入処理に関して− 高木常好 他 91.07 9
TR-667 ＫＬ１による並列ＡＴＭＳ 中島 誠 他 91.07 49
TR-668 並列推論マシン上の並列データベース管理システム 河村元夫 91.07 10
TR-669 Experimental Version of Parallel Computer Go-Playing System “GOG ” S.Sei et al 91.07 8
TR-670 論理型言語向きプロセッサのアーキテクチャに関する研究 中島 浩 91.07 310
TR-671 並列推論マシンＰＩＭ／ｃにおける自動負荷分散支援機構 中川貴之 他 91.07 8
TR-672 並列推論マシンＰＩＭ／ｃシステムの開発 中川貴之 他 91.07 7
TR-673 Time-homogeneous Parallel Annealing Algorithm K.Kimura et al 91.08 10
TR-674 ブロードキャストとＷＴＣ方式を用いた分散プロセス制御方式 六沢一昭 他 91.08 12
TR-675 並列推論マシンＰＩＭ／ｉプロセッサの設計 佐藤正俊 他 91.08 10
TR-676 Exploiting Fine Grain Parallelism in Logic Programming M.Sato et al 91.08 13
on a Parallel Inference Machine
TR-677 A Buchberger Algorithm for Distributed Memory Multi-Processor David J.Hawley 91.08 7
TR-678 Derivation of Efficient Logic Programs by Synthesizing New Predicates T.Kawamura 91.08 21
TR-679 A Logical Analysis of Relevance in Analogy J.Arima 91.08 12
TR-680 Solving constraints over sets by Boolean Grobner bases Y.Sato et al 91.08 11
TR-681 並列推論マシンを用いたタンパク質の配列解析 石川幹人 他 91.08 15
TR-682 The Theory and Application of Diagnostic and Control Expert System J.Suzuki et al 91.09 29
Based on Plant Model
TR-683 Linear Resolution for Consequence-Finding K.Inoue 91.09 51
TR-684 Defining Concurrent Processes Constructively Y.Takayama 91.09 21
TR-685 一般化に基づく類推の論理プログラミングによる実現 岩山 登 他 91.09 12
TR-686 An Integration Envirnoment to Put Formal Specifications into Practical S.Honiden et al 91.09 9
Use in Real-Time Systems
TR-687 An Application of Artificial Intelligence to Prototyping Process in S.Honiden et al 91.09 22
Performance Design for Real-Time Systems
TR-688 Adaptive Model-Based Diagnos is with Hierarchical Models Y.Nakakuki et al 91.09 17
TR-689 推定木学習アルゴリズムの並列化方式 中茎洋一郎 他 91.09 3
TR-690 意味表現の階層に基づく自然言語生成システム 池田光生 91.09 15
TR-691 Hypothetical Reasoning in Logic Programs K.Inoue 91.09 47
TR-692 The Approximate Reasoning in Logic Programming J.Yamaguchi 91.09 13
TR-693 Logic-oriented Inferential Framework Extensions LIFE- Ω J.Yamaguchi 91.09 15
TR-694 INFERENCE TRANSFORMATION -a New Methodology for the Program Transform- J.Yamaguchi 91.09 21
ation-
TR-695 Boolean-valued Logic Programming Language Scheme LIFE- -A Summary- J.Yamaguchi 91.09 11
TR-696 Parallel Randomized Search for Distributed Memory Machines N.Iwayama et al 91.10 9
TR-697 Temporal Disambiguation in Qualitative Reasoning Based on the Hierarch H.Shinjo et al 91.10 16
ical Time-Scale of Local Information
TR-698 Decision of Design Parameters using Qualitative Reasoning and M.Ohki et al 91.10 17
its Application to Electronic Circuits
TR-699 A Cooperative Logic Design Expert System on a Multiprocessor Y.Minoda et al 91.10 16
TR-700 A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Y.Ohta et al 91.10 17
Meta-Interpretation
TR-701~TR-800
TR-701 Structural Analysis of the Set of Constraints for Constraint Logic Pro Y.Nagai et al 91.10 17
grams
TR-702 負荷分散設計支援ツールParaGraph の動画機能の試作 久保秀行 他 91.10 3
TR-703 A Discourse Structure Analyzer for Japanese Text K.Sumita et al 91.10 17
TR-704 Hardware Implementation of Dynamic Load Balancing in the Parallel T.Nakagawa et al 91.10 14
Inference Machine PIM/c
TR-705 事態成立の確信度を生かした発話意図の抽出 佐野 洋 91.10 9
TR-706 仮説推論と非単調推論 井上克已 91.10 31
TR-707 Co-HLEX:LSI Layout System on Japan's Fifth Generation Parallel T.Watanabe et al 91.10 11
Inference Machine
TR-708 Asymptotic Load Balance of Distributed Hash Tables N.Ichiyoshi et al 91.10 9
TR-709 An Intelligent Cache Memory Chip suitable for Logical Inference K.Yasuda et al 91.11 35
TR-710 Scalability Analysis of Static Load Balancing under Unpredictable K.Kimura et al 91.11 17
Subproblem Sizes
TR-711 Parallel Logic Simulator based on Time Warp and its Evaluation Y.Matsumoto et al 91.11 17
TR-712 並列３次元ダイナミックプログラミング法によるタンパクの配列解析 戸谷智之 他 91.11 9
TR-713 The Concurrent Constraint Language GDCC and Its Parallel Constraint David J.Hawley 91.11 18
Solver
TR-714 ＡＩワークステーションＰＳＩ／ＵＸのアーキテクチャ 益田嘉直 他 91.11 9
TR-715 Distributed Implementation of KL1 on the Multi-PSI K.Nakajima 91.11 25
TR-716 PHI:A Deductive Database System H.Haniuda et al 91.12 9
TR-717 Methodology of GOSEDAI N.Sanechika et al 91.12 6
TR-718 Experimental Version of Parallel Computer Go-Playing System “GOG ” S.Sei et al 91.12 8
TR-719 囲碁システム「碁世代」の仕様 実近憲昭 他 91.12 95
TR-720 The Specifications of “GO Generation ” N.Sanechika et al 91.12 84
TR-721 アブダクションの原理 井上克己 91.12 22
TR-722 Embedding Negation as Failure into a Model Generation Theorem Prover K.Inoue et al 91.12 23
TR-723 変数束縛の伝播の遅延を許すＧＨＣの計算モデル 田中二郎 他 92.01 9
TR-724 Algorithmic Learning of Formal Languages and Decision Trees Y.Sakakibara 92.01 143
TR-725 MASCOT：３次元ダイナミックプログラミングに基づいた蛋白質のアライメント 廣澤 誠 他 92.01 10
システム
TR-726 Lazy Model Generation for Implementing Efficient Theorem Provers R.Hasegawa et al 92.01 20
TR-727 Model-Based Diagnosis Using Qualitative Causal Model and Set-Covering M.Iwamasa et al 92.01 8
TR-728 ＭＡＳＣＯＴ：Multiple Alignment System for Protein Sequences based M.Hirosawa et al 92.01 14
on 3-way Dynamic Programming
TR-729 ＣＡＬ：A Constraint Logic Programming Language Its Enhancement for R.Aiba et al 92.01 18
Application to Handing Robots
TR-730 Multiple sequence alignment by parallel simulated annealing M.Ishikawa et al 92.01 13
TR-731 選言部の共通情報検査を行なう単一化手法 新納浩幸 他 92.01 8
TR-732 Evaluation of the Lock Mechanism in a Snooping Cache T.Tarui et al 92.01 37
TR-733 並列推論マシンＰＩＭのアーキテクチャ 中島克人 他 92.01 6
TR-734 Iterative-Deepening Ａアルゴリズムの並列化と並列推論マシンＰＩＭ／ｍ上 和田正寛 他 92.01 8
の性能評価
TR-735 A Formalization of Generalization-Based Analogy in General Logic N.Iwayama et al 92.02 16
Programs
TR-736 A Scalable Termination Detection Scheme Using Message Combining N.Ichiyoshi et al 92.02 17
TR-737 A Scheme for State Change in a Distributed Environment Using Weighted K.Rokusawa et al 92.02 8
Throw Counting
TR-738 複数の制約ソルバーを結合した非線形不等式ソルバー 大木 優 他 92.02 20
TR-739 A Correct Top-Down Proof Procedure for a General Logic Program with K.Sato et al 92.02 17
Integrity Constraints
TR-740 論理プログラムの並列帰納学習システムの構築 坂本忠昭 92.02 11
TR-741 Compositional Adjustment of Concurrent Processes to Satisfy Temporal N.Uchihira et al 92.02 15
Logic Constraints in MENDELS ZONE
TR-742 Architecture and Implementation of PIM/m H.Nakajima et al 92.03 12
TR-743 HELIC-:A Legal Reasoning System on the Parallel Inference Machine K.Nitta et al 92.03 11
TR-744 A Diagnostic and Control Expert System Based on a Plant Model J.Suzuki et al 92.03 9
TR-745 文章会話理解技術 住田 一男 他 92.03 5
TR-746 遅延モデル生成法に基づく定理証明器 長谷川隆三 他 92.03 22
TR-747 A Portable and Reasonably Efficient Implementation of KL1 T.Chikayama 92.03 12
TR-748 Proof Methods based on Sheet of Thought in EUODHILOS H.Sawamura et al 92.03 30
TR-749 Logic Program Synthesis from First Order Logic Specifications T.Kawamura 92.03 18
TR-750 Parallel Constraint Logic Programming Language GDCC and its Parallel S.Terasaki et al 92.03 18
Constraint Solvers
TR-751 Lazy Model Generation for Improving the Efficiency of Forward Reasoning R.Hasegawa et al 92.03 23
Theorem Provers
TR-752 Complete Equational Unification Based on an Extension of the Knuth- A.Ohsuga et al 92.03 14
Bendix Completion Procedure
TR-753 Metis:A Term Rewriting System Generator A.Ohsuga et al 92.03 16
TR-754 Inductive Theorem Proving based on Term Rewriting A.Ohsuga 92.03 12
TR-755 Hardware Implementation of Dynamic Load Balancing in the Parallel T.Nakagawa et al 92.03 9
Inference Machine PIM/c
TR-756 A Query Evaluation Method for Abductive Logic Programming K.Sato et al 92.04 19
TR-757 Derivation of the Parallel Bottom-Up Parser from the Sequential Parser K.Takahashi 92.04 19
TR-758 Ｅ単一化子の完全集合を求める推論規則 大須賀明彦 他 92.04 23
TR-759 並列推論マシン上でのＬＳＩレイアウトシステムＣｏ−ＨＬＥＸ 渡辺俊典 他 92.04 114
TR-760 Parallel and Distributed Implementation of Concurrent Logic Programming K.Hirata et al 92.04 25
Language KL1
TR-761 MGTP:A Parallel Theorem Prover Based on Lazy Model Generation R.Hasegawa et al 92.04 6
TR-762 配列データの多重アライメント法 石川幹人 他 92.04 23
TR-763 ＭＧＴＰ上の仮説推論システム 井上克已 他 92.04 35
TR-764 Resource Management Mechanism of PIMOS H.Yashiro et al 92.04 16
TR-765 Less Abstract Semantics for Abstract Interpretation of FGHC Programs K.Horiuchi 92.04 11
TR-766 Message-Oriented Parallel Implementation of Model Flat GHC K.Ueda et al 92.04 11
TR-767 The Unique Features of PIM/k:A Parallel Inference Machine with Hierar- S.Asano et al 92.04 16
chical Cache System
TR-768 PIM/k:a Parallel Inference Machine with a Cache Hierarchy H.Sakai et al 92.04 15
TR-769 Applying Inter-Cluster Shared Memory Architecture to a Parallel Infere- H.Sakai et al 92.04 7
rence Machine
TR-770 Architecture and Implementation of PIM/p K.Kumon et al 92.04 12
TR-771 Co-HLEX:Co-operative Recursive LSI Layout Problem Solver on Japan's T.Watanabe et al 92.04 9
Fifth Generation Parallel Inference Machine
TR-772 並列推論実験ソフトウェア 新田克己 他 92.04 25
TR-773 Experimental Parallel Inference Software K.Nitta et al 92.04 26
TR-774 並列推論マシンＰＩＭ 瀧 和男 92.05 24
TR-775 Parallel Inference Machine ＰＩＭ K.Taki 92.05 24
TR-776 マルチＰＳＩにおける並列処理とその評価−小粒度高並列オブジェクトモデル 瀧 和男 他 92.05 18
に基づくパラダイムについて−
TR-777 並列分枝限定法による混合整数計画問題の解法 川岸太郎 92.06 7
TR-778 An Efficient Message Transfer Mechanism Bypassing Transit Processors H.Nakajima et al 92.06 9
TR-779 Parallel and Distributed Implementation of Concurrent Logic Programming K.Hirata et al 92.06 25
Language KL1
TR-780 定性推論における階層的知識の自動生成 新庄 広 他 92.06 11
TR-781 ブール代数を用いた制約充足問題の定式化と解法についての検討 永井保夫 他 92.06 22
TR-782 Drit Parser:A Generalized LR Parsing Algorithm Using Dot Reverse Item H.Tanaka et al 92.06 15
TR-783 Implementation and Evaluation of Yet Another Generalized LR Parsing K.G.Suresh et al 92.07 11
algorithm
TR-784 等式論理の帰納的定理を証明する手続き 大須賀昭彦 他 92.07 10
TR-785 並列プログラムの知的プログラミング環境 MENDELS ZONE 本位田真一 他 92.07 7
TR-786 Removing Redundant Critical Polynomials in Construction of Boolean- Y.Sato et al 92.07 9
Grobner Bases
TR-787 ブール制約評価アルゴリズム漸増型変数除去法 毛受 哲 92.07 11
TR-788 係り受けの強度に基づく依存文法 −制限依存文法− 福本文代 他 92.08 16
TR-789 代数仕様によるプラント制御エキスパートシステムの記述と検証 浦岡 徹 他 92.08 9
TR-790 Design Support to Determine Range of Design Parameters by Qualitative M.Ohki et al 92.08 19
Reasoning
TR-791 Analog and Digital Treatments for Quantities Based on Qualitative Rea- M.Ohki et al 92.08 31
soning
TR-792 A Petri-Net-Based Programming Environment and its Design Methodology N.Uchihira et al 92.08 29
for Cooperating Discrete Event Systems
TR-793 Protein Multiple Sequence Alignment using Knowledge M.Hirosawa et al 92.08 27
TR-794 疎結合型マルチプロセッサ上の拡散型負荷分散の一方式 佐藤令子 他 92.08 8
TR-795 GRAPE:Knowledge acquisition support groupware for the classification- H.Ueda et al 92.08 18
choice problem
TR-796 PIMOS 負荷バランスユーティリィマニュアル 古市昌一 92.08 28
TR-797 Iterative-Deepening A* アルゴリズムのスタック分割動的負荷分散方式によ 和田正寛 他 92.08 9
る並列化と並列推論マシンＰＩＭ／ｍ上の性能評価
TR-798 Adaptive Time-Ceiling for Efficient Parrallel Discrete Event Simulation Y.Matsumoto et al 92.08 7
TR-799 A VLSI Chip Set for a Large Scale Parallel Inference Machine:PIM/m H.Machida et al 92.08 24
TR-800 Formulation of PROTEIN SEQUENCE ANALYSIS using Knowledge M.Hirosawa et al 92.09 13
TR-801~TR-882
TR-801 並列反復改善法によるタンパク質配列のアライメント 星田昌紀 他 92.09 13
TR-802 Parallel Process Synthesis from Proofs on Logic μ H.Kawada et al 92.09 41
TR-803 Magic Set 法による安定モデル上のGeneral Logic Program インタープリタ 藤田正幸 他 92.09 10
TR-804 Magic Sets and Bottom-Up Evaluation of Stable Model M.Fujita et al 92.09 13
TR-805 Time Warp Router for Parallel Gridless Wiring Y.Matsumoto et al 92.09 9
TR-806 文の連接関係解析に基づく日本語文章の構造解析 福本淳一 他 92.09 32
TR-807 論理プログラムの抽象解釈を用いた解析 堀内謙二 92.09 27
TR-808 制約論理プログラムの帰納的一般化へ向けて 川村 正 他 92.10 11
TR-809 プログラム生成システム PAPYRUS H.Kawada et al 92.10 21
TR-810 モデル生成型定理証明器を用いたアブダクションの計算における効率化手法 太田好彦 他 92.10 15
TR-811 A Private Knowledge Base for Molecular Biological Research H.Tanaka 92.10 10
TR-812 Isoefficiency Analysis of Processing Randomly Scattered Data in Parallel K.KIMURA et al 92.08 20
TR-813 Isoefficiency Analysis of Hierarchical On-Demand Load Distribution K.Kimura et al 92.11 48
TR-814 Probabilistic Analysis of the Optional Efficiency of the Multi-Level K.Kimura et al 92.10 9
Dynamic Load Balancing Scheme
TR-815 Acceptable Hypotheses: Semantics for Negation by Default N.Iwayama 92.11 19
TR-816 Bottom-Up Abduction by Model Generation K.Inoue et al 92.11 18
TR-817 A Uniform Approach to Fixpoint Characterization of Disjunctive and K.Inoue et al 92.11 20
General Logic Programs
TR-818 Relating Disjunctive Logic Programs to Default Theories C.Sakama et al 92.11 17
TR-819 A Parallel Lookahead Line Search Router with Automatic Ripup-and- H.Date et al 92.12 6
reroute
TR-820 Generation of Aggregated Knowledge in Qualitative Reasoning H.Shinjo et al 92.12 23
TR-821 A Scheme for Cooperative Systems Communication Stephen T.C.Wong 92.12 39
TR-822 登録抹消
TR-823 A Scalable Termination Detection Scheme by Weighted Throw Counting with N.Ichiyoshi et al 92.12 5
Delayed Weight Returning(Extended Abstract)
TR-824 Transforming Abductive Logic Programs to Disjunctive Programs K.Inoue et al 92.12 22
TR-825 Negation in Disjunctive Logic Programs C.Sakama et al 92.12 20
TR-826 Incorporating Top-Down Information into Bottom-UP Hypothetical Y.Ohta et al 92.12 20
Reasoning
TR-827 Preference-based Decision Making for Cooperative Knowledge-based Stephen T.C.Wong 93.01 37
Systems
TR-828 An Insider's View of the FGCS Project T.Chikayama 93.01 18
TR-829 Messages and Protocols for Cooperative Systems Communication Stephen T.C.Wong 93.01 16
TR-830 Time Warp Router: A New Application of the Time Warp Mechanism Y.Matsumoto et al 93.01 11
TR-831 Programming in KL1 and AYA K.Susaki et al 93.02 7
TR-832 第五世代コンピュータプロジェクトの概観 −研究開発成果と評価− 黒住恭司 93.02 29
TR-833 Rules representing two types of epistemic statements N.Iwayama 93.03 16
TR-834 登録抹消
TR-835 Net-Oriented Analysis and Design S.Honiden et al 93.03 22
TR-836 Bug Detection Method Over AND/OR Computation Tree K.Takahashi 93.03 19
TR-837 棋士システム「碁世代」 清 慎一 他 93.04 149
TR-838 産業界におけるソフトウェア・エンジニアリングの動向 本位田真一 93.04 21
TR-839 Programming Environment of PIMOS S.Ishida et al 93.04 8
TR-840 PIMOS のプログラミング環境 石田 茂 他 93.04 8
TR-841 疎結合型マルチプロセッサ上の拡散型動的負荷分散方式＝ＬＬＳ・Ｇ方式＝ 佐藤令子 他 93.04 8
TR-842 Investigating assumption-semantics through open positive programs N.Iwayama 93.04 15
TR-843 等式論理の帰納的定理を証明する手続き 大須賀昭彦 93.04 17
TR-844 ParaGraph:A Graphical Tuning Tool for Multiprocessor Systems S.Aikawa et al 93.04 13
TR-845 Specific Features of Deductive Object-Oriented Database Language QUIXOTE K.Yokota et al 93.05 12
TR-846 FGHCの双対変換に基づくContinuationとMigration の記述 久門耕一 他 93.05 5
TR-847 モデルに基づく運転操作プランの生成機構を組込んだプラント運転制御用エキ 鈴木淳三 他 93.06 10
スパートシステム
TR-848 想定外事態に対する制御エキスパートシステムの構築 河野 毅 他 93.06 12
TR-849 Parallel Iterative Aligner with Genetic Algorithm M.Ishikawa et al 93.06 11
TR-850 A Deductive Object-Oriented Database System for situated Inference in Stephen Wong.et.al 93.07 35
Law
TR-851 生物学データのアライメント法に関する解説 石川幹人 93.08 30
TR-852 Parallel Inference System Research in the Japanese FGCS Project T.Chikayama.et.al 93.08 11
TR-853 Metis-ASにおける代数的仕様の検証手続き 大須賀明彦 他 93.08 19
TR-854 Knowledge Information Processing by Highly Parallel Processing S.Uchida.et.al 93.09 10
TR-855 Parallel Iterative Aligner with Genetic Algorithm M.Ishikawa et al 93.10 11
TR-856 A Three Dimensional Animation System for Protein Folding Simulation M.Akahoshi et al 93.10 11
TR-857 cu-Prolog for Constraint-Based Natural Language Processing H.Tsuda 93.11 16
TR-858 Protein Structure Prediction Based on Multi-Level Description K.Onizuka,et.al. 93.11 11
TR-859 Protein 3D Structure Prediction Based on Multi-Level Description K.Onizuka,et.al. 93.11 11
TR-860 Model Propositional Tableaux in a Model Generation Theorem Prover M.Koshimura,et.al. 93.11 9
TR-861 Computing Abduction in Programming N.Iwayama,et.al. 93.11 36
TR-862 目標指向型対話システムにおける発話の生成方式 今村 誠 他 94.01 13
TR-863 Evaluation of the Cluster Structure on the PIM/c Parallel Inference Ma- T.Tarui,et.al. 94.01 27
chine
TR-864 Comprehensive Study on Iterative Algorithms of Multiple Sequence Align- M.Hirosawa,et.al. 94.02 15
ment
TR-865 Logic Programming FGCS < 印刷予定 > K.Fuchi 94.03 15
TR-866 A Legal Reasonnig System on a Deductive Object-Oriented Database C.Takahashi,et.al. 94.03 10
TR-867 The Multi-Scale 3D-ID Compatibility Scoring for Inverse Protein Folding K.Onizuka,et.al 94.04 13
Problem
TR-868 モデル生成型定理証明器ＭＧＴＰの並列化方式 長谷川隆三 他 94.04 16
TR-869 ＬＳＩ配線プログラムを用いた並列推論マシンＰＩＭ／ｃの負荷分散方式の 朝家真知子 他 94.04 9
評価
TR-870 データ構造の一部を指すポインタを許容するコピー型ゴミ集め方式 中島 浩 他 94.04 18
TR-871 Evaluation of the Cluster Structure on the PIM/c Parallel Inference Ma- T.Tarui et al 94.04 6
chine
TR-872 信念様相論理に対する様相節変換型証明器の実現 赤植淳一 他 94.04 11
TR-873 様相節変換に基づくＭＧＴＰ上の様相論理証明器の効率的実現 赤植淳一 他 94.04 11
TR-874 Bottom-Up Modal Theorem Provers based on Modal Clause Transformation 赤植淳一 他 94.04 20
TR-875 Static Mode Analyses of Concurrent Logic Languages Evan Tick et al 94.05 33
TR-876 Statistical Analysis of Human DNA Sequences in the Vicinity of POLY(A) T.Yada et al 94.05 14
SIGNAL
TR-877 Multiple Sequence Alignment Editor Featured by Constraint-Based Para- M.Ishikawa et al 94.05 13
llel Iterative Aligner
TR-878 The Multi-Scale 3D-1D Compatibility Scoring for Inverse Protein Folding K.Onizuka et al 94.07 9
Problem
TR-879 Compositional Adjustment, of Concurrent Programs to Satisfy Temporal N.Uchihira 94.06 30
Logic Constraints in MENDELS ZONE
TR-880 On The Semantics of A Shared Common Knowledge Distributed Logic System W.Xianchang et al 94.07 24
TR-881 Relationship Between Multi-agent Logic Systems W and Weak S5 Systems W.Xianchang et al 94.07 16
TR-882 Fool's Logic:The Shared Common Knowledge Multi-agent System's Model W.Xianchang et al 94.07 25
TR-883 Constructing a Legal Knowledge-base with Partial Information T.Nishioka, et al. 94.07 16
TR-884 Evaluation of Fine-Grain Automatic Load Balancing Method on the H.Hatazawa 94.07 11
Shared Memory Parallel Machine
TR-885 MGTP:A Model Generation Theorem Prover in the Concurrent R.Hasegawa, et al. 94.08 13
Logic Programming Language KL1
TR-886 A Begginer's Guide to EUODHILOS T.Minami, et al. 94.08 73
TR-887 Temperature Parallel Simulated Annealing Algorithm and Its Evaluation Konishi, et al. 94.08 42
TR-888 Simulative Representation of Biological Knowledge using M.Hirosawa, et al. 94.08 11
Object-oriented Database Language
TR-889 Query Processing for Partial Information Databases in QUIXOTE K.Yokota, et al. 94.08 11
TR-890 言語譲歩処理の枠組としてQuixote S.Tojo, et al. 94.09 15
TR-891 Evaluation of Load Balancing Strategy using LSI Router Program M.Asaie, et al. 94.09 9
TR-892 New Hashing Techiques and Their Application to a Protein T.Akutsu, et al. 94.10 11
Structure Database System
TR-893 Multiple RNA-Sequence Alignment Considering Stem Regions M.Ishikawa, et al. 94.10 11
TR-894 MGTPによる有限代数の新事実の発見 M.Fujita, et al. 94.10 12
TR-895 状況理論による法的推論の形式化 S.Tojo, et al. 94.10 16
TR-896 Preliminary Evaluation of a Distributed Implementation of KLIC A.Nakase,et al. 94.11 10
TR-897 Implementation of Parallel Database Management System on KLIC M.Kawamura, et al. 94.11 6
TR-898 Parallel Computation of Grobner Bases on Distributed Memory Machines H.Sawada, et al. 94.11 25
TR-899 代数的仕様を用いたソフトウェア開発支援環境Metis-AS A.Oosuga, et al. 94.11 11
TR-900 Protein Sequence Analysis by the Parallel Iterative Improvement Method M.Ishikawa, et al 94.11
TR-901 Parallel Computation of Grobner Bases on Distributed Memory Machines H.Sawada, et al. 94.12 22
TR-902 並列計算機を用いたタンパク質の配列のアライメント解析 M.Ishikawa 95.01 129
TR-903 The Vienna Sales Convention in a DOOD Language C.Takahashi, et al. 95.01 12
TR-904 Reference Loop Management in a Distributed KLIC Implementation K.Rokusawa, et al. 95.01 9
TR-905 モデル生成型定理証明系のAND並列化方式 越村 三幸, et al. 95.01 17
TR-906 Parallel Inference System Research in the Japanese FGCS Project T.Chikayama, et al. 95.02 27
TR-907 Depth-First Copying Garbage Collection without Extra Stack Space H.Nakashima, et al. 95.02 22
TR-908 Distributed Pool for Efficient Data Distribution in KL1 M.Yamauchi, et al. 95.02 13
TR-909 Order Sorted Knowledge Representation and Reasoning in X.Wang, et al. 95.02 28
Legal Application
TR-910 ボトムアップ定理証明器の効率的アルゴリズムとその評価 R.Hasegawa, et al. 95.02 13
TR-911 Two Approaches for Finite-Domain Constraint Satisfaction Problems Y.Shirai, et al. 95.02 16
-CP and MGTP-
www-admin@icot.or.jp