An experimental evaluation of coevolutive concept learning, Proc. of the 15th ICML, pp.19-27, 1998. ,
Top-down induction of first order logical decision trees, Artificial Intelligence, vol.101, issue.1-2, pp.285-297, 1998. ,
On the relative expressiveness of description logics and predicate logics, Artificial Intelligence, vol.82, pp.353-367, 1996. ,
FONN: Combining first order logic with connectionist learning, Proc. of ICML-97, pp.48-56, 1997. ,
Algorithms for propositional KB approximation, Proc. of AAAI-98, pp.280-285, 1998. ,
A structural paradigm for representing knowledge, 1977. ,
Classification and Regression by tree, 1984. ,
Semantical and computational aspects of Horn approximations, Proc. of IJCAI-93, pp.39-44, 1993. ,
Programming in Prolog, 1981. ,
A non-deterministic semantics for tractable inference, Proc. of AAAI-98, pp.286-291, 1998. ,
Toward a theory of access-limited logic for knowledge representation, Proc. of KR-89, pp.67-78, 1989. ,
Part-of-speech tagging using Progol, Proc. of ILP-97, vol.1297, pp.93-108, 1997. ,
Induction in logic, Proc. of 3rd International Workshop on Multistrategy Learning, pp.29-38, 1996. ,
First order jk-clausal theories are PAC-learnable, Artificial Intelligence, vol.70, pp.375-392, 1994. ,
). -subsumption for structural matching, 1997. ,
, Proc. of the 9th European Conference on Machine Learning, pp.73-84
Solving the multiple-instance problem with axis-parallel rectangles, Artificial Intelligence, vol.89, issue.1-2, pp.31-71, 1997. ,
The application of ILP to finite element mesh design, Proc. of the 1st ILP, pp.453-472, 1991. ,
Relational instance based learning, Proc. of the 13th ICML, pp.122-130, 1996. ,
Locally finite, proper and complete operators for refining datalog programs, Foundations of intelligent systems, pp.468-478, 1996. ,
The art of artificial intelligence: themes and case studies in knowledge engineering, Proc. of IJCAI'77, pp.1014-1029, 1977. ,
Search intensive concept induction, Evolutionary Computation, vol.3, issue.4, pp.375-416, 1994. ,
An experimental study of phase transitions in matching, Proc. of IJCA'99, pp.1199-1203, 1999. ,
Quantifying inductive bias: AI learning algorithms and Valiant's learning framework, Artificial Intelligence, vol.36, pp.177-221, 1988. ,
, Constraint logic programming. Proc. of the fourteenth ACM Symposium on the Principles of Programming Languages, pp.111-119, 1987.
NP-completeness of the set unification and matching problems, Proc. of 8th Conference on Automated Deduction, vol.230, pp.489-495, 1986. ,
First order regression, Jal of the ACM, vol.44, issue.5, pp.697-725, 1995. ,
Relating chemical activity to structure: an examination of ILP successes, New Gen. Comput, vol.13, pp.411-433, 1995. ,
Approximate inference of functional dependencies from relations, Theoretical Computer Science, vol.149, pp.129-149, 1995. ,
Improving the generalization step in learning, Machine learning: an artificial intelligence approach, vol.2, pp.215-244, 1986. ,
Automatic parameter selection by minimizing estimated error, Proc. of the 12th ICML, pp.304-312, 1995. ,
Inductive logic programming: techniques and applications, 1994. ,
An approach to dimensionality reduction in learning from deductive databases, Proc. of Inductive Logic Programming-95, pp.337-354, 1995. ,
Foundations of logic programming, 1987. ,
Programming in an integrated functional and logic language, Journal of Functional and Logic Programming, 1999. ,
Knowledge compilation using prime implicants, Proc. of IJCAI-95, pp.837-843, 1995. ,
A theory and methodology of inductive learning, Machine learning: an artificial intelligence approach, vol.1, pp.83-134, 1983. ,
Generalization as search, Artificial Intelligence, vol.18, pp.203-226, 1982. ,
Machine learning, 1997. ,
Hard and easy distributions of SAT problems, Proc. of AAAI-92, pp.459-465, 1992. ,
Inverse entailment and PROGOL, New Gen. Comput, vol.13, pp.245-286, 1995. ,
Inductive logic programming: Theory and methods, Journal of Logic Programming, vol.19, pp.629-679, 1994. ,
Declarative bias in ILP, Advances in ILP, pp.82-103, 1996. ,
Learning DNF via probabilistic evidence combination, Proc. of the 10th ICML, pp.220-227, 1993. ,
A decidable first-order logic for knowledge representation, Journal of Automated Reasoning, vol.6, pp.361-388, 1990. ,
The role of prior knowledge in inductive learning, Machine Learning, vol.9, pp.54-97, 1992. ,
A note on inductive generalization, Machine intelligence, vol.5, pp.153-163, 1970. ,
Learning logical definition from relations, Machine Learning, vol.5, pp.239-266, 1990. ,
Foundations of assumption-based truth maintenance systems: preliminary report, Proc. of AAAI-87, pp.183-188, 1987. ,
Modelling by shortest data description, Automatica, vol.14, pp.465-471, 1978. ,
Flattening and saturation: Two representation changes for generalisation, Machine Learning, vol.14, pp.219-232, 1994. ,
Artificial intelligence, a modern approach, 1995. ,
Using constraints to building version spaces, Proc. of ECML-94, European conference on machine learning, pp.257-271, 1994. ,
2nd order understandability of disjunctive version spaces, Workshop on machine learning and comprehensibility, IJCAI-95, 1995. ,
Delaying the choice of bias: A disjunctive version space approach, Proc. of the 13th ICML, pp.444-452, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-00116418
Tractable induction and classification in FOL, Proc. of IJCAI-97, pp.888-892, 1997. ,
Knowledge compilation and theory approximation, Jal of the ACM, vol.43, issue.2, pp.193-224, 1996. ,
Models of bounded rationality, 1982. ,
Version space learning with instance-based boundary sets, Proc. of European Conf. on Artificial Intelligence, 1998. ,
Incremental non-backtracking focusing: A polynomially bounded generalization algorithm for version space, Proc. of AAAI-90, pp.848-853, 1990. ,
Comparing the use of background knowledge by two ILP systems, Proc. of Inductive Logic Programming-95, 1995. ,
Theories for mutagenicity: a study in first order and feature-based induction, Artificial Intelligence, vol.85, pp.277-299, 1996. ,
The predictive toxicology evaluation challenge, Proc. of IJCAI-97, pp.4-8, 1997. ,
Using any-time algorithms in intelligent systems, AI Magazine, vol.17, issue.3, pp.73-83, 1996. ,
Representation changes for efficient learning in structural domains, Proc. of the 13th ICML, pp.543-551, 1996. ,