The SCEAS System
Navigation Menu

Conferences in DBLP

Logic Programming - Japanese Conference (lp)
1988 (conf/lp/1988)

  1. Akihiro Yamamoto
    Completeness of Extending Unification Based on Basic Narrowing. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:1-10 [Conf]
  2. Akito Sakurai, Hiroshi Motoda
    Proving Definite Clauses without Explicit Use of Inductions. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:11-26 [Conf]
  3. Hiroko Yuasa, Setsuo Arikawa
    Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:27-37 [Conf]
  4. Toramatsu Shintani
    An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IE. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:28-52 [Conf]
  5. Chiaki Sakama, Akira Okumura
    Nonmonotonic Parallel Inheritance Network. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:53-66 [Conf]
  6. Hideo Tamura, Hideo Aiso
    Logic Programming Debugger Using Control Flow Specification. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:67-81 [Conf]
  7. Masaki Hoshida, Mario Tokoro
    ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:82-95 [Conf]
  8. Kouichi Fukunaga, Shinichi Morishita
    Lattice Programming Methodology. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:96-107 [Conf]
  9. Jiro Tanaka
    A Simple Programming System Written in GHC and its Reflective Operations. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:108-121 [Conf]
  10. Minoru Terada
    Implementation of Full GHC by Communicating Processes. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:122-135 [Conf]
  11. Hiroshi Sakai
    Inference Methods and Semantics on Or-type Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:136-155 [Conf]
  12. Makoto Takizawa, Motoshi Katsumata, Shinichi Nagahora
    Access Program to Minimize Redundant Refutations on the Network Database System. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:156-171 [Conf]
  13. Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya
    EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:172-187 [Conf]
  14. Ryôichi Sugimura, Koji Akasaka, Yukihiro Kubo, Yuji Matsumoto
    Logic Based Lexical Analyser LAX. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:188-216 [Conf]
  15. Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki
    Extraction of Characteristic Facts and Abstract Generation. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:217-237 [Conf]
  16. Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano
    Knowledge Representation and Reasoning for Discourse Understanding. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:238-251 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002