default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. LP 1985: Tokyo, Japan
- Eiiti Wada:
Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985. Lecture Notes in Computer Science 221, Springer 1986, ISBN 3-540-16479-0 - Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso:
Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R. 1-12 - Mamoru Sugie, M. Yoneyama, T. Sakabe, M. Iwasaki, S. Yoshizumi, Moritoshi Aso, Hajime Shimizu, Rikio Onai:
Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R. 13-24 - Tsutomu Maruyama, Keiji Hirata, Hidehiko Tanaka, Tohru Moto-Oka:
A Note on the Elementary Execution Unit in a Parallel Inference Machine. 25-34 - Hideo Matsuda
, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa:
Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System. 35-43 - Etsuo Itoh, Hiroshi Nakagawa:
Heuristic Applied in Tree Manipulation Algorithm Synthesis. 44-55 - Makoto Haraguchi:
Analogical Reasoning using Transformations of Rules. 56-65 - T. Hisano, M. Suwa:
Synchronization and Communication in the "Subject". 66-77 - H. Ito, H. Ueno:
ZERO: Frame + Prolog. 78-89 - Hidehisa Takahashi, Etsuya Shibayama:
PRESET - A Debugging Environment for Prolog. 90-99 - Masayuki Numao, H. Maruyama:
PROEDIT - A Screen Oriented Prolog Programming Environment. 100-107 - Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya:
Software Prototyping with MENDEL. 108-116 - H. Yoshida, H. Kato, Masakatsu Sugimoto:
Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae. 117-127 - T. Aoyagi, Masahiro Fujita, Tohru Moto-Oka:
Temporal Logic Programming Language Tokio - Programming in Tokio. 128-137 - Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka:
Implementation of Temporal Logic Programming Language Tokio. 138-147 - K. Nakamura:
Heuristic Prolog: Logic Program Execution by Heuristic Search. 148-155 - Jiro Tanaka, Takashi Yokomori, Makoto Kishishita:
AND-OR Queuing in Extended Concurrent Prolog. 156-167 - Kazunori Ueda:
Guarded Horn Clauses. 168-179 - Satoru Tomura:
TDProlog: An Extended Prolog with Term Description. 180-191 - Mitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori:
Design and Evaluation of a Prolog Compiler. 192-203 - Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima:
The Program Characteristics in Logic Programming Language ESP. 204-213 - Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda:
Extended Prolog and Ints Application to an Integrated Parser for Text Understanding. 214-225 - H. Suzuki, M. Kiyono, S. Kougo, M. Takahashi, S. Motoike, T. Niki:
A Travel Consultation System: Towards a Smooth Conversation in Japanese. 226-235 - J. M. Choi, M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han, Yung Taek Kim:
A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary Management. 236-245 - Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka:
Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis. 246-255 - Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta:
A Parallel Logic Simulator Based on Concurrent Prolog. 256-265 - Isao Nagasawa:
A Method of Representing Processes in a Constraint Solver. 266-275 - Katsumi Nitta, Juntaro Nagao:
KRIP: a Knowledge Representation System for Laws Relating to Industrial Property. 276-286 - Yasushi Matsumura, Takashi Matsunaga, Yusuke Maeda, Shusaku Tsumoto, Hiroshi Matsumura, Michio Kimura:
Consultation System for Diagnosis of Headache and Facial Pain: "RHINOS". 287-298 - Isao Sugiyai, Keiko Ishikawa:
Knowledge Realization and Transformation in KRISP. 299-311
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
