The DOI matches its Crossref record; 6 of the 7 references it cites were found in a registry or an index.
Explanation-Based Generalization as Resolution Theorem Proving
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“A key difference is that inductive generalisation and predicate invention are not achieved in existing EBG paradigms, which assume a complete first-order domain theory.”
From Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited (2015) · cites this paper as Kedar-Cabelli and McCarty 1987
Citations
Cites
Foundations of Logic Programming
Lloyd, J. (1984) · Symbolic Computation · doi:10.1007/978-3-642-96826-6 · Cited by 5,772
Explanation-Based Generalization: A Unifying View
Mitchell, T. M., Keller, R. M., & Kedar-Cabelli, S. T. (1986) · Machine Learning · doi:10.1023/a:1022691120807 · Cited by 1,382
Self-citationExplanation-Based Learning: An Alternative View
DEJONG, G. F., & Mooney, R. J. (1986) · Machine Learning · doi:10.1023/a:1022898111663 · Cited by 839
The Art of Prolog: Advanced Programming Techniques
STERLING, L. S., & Shapiro, E. Y. (1994) · Cited by 532
A domain independent explanation-based generalizer
Mooney, R. J., & Bennett, S. (1986) · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · Cited by 109
Explanation-based generalization in a logic-programming environment
Hirsh, H. (1987) · International Joint Conference on Artificial Intelligence · Cited by 60
Research works printed but not linked: 3
- Kedar-Cabelli, S. T. (1987). Investigations into purpose-directed analogy. Doctoral dissertation, Department of Computer Science, Rutgers University, New Brunswick, NJ, (in progress).
- Minton, S. (1987). Acquiring search control knowledge: An explanation-based approach. Doctoral dissertation, Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA, (in progress).
- Sims, M. (June 1987). Analytic and Empirical Discovery in IL. Proceedings of the Fourth International Machine Learning Workshop. University of California at Irvine, Morgan Kaufmann.
Cited by
Sorted by citations
Items 101–123 of 123
Segre, A. M., Elkan, C., Scharstein, D., Gordon, G. J., & Russell, A. C. (2007) · Springer eBooks · doi:10.1007/978-0-585-27366-2_2 · Cited by 1
(1992) · Elsevier eBooks · doi:10.1016/b978-0-08-051363-8.50017-x · Cited by 1
Extending Explanation-Based Generalization
Pfahringer, B. (1989) · Informatik-Fachberichte · doi:10.1007/978-3-642-74688-8_17
The Systematic Method for Constructing the IDEA BANK Based on the EBL
Kawakami, H., & KONISHI, T. (1991) · Okayama University Scientific Achievement Repository (Okayama University) · doi:10.18926/15423
L-ATMS: A tight integration of EBL and the ATMS
Zercher, K. (1993) · Lecture notes in computer science · doi:10.1007/3-540-56483-7_28
Explanation-based reuse of prolog programs
Koga, Y., Hirowatari, E., & Arikawa, S. (1994) · Lecture notes in computer science · doi:10.1007/3-540-58520-6_61
“As to such machine learning from background knowledge, the explanationbased generalization (EBG, for short) has been studied by many researchers from various viewpoints [1, 2, 4, 5, 6, 8, 10, 11, 13, 14].”
BackgroundZito-Wolf, R. J. (1991) · Machine Learning · doi:10.1023/a:1022610505013
Learning in order to avoid search in logic programming
Pazzani, M. J. (1990) · Computers & Mathematics with Applications · doi:10.1016/0898-1221(90)90115-z
ESBL: An integrated method for learning from partial information
Koppel, M. (1991) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/bf01531063
An intelligent control system for visual languages
de Carvalho, C. L., Costa, E., Julia, R. M. D. S., & Siqueira, J. D. M. (2003) · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · doi:10.1109/icsmc.1999.823339
What Next for Learning in AI Planning
Zimmerman, T. L., & Subbarao Kambhampati, B. (2001)
A Method of Artifact Fusion Based on the Interactions in Qualitative Physical Causality
Kawakami, H., Eiji, I. R. I. E., KONISHI, T., & Katai, O. (2003) · Transactions of the Society of Instrument and Control Engineers · doi:10.9746/sicetr1965.39.286
Knowledge Representation and Acquisition for Conceptual Design by Determination Relations
Kawakami, H., Katai, O., SAWARAGI, T., KONISHI, T., & Iwai, S. (1994) · Transactions of the Society of Instrument and Control Engineers · doi:10.9746/sicetr1965.30.1529
A Method for Extracting and Utilizing Design Knowledge on Physical Causal Laws on Artifacts
Kawakami, H., KONISHI, T., Suto, H., & Katai, O. (2002) · Transactions of the Society of Instrument and Control Engineers · doi:10.9746/sicetr1965.38.632
Deduktives Lernen - Explanation-Based Learning
von Ebl, E. (2010)
Overgenerality in Explanation-Based Generalization
Hirsh, H. (1990) · Kluwer international series in engineering and computer science · doi:10.1007/978-1-4613-1641-1_6
“Details on specific implementations ofEBG can be found elsewhere [e.g., Hirsh, 1987; Kedar-Cabelli and McCarty, 1987; and Mooney and Bennett, 1986].”
BackgroundBIBLIOGRAPHY OF RECENT MACHINE LEARNING RESEARCH 1985–1989
(1990) · Elsevier eBooks · doi:10.1016/b978-0-08-051055-2.50033-x
TopLog: ILP Using a Logic Program Declarative Bias
Santos, J. C. A. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-89982-2_88
“However, like SPECTRE, EBG does not make the key MDHD distinction between the theory and background knowledge.”
BackgroundInfluential(1990) · Elsevier eBooks · doi:10.1016/b978-0-273-08817-2.50014-5
Shoham, Y. (1994) · Elsevier eBooks · doi:10.1016/b978-1-4832-1449-8.50016-6
(1988) · Elsevier eBooks · doi:10.1016/b978-0-08-050930-3.50019-1
Analytical learning and term-rewriting systems
Laird, P. D., & Gamble, E. (1990) · NASA Technical Reports Server (NASA)
Metadata
- Authors
- KEDAR-CABELLI, S. T., & MCCARTY, L. T.
- Affiliations
- Rutgers, The State University of New Jersey (US)
- Corresponding author
- KEDAR-CABELLI, SMADAR T.
- MCCARTY, L. THORNE
- Venue
- Proceedings of the Fourth International Workshop on MACHINE LEARNING
- Publisher
- Elsevier
- Published
- 1987
- Pages
- 383-389
- OpenAlex
- W1581847324
- Cited by
- 123
- References
- 7
- Citations by year
- 2019: 1 · 2018: 2 · 2015: 1 · 2014: 1 · 2013: 1 · 2012: 1
- FWCI
- 14.34
- Type
- conference paper
- Language
- en
- Open access
- closed
- Locations
- Elsevier eBooks (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Computer Science › Software › Logic, programming, and type systems
- Keywords
- explanation-based generalization, resolution theorem proving, Horn clause logic, inductive generalization
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
