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
Volume 15, Number 2, 1997
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
Volume 15, Number 3, 1997
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
Volume 15, Number 4, 1997
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