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

Last update Tue Feb 14 04:21:47 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page