Myung Won Kim  Home/Search
Context
Related
| utexas.edu/pub/boyer/icsr...cmp57.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this technical report originally (Update)
Active bibliography (related documents): More All
0.5: Reengineering Unification And T-Entailment For Mantra In C++ - Kharma (1996) (Correct)
0.5: Prototype Selection for Composite Nearest Neighbor Classifiers - Skalak (1997) (Correct)
0.5: Proving Theorems about LISP Functions - Boyer, Moore (1975) (Correct)
Similar documents based on text: More All
0.1: Appendix to "Irreducibility, Brill-Noether loci, and Vojta's.. - The Aim Of (Correct)
0.1: On the Order of Finitely Generated Subgroups of Q*(mod ρ).. - Pappalardi (1996) (Correct)
0.1: Concept Checking: Binding Parametric Polymorphism in C++ - Siek, Lumsdaine (2000) (Correct)
BibTeX entry: (Update)
@misc{ kim-automatically,
author = "Myung Won Kim",
title = "On Automatically Generating and Using Examples in a Computational Logic
System",
url = "citeseer.ist.psu.edu/342499.html" }
Citations (may not include all citations):392 A Computational Logic (context) - Boyer, Moore - 1979
248 The Semantics of Predicate Logic as a Programming Language (context) - Van Emden, Kowalski - 1976
163 Application of Theorem Proving to Problem Solving (context) - Cordell - 1969
121 Learning Structural Descriptions from Examples (context) - Winston - 1975
114 An Implicit Enumeration Algorithm to Generate Tests for Comb.. (context) - Goel - 1981
98 Query-by-Example: A Data Base Language (context) - Zloof - 1977
97 Integrating Decision Procedures into Heuristic Theorem Prove.. - Boyer, Moore - 1985
82 Toward a Theory of Test Data Selection (context) - Goodenough, Gerhart - 1975
72 the Acceleration of Test Generation Algorithms (context) - Fujiwara, Shimono - 1983
71 Metafunctions: Proving Them Correct and Using Them Efficient.. (context) - Boyer, Moore - 1981
68 Version Spaces: An Approach to Concept Learning (context) - Mitchell - 1978
61 Logic and Databases (context) - Gallaire, Minker - 1978
49 Efficiency and Completeness of the Set of Support Strategy i.. (context) - Wos, Robinson et al. - 1965
47 A Methodology for LISP Program Construction from Examples (context) - Summers - 1976
46 Weak Mutation Testing and Completeness of Test Sets (context) - Howden - 1982
41 Proofs and Refutations (context) - Lakatos - 1976
38 Diagnosis of Automata Failure: A Calculus and a Method (context) - Roth - 1966
35 Realization of a Geometry-Theorem Proving Machine (context) - Gelernter - 1963
34 Automatic Program Debugging for Intelligent Tutoring Systems (context) - Murray - 1986
29 Theories of Program Testing and the Application of Revealing.. (context) - Weyuker, Ostrand - 1980
27 Hilbert's Tenth Problem is Unsolvable (context) - Davis - 1973
24 Mechanizing Structural Induction (context) - Aubin - 1976
23 GPS: A Case Study in Generality and Problem Solving (context) - George, Newell - 1969
20 REF-ARF: A System for Solving Problems Stated as Procedures (context) - Fikes - 1970
20 AM: An Artificial Intelligence Approach to Discovery in Math.. (context) - Lenat - 1976
18 Mathematics and Plausible Reasoning (context) - Polya - 1954
18 Proof Checking the RSA Public Key Encryption Algorithm - Boyer, Moore - 1982
16 Methodology for the Generation of Program Test Data (context) - Howden - 1975
14 DENDRAL and META-DENDRAL: Their Applications Dimension (context) - Buchanan, Feigenbaum - 1978
14 Inductive Learning of Structural Descriptions: Evaluation Cr.. (context) - Dietterich, Michalski - 1981
13 The SUP-INF Method in Presburger Arithmetic (context) - Bledsoe - 1974
13 Mathematical Discovery (context) - Polya - 1962
13 A Mechanical Proof of the Termination of Takeuchi's Function (context) - Moore - 1979
11 Empirical Explorations of the GeometryTheorem Proving Machin.. (context) - Gelernter, Hansen et al. - 1963
9 On Generating and Using Examples in Proof Discovery (context) - Ballantyne, Bledsoe - 1982
5 Explaining and Arguing with Examples (context) - Edwina, Valcarce et al. - 1978
5 Using Examples to Generate Instantiations for Set Variables (context) - Bledsoe - 1983
5 The Foundations of Elementary Arithmetic Established by Mean.. (context) - Skolem - 1967
5 An Examination of the Geometry Theorem Machine (context) - Gilmore - 1970
5 A Semantically Guided Deductive System for Automatic Theorem.. (context) - Reiter - 1976
3 User's Guide to DECsystem-10 PROLOG (context) - Pereira, Pereira et al. - 1978
3 Understanding Understanding Mathematics (context) - Edwina - 1978
3 Descriptive Discovery Processes: Experiments in Baconian Sci.. (context) - Langley - 1980
2 Designing Examples for Semantically Guided Hierarchical Dedu.. (context) - Wang - 1985
2 Knowledge Based Theorem Proving and Learning (context) - Cohen - 1980
2 Proving Theorems by Mathematical Induction (context) - Brotz - 1974
1 An Experiment with the Boyer-Moore Program Verification Syst.. (context) - Russinoff - 1983
1 Generating Examples in LISP: Data and Programs (context) - Edwina, Elliot - 1980
1 A Development of Recursive Arithmetic in a Logic Free Equati.. (context) - Goodstein - 1957
1 Achieving Several Goals Simutaneously (context) - Waldinger - 1977
1 Measure Guessing: An Experiment with Hypothesis Generation F.. (context) - Myung - 1986
1 Artificial Mathematicians: The Computer Modelling of Mathema.. (context) - Alan - 1982
1 SISP/1 An Interactive System Able to Synthesize Functions fr.. (context) - Jean-Pierre - 1977
1 Automatic Induction of LISP Functions (context) - Steven - 1973
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.utexas.edu.html): More
Stack Tracing In A Statically Typed Language - Diwan (1991) (Correct)
Combining Top-down and Bottom-up Techniques in Inductive .. - Zelle, Mooney, Konvisser (1994) (Correct)
Expert Systems for Monitoring and Control - Dvorak (1987) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC