New Generation Computing, Volume 13

Volume 13, Number 1, 1994

Junichi Shimada: The Targets of Real World Computing. 1-2
Kazunori Ueda, Masao Morita: Moded Flat GHC and Its Message-Oriented Implementation Technique. 3-43
Chandrabose Aravindan, Phan Minh Dung: Partial Deduction of Logic Programs wrt Well-Founded Semantics. 45-74
Liangwei Xu, Hideya Iwasaki, Masato Takeichi: Derivation of Algorithms by Introduction of Generation Functions. 75-98
Juan Gu, Xiaofei Huang, Bin Du: A Quantitative Solution to Constraint Satisfaction Problem (CSP). 99-115

Danny De Schreye, Kristof Verschaetse: Deriving Linear Size Relations for Logic Programs by Abstract Interpretation. 117-154
Michael Hanus: Compile-time Analysis of Nonlinear Constraints in CLP(R). 155-186
J. Gerard Wolff: Computing As Compression: An Overview of the SP Theory and System. 187-214
J. Gerard Wolff: Computing As Compression SP20. 215-241

Stephen Muggleton, Fumio Mizoguchi, Koichi Furukawa: Special Issue on Inductive Logic Programming. 243-244
Stephen Muggleton: Inverse Entailment and Progol. 245-286
J. Ross Quinlan, R. Mike Cameron-Jones: Induction of Logic Programs: FOIL and Related Systems. 287-312
Ivan Bratko, Saso Dzeroski: Engineering Applications of ILP. 313-333
Fumio Mizoguchi, Hayato Ohwada: Constrained Relative Least General Generalization for Inducing Constraint Logic Programs. 335-368
William W. Cohen, C. David Page Jr.: Polynomial Learnability and Inductive Logic Programming: Methods and Results. 369-409
Ross D. King, Michael J. E. Sternberg, Ashwin Srinivasan: Relating Chemical Activity to Structure: An Examination of ILP Successes. 411-433
Robert A. Kowalski: Workshop Report: Application of Logic Programming to Legal Reasoning. 435-439
Akira Aiba, Kazumasa Yokota: Reports on FGCS'94 Workshop on Heterogeneous Cooperative Knowledge-Bases. 441-511