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 BibTeX
Vítor Santos Costa, David H. D. Warren, Rong Yang: Andorra-I Compilation. 3-30 BibTeX
Johan Montelius, Khayri A. M. Ali: An And/Or-Parallel Implementation of AKL. 31-52 BibTeX
Kish Shen, Steve Gregory: Instant Replay Debugging of Concurrent Logic Programs. 79-107 BibTeX

Special Feature on Natural Language Understanding and Logic Programming

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

Regular Papers

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

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

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 BibTeX
David A. Rosenblueth: Chart Parsers as Inference Systems for Fixed-Mode Logic Programs. 429-458 BibTeX
Ting Kuo, Shu-Yuen Hwang: Why DGAs Work Well on GA-Hard Functions? 459-479 BibTeX