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

Last update Sat May 18 20:48:55 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page