New Generation Computing, Volume 16

Volume 16, Number 1, 1998

Toru Ishida: Towards Communityware. 5-22
C. H. Ben Choi: Automata for Learning Sequential Tasks. 23-54
Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: A-SATCHMORE: SATCHMORE with Availability Checking. 55-74
Robert Glück, Andrei V. Klimov: On the Degeneration of Program Generators by Program Composition. 75-96

Didier Keymeulen, Masaya Iwata, Kenji Konaka, Yasuo Kuniyoshi, Tetsuya Higuchi: Evolvable Hardware: A Robot Navigation System Testbed. 97-122
Antonio Brogi, Simone Contiero: A Program Specialiser for Meta-Level Compositions of Logic Programs. 123-161
Maria Paola Bonacina, Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching. 163-200
Khayri A. M. Ali: A Simple Generational Real-Time Garbage Collection Scheme. 201-221

Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte: Programming Languages for Distributed Applications. 223-261
Mary Elaine Califf, Raymond J. Mooney: Advantages of Decision Lists and Implicit Negatives in Inductive Logic Programming. 263-281
Michael Leuschel, Danny De Schreye: Constrained Partial Deduction and the Preservation of Characteristic Trees. 283-342

Howard Bowman: A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. 343-372
Sergio Greco: Non-Determinism and Weak Constraints in Datalog. 373-396
Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. 397-434