researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: New Generation Comput.
Home
Index
Info
Volume
Volume
13
, Issue
3&4
243
--
244
Stephen Muggleton
,
Fumio Mizoguchi
,
Koichi Furukawa
.
Special Issue on Inductive Logic Programming
245
--
286
Stephen Muggleton
.
Inverse Entailment and Progol
287
--
312
J. Ross Quinlan
,
R. Mike Cameron-Jones
.
Induction of Logic Programs: FOIL and Related Systems
313
--
333
Ivan Bratko
,
Saso Dzeroski
.
Engineering Applications of ILP
335
--
368
Fumio Mizoguchi
,
Hayato Ohwada
.
Constrained Relative Least General Generalization for Inducing Constraint Logic Programs
369
--
409
William W. Cohen
,
C. David Page Jr.
.
Polynomial Learnability and Inductive Logic Programming: Methods and Results
411
--
433
Ross D. King
,
Michael J. E. Sternberg
,
Ashwin Srinivasan
.
Relating Chemical Activity to Structure: An Examination of ILP Successes
435
--
439
Robert A. Kowalski
.
Workshop Report: Application of Logic Programming to Legal Reasoning
441
--
511
Akira Aiba
,
Kazumasa Yokota
.
Reports on FGCS 94 Workshop on Heterogeneous Cooperative Knowledge-Bases
Volume
13
, Issue
2
117
--
154
Danny De Schreye
,
Kristof Verschaetse
.
Deriving Linear Size Relations for Logic Programs by Abstract Interpretation
155
--
186
Michael Hanus
.
Compile-time Analysis of Nonlinear Constraints in CLP(::::R::::)
Volume
13
, Issue
1
1
--
2
Junichi Shimada
.
The Targets of Real World Computing
3
--
43
Kazunori Ueda
,
Masao Morita
.
Moded Flat GHC and Its Message-Oriented Implementation Technique
45
--
74
Chandrabose Aravindan
,
Phan Minh Dung
.
Partial Deduction of Logic Programs wrt Well-Founded Semantics
75
--
98
Liangwei Xu
,
Hideya Iwasaki
,
Masato Takeichi
.
Derivation of Algorithms by Introduction of Generation Functions
99
--
115
Juan Gu
,
Xiaofei Huang
,
Bin Du
.
A Quantitative Solution to Constraint Satisfaction Problem (CSP)