New Generation Computing, Volume 15

Volume 15, Number 1, 1997

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

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

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

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