New Generation Computing, Volume 14

Volume 14, Number 1, 1996

• Takashi Chikayama, Evan Tick:
  Special Issue on the Workshop on Parallel Logic Programming - Preface. 1-2
  
• Vítor Santos Costa, David H. D. Warren, Rong Yang:
  Andorra-I Compilation. 3-30
  
• Johan Montelius, Khayri A. M. Ali:
  An And/Or-Parallel Implementation of AKL. 31-52
  
• Kish Shen, Steve Gregory:
  Instant Replay Debugging of Concurrent Logic Programs. 79-107
  

Volume 14, Number 2, 1996

• Yuji Matsumoto:
  Special Feature on Natural Language Understanding and Logic Programming. 109-110
  
• Takashi Miyata, Kôiti Hasida:
  Plan Inferences in Dialogue under Dynamical Constraint Programming. 111-129
  
• Guido Minnen, Dale Gerdemann, Erhard W. Hinrichs:
  Direct Automated Inversion of Logic Grammars. 131-168
  
• Kentaro Inui, Takenobu Tokunaga, Hozumi Tanaka:
  Dependency-Directed Control of Text Generation Using Functional Unification Grammar. 169-193
  

• Weidong Chen, David Scott Warren:
  Predicate Abstractions in Higher-Order Logic Programming. 195-236
  
• David A. Fuller, Sacha A. Bocic, Leopoldo E. Bertossi:
  Towards Efficient Partial Evaluation in Logic Programming. 237-259
  

Volume 14, Number 3, 1996

• Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama:
  Distributed Memory Implementation of KLIC. 261-280
  
• Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick:
  A Common Intermediate Language and Its Use in Partitioning Concurrent Declarative Programs. 281-315
  
• Yi-Dong Shen:
  Verifying Local Stratifiability of Logic Programs and Databases II. 317-341
  
• Eiichi Horita:
  Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics. 343-389
  

Volume 14, Number 4, 1996

• Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
  The Functional Logic Language BABEL and Its Implementation on a Graph Machine. 391-427
  
• David A. Rosenblueth:
  Chart Parsers as Inference Systems for Fixed-Mode Logic Programs. 429-458
  
• Ting Kuo, Shu-Yuen Hwang:
  Why DGAs Work Well on GA-Hard Functions? 459-479
  

Last update Tue Feb 14 04:21:47 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page