-
1
-
-
0343599974
-
Specialization of logic programs by pruning SLD-trees
-
Proceedings of the 4th International Workshop on Inductive Logic Programming (S. Wrobel, Ed.), GMD-Studien, Bad Honnef/Bonn
-
Boström, H., Idestam-Almquist, P.: Specialization of Logic Programs by Pruning SLD-trees, Proceedings of the 4th International Workshop on Inductive Logic Programming (S. Wrobel, Ed.), GMD-Studien, vol. 237 of GMD-Studien, Bad Honnef/Bonn, 1994, 31-48.
-
(1994)
GMD-studien
, vol.237
, pp. 31-48
-
-
Boström, H.1
Idestam-Almquist, P.2
-
2
-
-
33644619539
-
Propositionalization for clustering symbolic relational descriptions
-
Sydney Australia, July
-
Bournaud, I., Courtine, M., J.-D., Z.: Propositionalization for Clustering Symbolic Relational Descriptions, Proceedings of the Twelfth International Conference on Inductive Logic Programming (ILP 2002), Sydney Australia, July 2002.
-
(2002)
Proceedings of the Twelfth International Conference on Inductive Logic Programming (ILP 2002)
-
-
Bournaud, I.1
Courtine, M.2
Z., J.-D.3
-
3
-
-
84942857293
-
Abstractions for knowledge organization of relational descriptions
-
Proceedings of Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000 (B. Y. Choueiry, T. Walsh, Eds.), Lecture Notes in Computer Science, Springer
-
Bournaud, I., Courtine, M., Zucker, J.-D.: Abstractions for Knowledge Organization of Relational Descriptions, Proceedings of Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000 (B. Y. Choueiry, T. Walsh, Eds.), Lecture Notes in Computer Science, vol. 1864 of Lecture Notes in Computer Science, Springer, 2000, 87-106.
-
(2000)
Lecture Notes in Computer Science
, vol.1864
, pp. 87-106
-
-
Bournaud, I.1
Courtine, M.2
Zucker, J.-D.3
-
4
-
-
33644615175
-
Perceptual learning and abstraction in machine learning
-
Bredeche, N., Zucker, J.-D., Zhongzhi, Z.: Perceptual Learning and Abstraction in Machine Learning, Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI'03), 2003, 18-25.
-
(2003)
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI'03)
, pp. 18-25
-
-
Bredeche, N.1
Zucker, J.-D.2
Zhongzhi, Z.3
-
5
-
-
84905244457
-
Galois: An order-theoric approach to conceptual clustering
-
Ahmerst
-
Carpineto, C., Romano, G.: Galois: an order-theoric approach to conceptual clustering, Proceedings of the International Conference on Machine Learning, Ahmerst, 1993, 33-40.
-
(1993)
Proceedings of the International Conference on Machine Learning
, pp. 33-40
-
-
Carpineto, C.1
Romano, G.2
-
6
-
-
0004213351
-
-
Springer
-
Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases, Springer, 1990.
-
(1990)
Logic Programming and Databases
-
-
Ceri, S.1
Gottlob, G.2
Tanca, L.3
-
7
-
-
0000826543
-
Negation as failure
-
(H. Gallaire, J. Minker, Eds.), Plenum Press
-
Clark, K.: Negation as Failure, in: Logic and Databases (H. Gallaire, J. Minker, Eds.), Plenum Press, 1978, 293-322.
-
(1978)
Logic and Databases
, pp. 293-322
-
-
Clark, K.1
-
8
-
-
0003971841
-
-
Cohen, P., Feigenbaum, E., Eds., Morgan Kaufmann
-
Cohen, P., Feigenbaum, E., Eds.: The Handbook of Artificial Intelligence, vol. 3, Morgan Kaufmann, 1981.
-
(1981)
The Handbook of Artificial Intelligence
, vol.3
-
-
-
10
-
-
0038921568
-
Abduction and learning
-
(L. D. Raedt, Ed.), IOS Press
-
Dimopoulos, Y., Kakas, A.: Abduction and Learning, in: Advances in Inductive Logic Programming (L. D. Raedt, Ed.), IOS Press, 1996, 144-171.
-
(1996)
Advances in Inductive Logic Programming
, pp. 144-171
-
-
Dimopoulos, Y.1
Kakas, A.2
-
11
-
-
0011177327
-
-
Džeroski, S., Lavrač, N., Eds., Springer, Berlin
-
Džeroski, S., Lavrač, N., Eds.: Relational Data Mining, Springer, Berlin, 2001.
-
(2001)
Relational Data Mining
-
-
-
12
-
-
0002061313
-
Abduction compared to negation by failure
-
(G. Levi, M. Martelli, Eds.), The MIT Press
-
Eshghi, K., Kowalski, R.: Abduction Compared to Negation by Failure, Proceedings of the 6th International Conference on Logic Programming (G. Levi, M. Martelli, Eds.), The MIT Press, 1989, 234-255.
-
(1989)
Proceedings of the 6th International Conference on Logic Programming
, pp. 234-255
-
-
Eshghi, K.1
Kowalski, R.2
-
13
-
-
0035401782
-
A generalization model based on OI-implication for ideal theory refinement
-
Esposito, F., Fanizzi, N., Ferilli, S., Semeraro, G.: A generalization model based on OI-implication for ideal theory refinement, Fundamenta Informaticae, 47, 2001, 15-33.
-
(2001)
Fundamenta Informaticae
, vol.47
, pp. 15-33
-
-
Esposito, F.1
Fanizzi, N.2
Ferilli, S.3
Semeraro, G.4
-
14
-
-
0242498530
-
Incremental multistrategy learning for document processing
-
Esposito, F., Ferilli, S., Fanizzi, N., Basile, T., Di Mauro, N.: Incremental Multistrategy Learning for Document Processing, Applied Artificial Intelligence, 17(8/9), 2003, 859-883.
-
(2003)
Applied Artificial Intelligence
, vol.17
, Issue.8-9
, pp. 859-883
-
-
Esposito, F.1
Ferilli, S.2
Fanizzi, N.3
Basile, T.4
Di Mauro, N.5
-
15
-
-
0033905392
-
Multistrategy theory revision: Induction and abduction in INTHELEX
-
Esposito, F., Semeraro, G., Fanizzi, N., Ferilli, S.: Multistrategy Theory Revision: Induction and Abduction in INTHELEX, Machine Learning, 38(1/2), 2000, 133-156.
-
(2000)
Machine Learning
, vol.38
, Issue.1-2
, pp. 133-156
-
-
Esposito, F.1
Semeraro, G.2
Fanizzi, N.3
Ferilli, S.4
-
16
-
-
2442534383
-
Abstracting concepts with inverse resolution
-
Morgan Kaufmann, Evanston, IL
-
Giordana, A., Roverso, D., Saitta, L.: Abstracting Concepts with Inverse Resolution, Proceedings of the 8th International Workshop on Machine Learning, Morgan Kaufmann, Evanston, IL, 1991, 142-146.
-
(1991)
Proceedings of the 8th International Workshop on Machine Learning
, pp. 142-146
-
-
Giordana, A.1
Roverso, D.2
Saitta, L.3
-
17
-
-
0013065996
-
Abstraction: A general framework for learning
-
Boston, MA
-
Giordana, A., Saitta, L.: Abstraction: A General Framework for Learning, Working Notes of the Workshop on Automated Generation of Approximations and Abstractions, Boston, MA, 1990, 245-256.
-
(1990)
Working Notes of the Workshop on Automated Generation of Approximations and Abstractions
, pp. 245-256
-
-
Giordana, A.1
Saitta, L.2
-
18
-
-
0026940563
-
A theory of abstraction
-
Giunchiglia, F., Walsh, T.: A Theory of Abstraction, Artificial Intelligence, 57(2/3), 1992, 323-389.
-
(1992)
Artificial Intelligence
, vol.57
, Issue.2-3
, pp. 323-389
-
-
Giunchiglia, F.1
Walsh, T.2
-
19
-
-
77957187070
-
Abductive logic programming
-
Kakas, A., Kowalski, R., Toni, F.: Abductive Logic Programming, Journal of Logic and Computation, 2(6), 1993, 718-770.
-
(1993)
Journal of Logic and Computation
, vol.2
, Issue.6
, pp. 718-770
-
-
Kakas, A.1
Kowalski, R.2
Toni, F.3
-
20
-
-
0002452560
-
On the relation between truth maintenance and abduction
-
Nagoya, Japan
-
Kakas, A., Mancarella, P.: On the Relation between Truth Maintenance and Abduction, Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, Nagoya, Japan, 1990, 438-443.
-
(1990)
Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence
, pp. 438-443
-
-
Kakas, A.1
Mancarella, P.2
-
21
-
-
0033281470
-
Learning function-free Horn expressions
-
December
-
Khardon, R.: Learning function-free Horn expressions, Machine Learning, 37(3), December 1999, 241-275.
-
(1999)
Machine Learning
, vol.37
, Issue.3
, pp. 241-275
-
-
Khardon, R.1
-
22
-
-
1942515438
-
Propositionalization approaches to relational data mining
-
(S. Džeroski, N. Lavrač, Eds.), Springer, September
-
Kramer, S., Lavrač, N., Flach, P.: Propositionalization Approaches to Relational Data Mining, in: Relational Data Mining (S. Džeroski, N. Lavrač, Eds.), Springer, September 2001, 262-291.
-
(2001)
Relational Data Mining
, pp. 262-291
-
-
Kramer, S.1
Lavrač, N.2
Flach, P.3
-
23
-
-
9444222914
-
-
Ph.D. Thesis, Erasmus University, Rotterdam, The Netherlands
-
van der Laag, P.: An Analysis of Refinement Operators in Inductive Logic Programming, Ph.D. Thesis, Erasmus University, Rotterdam, The Netherlands, 1995.
-
(1995)
An Analysis of Refinement Operators in Inductive Logic Programming
-
-
Van Der Laag, P.1
-
24
-
-
0242692760
-
Cooperation of abduction and induction in logic programming
-
(A. Kakas, P. Flach, Eds.), Kluwer
-
Lamma, E., Mello, P., Milano, M., Riguzzi, F., Esposito, F., Ferilli, S., Semeraro, G.: Cooperation of Abduction and Induction in Logic Programming., in: Abductive and Inductive Reasoning: Essays on their Relation and Integration (A. Kakas, P. Flach, Eds.), Kluwer, 2000, 233-252.
-
(2000)
Abductive and Inductive Reasoning: Essays on Their Relation and Integration
, pp. 233-252
-
-
Lamma, E.1
Mello, P.2
Milano, M.3
Riguzzi, F.4
Esposito, F.5
Ferilli, S.6
Semeraro, G.7
-
26
-
-
7444260676
-
An abductive proof procedure handling active rules
-
AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings (A. Cappelli, F. Turini, Eds.), Lecture Notes in Computer Science, Springer
-
Mancarella, P., Terreni, G.: An Abductive Proof Procedure Handling Active Rules, AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings (A. Cappelli, F. Turini, Eds.), Lecture Notes in Computer Science, vol. 2829 of Lecture Notes in Computer Science, Springer, 2003.
-
(2003)
Lecture Notes in Computer Science
, vol.2829
-
-
Mancarella, P.1
Terreni, G.2
-
27
-
-
0003046840
-
A theory and methodology of inductive learning
-
(R. Michalski, J. Carbonell, T. Mitchell, Eds.), Morgan Kaufmann, San Mateo, CA
-
Michalski, R.: A Theory and Methodology of Inductive Learning, in: Machine Learning: an artificial intelligence approach (R. Michalski, J. Carbonell, T. Mitchell, Eds.), vol. I, Morgan Kaufmann, San Mateo, CA, 1983, 83-134.
-
(1983)
Machine Learning: An Artificial Intelligence Approach
, vol.1
, pp. 83-134
-
-
Michalski, R.1
-
28
-
-
0003262526
-
Inferential theory of learning. Developing foundations for multistrategy learning
-
(R. Michalski, G. Tecuci, Eds.), Morgan Kaufmann, San Mateo, CA
-
Michalski, R.: Inferential Theory of Learning. Developing Foundations for Multistrategy Learning, in: Machine Learning. A Multistrategy Approach (R. Michalski, G. Tecuci, Eds.), vol. IV, Morgan Kaufmann, San Mateo, CA, 1994, 3-61.
-
(1994)
Machine Learning. A Multistrategy Approach
, vol.4
, pp. 3-61
-
-
Michalski, R.1
-
29
-
-
0000531852
-
Generalization as search
-
Mitchell, T.: Generalization as Search, Artificial Intelligence, 18, 1982, 203-226.
-
(1982)
Artificial Intelligence
, vol.18
, pp. 203-226
-
-
Mitchell, T.1
-
30
-
-
0028429573
-
Inductive logic programming
-
Muggleton, S., De Raedt, L.: Inductive Logic Programming, Journal of Logic Programming, 19/20, 1994, 629-679.
-
(1994)
Journal of Logic Programming
, vol.19-20
, pp. 629-679
-
-
Muggleton, S.1
De Raedt, L.2
-
31
-
-
0008405067
-
-
Foundations of Inductive Logic Programming, Springer
-
Nienhuys-Cheng, S., de Wolf, R.: Foundations of Inductive Logic Programming, vol. 1228 of Lecture Notes in Artificial Intelligence, Springer, 1997.
-
(1997)
Lecture Notes in Artificial Intelligence
, vol.1228
-
-
Nienhuys-Cheng, S.1
De Wolf, R.2
-
32
-
-
0002342551
-
Theorem proving with abstraction
-
Plaisted, D.: Theorem Proving with Abstraction, Artificial Intelligence, 16, 1981, 47-108.
-
(1981)
Artificial Intelligence
, vol.16
, pp. 47-108
-
-
Plaisted, D.1
-
33
-
-
0019004898
-
Equality and domain closure in first order databases
-
Reiter, R.: Equality and Domain Closure in First Order Databases, Journal of ACM, 27, 1980, 235-249.
-
(1980)
Journal of ACM
, vol.27
, pp. 235-249
-
-
Reiter, R.1
-
34
-
-
85152930235
-
Beyond inversion of resolution
-
Morgan Kaufmann, Austin, TX
-
Rouveirol, C., Puget, J.: Beyond Inversion of Resolution, Proceedings of the 7th International Conference on Machine Learning, Morgan Kaufmann, Austin, TX, 1990, 122-130.
-
(1990)
Proceedings of the 7th International Conference on Machine Learning
, pp. 122-130
-
-
Rouveirol, C.1
Puget, J.2
-
35
-
-
84947904538
-
A logic framework for the incremental inductive synthesis of datalog theories
-
Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation (N. Fuchs, Ed.), LNCS, Springer
-
Semeraro, G., Esposito, F., Malerba, D., Fanizzi, N., Ferilli, S.: A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories, Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation (N. Fuchs, Ed.), LNCS, vol. 1463 of LNCS, Springer, 1998, 300-321.
-
(1998)
LNCS
, vol.1463
, pp. 300-321
-
-
Semeraro, G.1
Esposito, F.2
Malerba, D.3
Fanizzi, N.4
Ferilli, S.5
-
36
-
-
0005500020
-
Predicate invention in inductive logic programming
-
(L. D. Raedt, Ed.), IOS Press, Amsterdam
-
Stahl, I.: Predicate Invention in Inductive Logic Programming, Advances in Inductive Logic Programming (L. D. Raedt, Ed.), IOS Press, Amsterdam, 1996, 34-47.
-
(1996)
Advances in Inductive Logic Programming
, pp. 34-47
-
-
Stahl, I.1
-
37
-
-
84974678409
-
Layered learning
-
Springer, Berlin
-
Stone, P., Veloso, M. M.: Layered Learning, Machine Learning: ECML 2000, Proceedings of the 11th European Conference on Machine Learning, vol. 1810, Springer, Berlin, 2000, 369-381.
-
(2000)
Machine Learning: ECML 2000, Proceedings of the 11th European Conference on Machine Learning
, vol.1810
, pp. 369-381
-
-
Stone, P.1
Veloso, M.M.2
-
38
-
-
85167868432
-
The relevance of irrelevance
-
Morgan Kaufmann
-
Subramanian, D., Genesereth, M.: The relevance of irrelevance, Proceedings of the 10th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, 1987, 416-422.
-
(1987)
Proceedings of the 10th International Joint Conference on Artificial Intelligence
, pp. 416-422
-
-
Subramanian, D.1
Genesereth, M.2
-
39
-
-
0005619845
-
Apprenticeship learning in nonhomogeneous domain theories
-
(Y. Kodratoff, R. Michalski, Eds.), Morgan Kaufmann, San Mateo, CA
-
Tecuci, G., Kodratoff, Y.: Apprenticeship learning in nonhomogeneous domain theories, in: Machine Learning. A Multistrategy Approach (Y. Kodratoff, R. Michalski, Eds.), vol. III, Morgan Kaufmann, San Mateo, CA, 1990, 514-552.
-
(1990)
Machine Learning. A Multistrategy Approach
, vol.3
, pp. 514-552
-
-
Tecuci, G.1
Kodratoff, Y.2
-
41
-
-
0001164493
-
Shift of bias for inductive concept learning
-
(R. Michalski, J. Carbonell, T. Mitchell, Eds.), Morgan Kaufmann, Los Altos, CA
-
Utgoff, P.: Shift of Bias for Inductive Concept Learning, in: Machine Learning: an artificial intelligence approach (R. Michalski, J. Carbonell, T. Mitchell, Eds.), vol. II, Morgan Kaufmann, Los Altos, CA, 1986, 107-148.
-
(1986)
Machine Learning: An Artificial Intelligence Approach
, vol.2
, pp. 107-148
-
-
Utgoff, P.1
-
42
-
-
84956856389
-
Abstracting visual percepts to learn concepts
-
Proceedings of Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002 (S. Koenig, R. C. Holte, Eds.), Lecture Notes in Computer Science, Springer
-
Zucker, J., Bredeche, N., Saitta, L.: Abstracting Visual Percepts to Learn Concepts, Proceedings of Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002 (S. Koenig, R. C. Holte, Eds.), Lecture Notes in Computer Science, vol. 2371 of Lecture Notes in Computer Science, Springer, 2002, 256-273.
-
(2002)
Lecture Notes in Computer Science
, vol.2371
, pp. 256-273
-
-
Zucker, J.1
Bredeche, N.2
Saitta, L.3
-
43
-
-
0242608693
-
Semantic abstraction for concept representation and learning
-
(R. S. Michalski, L. Saitta, Eds.)
-
Zucker, J.-D.: Semantic Abstraction for Concept Representation and Learning, Proceedings of the 4th International Workshop on Multistrategy Learning (R. S. Michalski, L. Saitta, Eds.), 1998, 157-164.
-
(1998)
Proceedings of the 4th International Workshop on Multistrategy Learning
, pp. 157-164
-
-
Zucker, J.-D.1
|