Pages that link to "Item:Q2549584"
From MaRDI portal
The following pages link to A paradigm for reasoning by analogy (Q2549584):
Displaying 16 items.
- Octopus: combining learning and parallel search (Q861370) (← links)
- Computational approaches to analogical reasoning: A comparative analysis (Q1118423) (← links)
- Inductive reasoning on recursive equations (Q1136246) (← links)
- Theorem proving with abstraction (Q1149799) (← links)
- Approximate reasoning by analogy to answer null queries (Q1176174) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Some ideas of semantic memory in automatic learning of heuristics (Q1394136) (← links)
- Proof by analogy in mural (Q1898818) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- From analogical proportion to logical proportions (Q2254553) (← links)
- An application of learning to robotic planning (Q3049837) (← links)
- Handling Analogical Proportions in Classical Logic and Fuzzy Logics Settings (Q3638186) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)
- Building proofs or counterexamples by analogy in a resolution framework (Q5235252) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)
