New Generation Computing, Volume 15

Volume 15, Number 1, 1997

Setsuo Arikawa, Michael M. Richter: Special Issue on Algorithmic Learning Theory. 1-2
Naoki Abe: Towards Realistic Theories of Learning. 3-25
Oksana Arnold, Klaus P. Jantke: Inductive Program Synthesis for Theory Plan Generation. 27-58
Christoph Globig, Klaus P. Jantke, Steffen Lange, Yasubumi Sakakibara: On Case Based Learnability of Language. 39-83
Akira Ishino, Akihiro Yamamoto: Generalization in Typed Equational Programming and Their Application to Learning Functions. 85-103
Alvis Brazma, Karlis Cerans: Noise-Tolerant Efficient Inductive Synthesis of Regular Expressions from Good Examples. 105-140

Suzanne W. Dietrich, Changguan Fan: On the Completeness of Naive Memoing in Prolog. 141-162
Abdul Sattar, Randy Goebel: Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. 163-186
Yi-Dong Shen: An Extended Variant of Atoms Loop Check for Positive Logic Programs. 187-204
Alvaro A. A. Fernandes, M. Howard Williams, Norman W. Paton: A Logic-Based Integration of Active and Deductive Databases. 205-244

Carl Vogel, Fred Popowich: A Parametric Definition for a Family of Inheritance Reasoners. 247-292
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. 293-338
Liangwei Xu, Masato Takeichi, Hideya Iwasaki: Relational Semantics for Locally Nondeterministic Programs. 339-362

Stefan Brüning: Globally Linear Connection Method. 369-402
Chiun-Chieh Hsu: Mapping Two Complete Binary Trees Into the Star Graph with Quick Fault Recovery. 403-420
Andreas Hamfelt, Jørgen Fischer Nilsson: Towards a Logic Programming Methodology Based on Higher-Order Predicates. 421-448
Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti: Static Analysis of Linear Logic Programming. 449-481