New Generation Computing, Volume 13
Volume 13, Number 1, 1994
Junichi Shimada: The Targets of Real World Computing. 1-2- 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
Volume 13, Number 2, 1995
- 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
Volume 13, Numbers 3&4, 1995
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team