New Generation Computing, Volume 16

Volume 16, Number 1, 1998

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

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

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

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