New Generation Computing, Volume 8

Volume 8, Number 1, 1990

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

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

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

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