New Generation Computing, Volume 13

Volume 13, Number 1, 1994

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

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

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