New Generation Computing, Volume 8

Volume 8, Number 1, 1990

Hidehiko Tanaka: Permeation of Knowledge Information Processing Systems. 1-3 BibTeX
Tok Wang Ling: The Prolog Not-Predicate and Negation as Failure Rule. 5-31 BibTeX
Y. I. Jiang: An Epistemic Model of Logic Programming. 33-59 BibTeX
Arun Lakhotia, Leon Sterling: How to Control Unfolding when Specializing Interpreters. 61-70 BibTeX
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. 71-89 BibTeX

Masayuki Numao: How Should Prolog Computation Be Represented for Practical Use? 95-112 BibTeX
N. K. Simpkins: Chart Parsing in Prolog. 113- BibTeX
R. M. Snyder: Lazy Debugging of Lazy Functional Programs. 139- BibTeX
Yukio Kaneda: Introduction of dosim Predicate to Prolog. 163- BibTeX

K. Hirose: On Computer Science Curricula at Universities. 183-184 BibTeX
H. Katsuno: Closed World Assumptions Having Precedence in Predicates. 185- BibTeX
Thomas Wilmes: A Generalized Approach to Metaprogramming in Logic Grammars. 211- BibTeX
Steffen Hölldobler, Josef Schneeberger: A New Deductive Approach to Planning. 225- BibTeX
Verónica Dahl, Fred Popowich: Parsing and Generation with Static Discontinuity Grammars. 245- BibTeX

Setsuo Arikawa: Introduction: Special Issue on Algorithmic Learning Theory. 277- BibTeX
Shun-ichi Amari: Mathematical Theory of Neural Learning. 281- BibTeX
Stephen Muggleton: Inductive Logic Programming. 295- BibTeX
Naoki Abe: Learning Commutative Deterministic Finite State Automata in Polynomial Time. 319- BibTeX
Ayumi Shinohara: Teachability in Computational Learning. 337- BibTeX
Klaus P. Jantke: Monotonic and Non-monotonic Inductive Inference. 349- BibTeX
Steffen Lange, Rolf Wiehagen: Polynomial-time Inference of Arbitrary Pattern Languages. 361-370 BibTeX
Takeshi Shinohara: Inductive Inference of Monotonic Formal Systems from Positive Data. 371- BibTeX
Bipin Indurkhya: On the Role of Interpretive Analogy in Learning. 385- BibTeX
Masami Hagiya: Synthesis of Rewrite Programs by Higher-order and Semantic Unification. 403- BibTeX