default search action
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
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
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 H. Muggleton, Fumio Mizoguchi, Koichi Furukawa:
Special Issue on Inductive Logic Programming. 243-244 - Stephen H. 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: