Sample records for prolog
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

Prolog as a EUD language.

TAKAHARA YASUHIKO; ISOZAKI YOSHIFUMI
1999-01-01

J-EAST (Japan) (Japanese)

2

Prolog as a EUD language-Example.

ISOZAKI YOSHIFUMI; TAKAHARA YASUHIKO
1999-01-01

J-EAST (Japan) (Japanese)

3

Prolog programming environment with structured diagram and its evaluation.

YANO MASAYUKI; FUJISAKI KUNIHIRO; HIRASHIMA TSUKASA; TAKEUCHI AKIRA
2000-01-01

J-EAST (Japan) (Japanese)

4

Implementation of make by Prolog

SASAYAMA KOTOYU; NOGUCHI MARIKO; FUJIMOTO NAOKO; KAMO HIROYASU; NIIDE NAOYUKI
2006-01-01

J-EAST (Japan) (Japanese)

8

User Specified Document Construction from RDF Data Using Prolog

HANAKAWA KENJI; AMAGASA TOSHIYUKI; HATANO KENJI; MIYAZAKI JUN; UEMURA SHUNSUKE
2005-01-01

J-EAST (Japan) (Japanese)

11

An Approach to Constructing a knowledge space in Prolog Network.

SUGIURA YUSUKE; MIYAZAKI TOMOFUMI; TAKEUCHI HIROYUKI; ZHANG Y; SHIMBO MASASHI; KISHI YOSHIKI
2000-01-01

J-EAST (Japan) (Japanese)

18

A Programming Support System for Novice Prolog Programmers Based on Prototypes and Data Samples.

ITO KOJI; ITAMI MAKOTO; SHIMIZU MOTOKI; ICHIMI SADANAO; OYAMADA YOSHITOSHI
1997-01-01

J-EAST (Japan) (Japanese)

19

A Method of WWW-Transparent Prolog Exection Environment.

KAWAMATA YASUNOBU; TAKEUCHI HIROYUKI; ZHANG Y; KISHI YOSHIKI
2001-01-01

J-EAST (Japan) (Japanese)

22

非破壊検査要領書作成支援システムの開発

福田 収一; 相山 英明; 大久保 雅史; 長坂 英明

Journal@rchive (Japan) (Japanese)

25
26
40

自動寸法指定問題に関する研究

今村 聡; 小島 俊雄; 井上 久仁子; 関口 博

Journal@rchive (Japan) (Japanese)

47

組立・分解手順の生成とその規則化

関口 博; 今村 聡; 小島 俊雄; 井上 久仁子

Journal@rchive (Japan) (Japanese)

51

知識成長過程を指向した設計意図知識管理システムの構築

武内 雅宇; 小路 悠介; 來村 徳信; 林 雄介; 池田 満; 溝口 理一郎
2007-01-01

J-STAGE (Japan) (Japanese)

54

知識工学の産業への応用-第3回 知識工学シンポジウムより-

佐々木 浩二; 坂口 敏明; 渡辺 正信; 奥乃 博; 小林 重信

Journal@rchive (Japan) (Japanese)

56

知識工学の基礎と応用〔第4回〕

國藤 進; 北上 始; 宮地 泰造; 古川 康一

Journal@rchive (Japan) (Japanese)

59

知識工学と原子力技術

元田 浩; 荻野 敬迪; 関水 浩一; 篠原 慶邦; 北村 正晴

Journal@rchive (Japan) (Japanese)

85
102

分散オブジェクトとモバイルエージェント技術に基づく電力系統制御システムの試作と評価·考察

片山 茂樹; 土屋 武彦; 田中 立二; 小俣 和也; 遊佐 博幸; 大谷 哲夫; 芹澤 善積
2006-01-01

J-STAGE (Japan) (Japanese)

111

ユビキタスアプリケーション向け移動エージェントの相互運用

長谷川 哲夫; 長 健太; 大須賀 昭彦; 粂野 文洋; 中島 震; 本位田 真一
2005-01-01

J-STAGE (Japan) (Japanese)

115
129

テンサイ一代雑種の近縁係数と収量の関係

田口 和憲; 中司 啓二; 高橋 宙之; 岡崎 和之; 吉田 智彦

Journal@rchive (Japan) (Japanese)

130

テンサイ一代雑種の近縁係数と収量の関係

田口 和憲; 中司 啓二; 高橋 宙之; 岡崎 和之; 吉田 智彦
2006-01-01

J-STAGE (Japan) (Japanese)

131

セマンティックWeb推論と議論エージェント推論の統合

若木 利子; 沢村 一; 福本 太郎; 向井 孝徳; 新田 克己
2007-01-01

J-STAGE (Japan) (Japanese)

141

Web上の情報からの人間関係ネットワークの抽出

