default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. LP 1987: Tokyo, Japan
- Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki:
Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987. Lecture Notes in Computer Science 315, Springer 1988, ISBN 3-540-19426-6
Invited Paper
- Joxan Jaffar, Jean-Louis Lassez:
From Unification to Constraints. 1-18
Constraint Logic Programming
- Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi:
CS-Prolog: A Generalized Unification Based Constraint Solver. 19-39 - Masayuki Numao:
Update Propagation Network - A Framework for Constraint Programming. 40-49
Program Synthesis
- Naoshi Uchihira
, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura:
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. 50-68 - Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda:
Analogical Program Synthesis from Program Components. 69-79
Programming Languages and Implementation
- Youji Kohda, Jiro Tanaka:
Deriving a Compilation Method for Parallel Logic Languages. 80-94 - Martin Nilsson, Hidehiko Tanaka:
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. 95-104 - Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu:
Introduction of a Package System into Prolog. 105-112
Parallel Architecture and Programming
- Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara:
KPR: A Logic Programming Language-Oriented Parallel Machine. 113-131 - Toshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka:
A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages. 132-147 - Hayato Ohwada, Fumio Mizoguchi:
Managing Search in Parallel Logic Programming. 148-177
Foundations
- Hiroki Ishizaka:
Inductive Inference of Regular Language Based on Model Inference. 178-194 - Kenji Horiuchi, Tadashi Kanamori:
Polymorphic Type Inference in Prolog by Abstract Interpretation. 195-214 - Masaki Murakami:
Proving Partial Correctness of Guarded Horn Clauses Programs. 215-235 - Koji Iwanuma, Masateru Harao:
Knowledge Representation and Inference Based on First-Order Modal Logic. 236-251
Natural Language Processing
- Akiko Kurata, Hideyuki Nakashima:
Manipulation of Embedded Context Using the Multiple World Mechanism. 252-263 - Naohiko Noguchi, Masanori Takahashi, Hideki Yasukawa:
Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of Japanese. 264-283
Applications
- Toramatsu Shintani:
An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE. 284-297 - Yoshihiro Tohma, Kenji Goto:
Test Generation for Large-Scale Combinational Circuits by Using Prolog. 298-312 - Makoto Takizawa, Katsumi Miyajima:
Concurrent Execution of Prolog Transaction. 313-327
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 2025-02-27 22:50 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:
