default search action
7. LP 1988: Tokyo, Japan
- Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki:
Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988. Lecture Notes in Computer Science 383, Springer 1989, ISBN 3-540-51564-X
Foundations of Logic Programming
- Akihiro Yamamoto:
Completeness of Extending Unification Based on Basic Narrowing. LP 1988: 1-10 - Akito Sakurai, Hiroshi Motoda:
Proving Definite Clauses without Explicit Use of Inductions. LP 1988: 11-26
Nonmonotonic Reasoning
- Hiroko Yuasa, Setsuo Arikawa:
Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. LP 1988: 27-37 - Toramatsu Shintani:
An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IE. LP 1988: 28-52 - Chiaki Sakama, Akira Okumura:
Nonmonotonic Parallel Inheritance Network. LP 1988: 53-66
Logic Programming Language/System
- Hideo Tamura, Hideo Aiso:
Logic Programming Debugger Using Control Flow Specification. LP 1988: 67-81 - Masaki Hoshida, Mario Tokoro:
ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators. LP 1988: 82-95 - Kouichi Fukunaga, Shinichi Morishita:
Lattice Programming Methodology. LP 1988: 96-107
Guarded Horn Clauses
- Jiro Tanaka:
A Simple Programming System Written in GHC and its Reflective Operations. LP 1988: 108-121 - Minoru Terada:
Implementation of Full GHC by Communicating Processes. LP 1988: 122-135
Knowledge Base System
- Hiroshi Sakai:
Inference Methods and Semantics on Or-type Knowledge Bases. LP 1988: 136-155 - Makoto Takizawa, Motoshi Katsumata, Shinichi Nagahora:
Access Program to Minimize Redundant Refutations on the Network Database System. LP 1988: 156-171
Computer-Aided Reasoning
- Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya:
EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. LP 1988: 172-187
Natural Language Processing
- Ryôichi Sugimura, Kouji Akasaka, Yukihiro Kubo, Yuji Matsumoto:
Logic Based Lexical Analyser LAX. LP 1988: 188-216 - Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki:
Extraction of Characteristic Facts and Abstract Generation. LP 1988: 217-237 - Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano:
Knowledge Representation and Reasoning for Discourse Understanding. LP 1988: 238-251
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-12-15 01:30 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: