• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

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