松尾 豊; 友部 博教; 橋田 浩一; 中島 秀之; 石塚 満
2005-01-01

J-STAGE (Japan) (Japanese)

143

Towards Conceptual Ontology-based Text Retrieval

IWANE NORIYUKI; OTA TETSUYA; NAKAMURA MANABU; OTSUKI SETSUKO; MATSUBARA YUKIHIRO
2003-01-01

J-EAST (Japan) (Japanese)

152

Relationship between the Coefficient of Parentage and Sugar Yield in Sugar Beet F1 Hybrid

TAGUCHI KAZUNORI; NAKATSUKA KEIJI; TAKAHASHI HIROYUKI; OKAZAKI KAZUYUKI; YOSHIDA TOMOHIKO
2006-01-01

J-EAST (Japan) (Japanese)

166

Java Implementation of a Linear Logic Programming Language.

BAMBARA MUTSUNORI; TAMURA NAOYUKI; KANG K-S
1999-01-01

J-EAST (Japan) (Japanese)

167

Intelligent Tutoring System for Reading Mathematical Expressions.

NAKAMURA MANABU; IWANE NORIYUKI; OTSUKI SETSUKO
1999-01-01

J-EAST (Japan) (Japanese)

171

Implementation of Logic Computation in a Multi-paradigm Language TAO.

YAMAZAKI KEN'ICHI; YOSHIDA MASAHARU; AMAGAI YOSHIJI; TAKEUCHI IKUO
2000-01-01

J-EAST (Japan) (Japanese)

172

Implementation of GUI Debugger for Unification-based Grammar.

MIYATA TAKASHI; TAKAOKA KAZUMA; MATSUMOTO YUJI
1999-01-01

J-EAST (Japan) (Japanese)

175
178
187

Dynagent:割込みHTNプランニングエージェント

林 久志; 十倉 征司; 尾崎 文夫; 長谷川 哲夫
2009-01-01

J-STAGE (Japan) (Japanese)

188

Design and Implementation of a Domain-Specific Specification Description Language for Room Arrangement Design in Architectural Design.

MATSUOKA TAKESHI; YANARI TAKAHIKO; HASHIMOTO MASAKI; GOTANJI KIYOMITSU; HIROTA TOYOHIKO; KATAMINE KEIICHI
2001-01-01

J-EAST (Japan) (Japanese)

190

Design Pattern Detection Using Static and Dynamic Analysis

KATADA JUN'YA; KOBAYASHI TAKASHI; SAEKI MOTOSHI
2005-01-01

J-EAST (Japan) (Japanese)

192

Consideration on parallel execution of SAT solvers

UEDA SEIJI; UKAI SATOSHI; INOUE KATSUMI; BAMBARA MUTSUNORI; TAMURA NAOYUKI; KAWAMURA TAKAO
2003-01-01

J-EAST (Japan) (Japanese)

194

CBR法を用いたスケジューリングモデルの開発

大久保 雅史; 井上 勝敬; 福田 収一; 山地 泰久

Journal@rchive (Japan) (Japanese)

195

Building a Learning Environment for Problem posing in Simple Arithmetical Word Problem.

NAKANO AKIRA; MURAKAMI NAOKI; HIRASHIMA TSUKASA; TAKEUCHI AKIRA
2000-01-01

J-EAST (Japan) (Japanese)

203

Agent-oriented Inference to Enable Multiple Backtrack on Network.

TAKEUCHI HIROYUKI; ONO FUMIE; ZHANG Y; SHIMBO MASASHI; KISHI YOSHIKI
1999-01-01

J-EAST (Japan) (Japanese)

204
205

A Study on Interactive Interface with Task Planner using EBL.

SHIMADA MITSUAKI; ASAKURA TOSHIYUKI; KASUGA TAKATOSHI
2000-01-01

J-EAST (Japan) (Japanese)

206

A Prototype System of SD-Form Semantics Model by CGI.

YOSHIHARA SHOTA; MINEWAKI SAYAKA; WAKIYAMA MASAHIRO; KAWAGUCHI EIJI
2001-01-01

J-EAST (Japan) (Japanese)

207

A Neural Network Approach to Inference Mechanism for Logic Programming Language.

TAKEDA YUJI; KAWAHARA HIDEYA; KIKUCHI YUKIHIRO; MURAKOSHI HIDEKI; FUNAKUBO NOBORU
2001-01-01

J-EAST (Japan) (Japanese)

208

A Mobile Agent-based P2P e-Learning System

KAWAMURA TAKAO; SUGAWARA KAZUNORI
2005-01-01

J-EAST (Japan) (Japanese)

210

A Lisp-based RDFS Processor

KOIDE SEIJI; KAWAMURA MASANORI; NAGANO SUSUMU
2004-01-01

J-EAST (Japan) (Japanese)

211