Erica Melis, Manuela Veloso  Home/Search
Context
Related
| cmu.edu/~mmv/paper...Melis96Handb.ps.gz cmu.edu/afs/cs/use...Melis96Handb.ps.gz ags.unisb.de/~melis/P...handbook.ps.gz 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: cmu.edu/~mmv/producebib (more) From: ags.unisb.de/projects/...analogy (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion Let P be the aspect describing time (in terms of hours and minutes) and day of week. The aspect Q describes whether the stores are open in Germany. Then each reformulation ae mapping a time between 9.00 and 11.00 to "morning", a time between 11.01 and 13.00 to "noon", a time between 13.01 and 18.30 to "afternoon", a time between 18.31 and 22.00 to "evening", or a time between 22.01 and 9.00 to "night" is a [P; Q]-reformulation because stores in Germany are open (usually) from 9.00 through... (Update)
Similar documents (at the sentence level):
72.5%: Analogy in - Erica Melis Problem (Correct)
5.3%: prodigy/analogy: Analogical Reasoning in General Problem Solving - Veloso (1994) (Correct)
5.2%: Theorem Proving by Analogy - A Compelling Example - Melis (1995) (Correct)
Active bibliography (related documents): More All
1.8: A Model of Analogy-Driven Proof-Plan Construction - Melis (1995) (Correct)
1.3: Is analogical problem solving always analogical? The case for.. - Robertson (1997) (Correct)
1.2: Modification in Analogy-Driven Proof-Plan Construction - Melis (1995) (Correct)
Similar documents based on text: More All
0.5: Analogy Makes Proofs Feasible - Melis, Veloso (1994) (Correct)
0.4: A Formal Definition and a Sound Implementation of.. - Costantini, Lanzarone (Correct)
0.3: Two Kinds of Non-Monotonic Analogical Inference - Kerber, Melis (1996) (Correct)
BibTeX entry: (Update)
@misc{ melis-analogy,
author = "Erica Melis and Manuela Veloso",
title = "Analogy in Problem Solving",
url = "citeseer.ist.psu.edu/88636.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
531 Case-Based Reasoning (context) - Kolodner - 1993
371 Explanation-based generalization: A unifying view (context) - Mitchell, Keller et al. - 1986
288 Planning in a hierarchy of abstraction spaces (context) - Sacerdoti - 1974
272 Argonne National Laboratory (context) - McCune, users et al. - 1990
255 Human Problem Solving (context) - Newell, Simon - 1972
226 The use of explicit plans to guide inductive proofs - Bundy - 1988
181 Case-based reasoning: Foundational issues (context) - Aamodt, Plaza - 1994
178 Metaphors We Live By (context) - Lakoff, Johnson - 1980
150 Edinburgh LCF: A Mechanized Logic of Computation (context) - Gordon, Milner et al. - 1979
149 Derivational analogy: A theory of reconstructive problem sol.. (context) - Carbonell - 1986
145 Chunking in SOAR: The anatomy of a general learning mechanis.. (context) - Laird, Rosenbloom et al. - 1986
134 Integrating planning and learning: The PRODIGY architecture - Veloso, Carbonell et al. - 1995
133 Structure mapping: A theoretical framework for analogy (context) - Gentner - 1983
117 Features of similarity (context) - Tversky - 1977
107 Learning by Analogical Reasoning in General Problem Solving (context) - Veloso - 1992
99 Planning and Learning by Analogical Reasoning (context) - Veloso - 1994
85 Achieving several goals simultaneously (context) - Waldinger - 1981
78 Analogical mapping by constraint satisfaction (context) - Holyoak, Thagard - 1989
73 Categories and Concepts (context) - Smith, Medin - 1981
70 Derivational analogy in PRODIGY: Automating case acquisition (context) - Veloso, Carbonell - 1993
66 How to Solve it (context) - Polya - 1957
64 Learning by analogy: Formulating and generalizing plans from.. (context) - Carbonell - 1984
64 Learning by analogy: Formulating and generalizing plans from.. (context) - Carbonell - 1983
63 Theorem proving with abstraction (context) - Plaisted - 1981
50 Automated Reasoning: 33 Basic Research Problems (context) - Wos - 1988
50 The mechanisms of analogical learning (context) - Gentner - 1989
49 Analogy for Automated Reasoning (context) - Owen - 1990
46 Selecting typical instances in instance-based learning (context) - Zhang - 1992
45 Analog retrieval by constraint satisfaction (context) - Thagard, Holyoak et al. - 1990
45 CHEF: A model of case-based planning (context) - Hammond - 1986
42 Using Experience in Learning and Problem Solving - Koton - 1989
42 A model of analogy-driven proof-plan construction - Melis - 1995
41 Computational approaches to analogical reasoning: A comparat.. (context) - Hall - 1989
41 The Structure-Mapping Engine (context) - Falkenhainer, Forbus et al. - 1986
38 North Holland (context) - Leatherdale, of et al. - 1974
37 Learning and reasoning by analogy (context) - Winston - 1980
37 The need for different domainindependent heuristics - Stone, Veloso et al. - 1994
31 A logical approach to reasoning by analogy (context) - Davis, Russell - 1987
30 Analogical problem solving (context) - Gick, Holyoak - 1980
30 Protos: An exemplar-based learning apprentice (context) - Bareiss, Porter et al. - 1987
30 Protos: An exemplar-based learning apprentice (context) - Bareiss, Porter et al. - 1988
29 The Use of Knowledge in Analogy and Induction (context) - Russell - 1989
28 Exemplar-based Knowledge Acquisition: A Unified Approach to .. (context) - Bareiss - 1989
27 A paradigm for reasoning by analogy (context) - Kling - 1971
27 The Psychology of Invention in the Mathematical Field (context) - Hadamard - 1945
27 Schema induction and analogical transfer (context) - Gick, Holyoak - 1983
24 The role of learning from examples in the acquisition of rec.. (context) - Pirolli, Anderson - 1985
24 Flexible strategy learning: Analogical replay of problem sol.. - Veloso - 1994
24 Surface and structural similarity in analogical transfer (context) - Holyoak, Koh - 1987
22 Design by derivational analogy: Issues in the automated repl.. (context) - Mostow - 1989
22 A Review of Industrial CaseBased Reasoning Tools (context) - Althoff, Auriol et al. - 1995
22 Analogical reasoning and proof discovery (context) - Brook, Cooper et al. - 1988
22 The Act of Creation (context) - Koestler - 1964
21 Methods - the basic units for planning and verifying proofs - Huang, Kerber et al. - 1994
20 Incremental structure-mapping (context) - Gentner, Forbus et al. - 1994
20 Analogy as a Means of Discovery in Problem Solving and Learn.. (context) - Munyer - 1981
19 Reconstructive memory: A computer model (context) - Kolodner - 1983
19 Mathematical problem solving by analogy (context) - Novick, Holyoak - 1991
18 Mathematics and Plausible Reasoning (context) - Polya - 1954
17 Retrieving adaptable cases (context) - Smyth, Keane - 1994
17 Prototype classification and logical classification: The two.. (context) - Rosch - 1983
16 Categorization of Natural Objects (context) - Mervis, Rosch - 1981
16 Learning by understanding analogies (context) - Greiner - 1988
15 Analogical Problem Solving (context) - Keane - 1988
15 Similarity and Analogical Reasoning (context) - Vosniadou, Ortony - 1989
15 Second-order matching modulo evaluation -- a technique for r.. (context) - Kolbe, Walther - 1995
15 Synthesis of UNIX programs using derivational analogy - Bhansali, Harandi - 1993
15 Nonanalytic concept formation and memory instances (context) - Brooks - 1978
14 Cognitive Psychology (context) - Rosch - 1973
14 A precondition prover for analogy - Bledsoe - 1995
14 Change of representation in theorem proving by analogy - Melis - 1993
14 Retrieving events from case memory: A parallel implementatio.. (context) - Kolodner - 1988
13 Mental Leaps: Analogy in Creative Thought (context) - Holyoak, Thagard - 1995
12 Towards formalization in case-based reasoning for synthesis - Borner - 1994
11 Flowing waters or teeming crowds: Mental models of electrici.. (context) - Gentner, Gentner - 1983
11 Purpose-directed analogy (context) - Kedar-Cabelli - 1985
11 Models and Analogies in Science (context) - Hesse - 1966
10 System of Logic (context) - Mill - 1973
10 The use of analogy in automatic proof discovery (context) - Bledsoe - 1986
10 volume 99 of Heidelberger Taschenbucher (context) - Deussen, Automaten - 1971
10 Analogical reminding: A good match is hard to find (context) - Gentner, Landers - 1985
10 Outils pour la Preuve par Analogie (context) - Curien - 1995
9 Proof analogy in interactive theorem proving: A method to ex.. (context) - de la, Caferra - 1987
9 Case-Based Reasoning Research and Development (context) - Veloso, Aamodt - 1996
9 Internal analogy: A model of transfer within problems (context) - Hickman, Larkin - 1990
8 How mathematicians prove theorems - Melis - 1994
8 Reasoning by analogy as a partial identity between models (context) - Haraguchi, Arikawa - 1987
8 Systematicity as a selection constraint in analogical mappin.. (context) - Clement, Gentner - 1991
8 Better learners use analogical problem solving sparingly - VanLehn, Jones - 1993
7 Analogies between proofs -- a case study - Melis - 1993
7 Inductive judgements about natural categories (context) - Rips - 1975
7 A validation based theory of plan modification and reuse (context) - Kambhampati, Hendler - 1992
7 Approximate semantic transference: A computational theory of.. (context) - Indurkhya - 1987
7 The pragmatics of analogical transfer (context) - Holyoak - 1985
7 Explanation Patterns (context) - Schank - 1986
6 Proof planning by abstraction - Villafiorita, Sebastiani - 1994
6 Analogy makes proofs feasible - Melis, Veloso - 1994
5 Recent views of conceptual structure (context) - Komatsu - 1992
5 Formal Aspects of Computing (context) - Vadera, analogy - 1995
5 Observed methods for generating analogies in scientific prob.. (context) - Clement - 1988
5 Analogy-driven proof-plan construction (context) - Melis - 1995
5 An overview of the copycat project (context) - Hofstadter, Mitchell - 1991
4 Component processes in analogical reasoning (context) - Sternberg - 1977
4 A sketch of analogy as reasoning with equality hypotheses (context) - Goebel - 1989
4 Psychological Monographs (context) - Duncker, solving - 1945
4 A program for the solution of geometric analogy intelligence.. (context) - Evans - 1986
4 Learning from Physical Analogies: A Study in Analogy and the.. (context) - Falkenhainer - 1989
4 Modes of analogy (context) - Indurkhya - 1989
3 Analogy and other sources of difficulty in novices' very fir.. (context) - Allwood, Eliasson - 1987
3 Analogy by similarity (context) - Russell - 1988
3 The incremental analogy machine (context) - Keane, Brayshaw - 1988
3 Incremental analogizing: Theory and model (context) - Keane - 1990
3 Planning and action (context) - McDermott - 1967
3 Goals in remindings (context) - Seifert - 1988
3 Analogical mapping by dynamic binding: Preliminary investiga.. (context) - Hummel, Burns et al. - 1994
3 Valid reasoning by analogy (context) - Weitzenfeld - 1984
3 The Poetics of Mind: Figurative Thought (context) - Gibbs - 1994
3 A review of mental leaps: Analogy in creative thought (context) - Hofstadter - 1995
2 Replaying Episodes of a Metaphor Application Interface Desig.. (context) - Blumenthal - 1990
2 redescription (context) - O'Hara, of - 1992
2 or directions concerning the interpretation of nature (context) - Bacon, instauration et al. - 1994
2 Relevancy Knowledge and Analogical Reasoning (context) - Huang - 1993
2 Analogical Connections (context) - Holyoak - 1994
2 A hybrid model of continuous analogical reasoning (context) - Eskridge - 1994
2 Study of modes of analogical reasoning (context) - Melis - 1990
1 Principles of Artificial Initelligence (context) - Nilsson - 1980
1 Constraints on spontaneous transfer in problem-solving tasks (context) - Stein, Way et al. - 1986
1 Bionik liefert Problemlosung (context) - Busch, Christmann et al. - 1984
1 Natural semantics ini artificial intelligence (context) - Carbonell, Collins - 1973
1 Kluwer Academic Publisher (context) - Helman - 1988
1 analogies in scientific inquiries (context) - Biela, surfaces - 1985
1 Analogy generation in scientific problem-solving (context) - Clement - 1981
1 Analogical reasoning patterns in expert problem solving (context) - Clement - 1982
1 Goal similarity in analogical problem solving (context) - Burns - 1990
1 Studies of metaphor and complex analogies (context) - Gentner - 1980
1 The greatest analogies in the hstory of science (context) - Thagard - 1993
1 Representational issues in analogical transfer (context) - Seifert, Gray - 1989
1 Using exemplary knowledge for justified analogical reasoning - Kerber, Melis - 1995
1 Die Hauptformen und-regeln der Analogieschlusse (context) - Ujomow - 1967
1 Principles of Database Systems (context) - Ullmann - 1980
1 Memory and Cognition (context) - Novick, problem et al. - 1988
1 Dynamic Memory: A Theory of Learning in People and Computers (context) - Schank - 1982
1 Applications of analogical reasoning (context) - Klein - 1987
1 and case-based reasoning in PATDEX (context) - Richter, Wess et al. - 1991
1 Analogy as a source of science (context) - Lorenz - 1974
1 Analogy in system management (context) - Silverman - 1983
1 Generative metaphor (context) - Schon - 1979
1 The use of analogies in comparability analysis (context) - Klein, Weitzenfeld - 1982
1 Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbe.. (context) - Schwarz - 1986
1 Begabungsforschung- ein neuer Weg in der kognitiven Intellig.. (context) - Klix - 1983
Documents on the same site (http://www.cs.cmu.edu/~mmv/produce-bib.html): More
The CMUnited-98 Champion Small-Robot Team - Veloso, Bowling, Achim, Han, Stone (1999) (Correct)
The CMUnited-97 Small Robot Team - Veloso, Stone, Han, Achim (1998) (Correct)
Efficiency Competition through Representation Changes.. - Smirnov, Veloso (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