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