Analogy calculus
From MaRDI portal
Publication:1802070
DOI10.1016/0304-3975(93)90002-BzbMATH Open0784.68083OpenAlexW2913641506MaRDI QIDQ1802070FDOQ1802070
Publication date: 27 March 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90002-b
Recommendations
Cites Work
- Title not available (Why is that?)
- Model theory
- Title not available (Why is that?)
- Proof theory. 2nd ed
- Title not available (Why is that?)
- Computational approaches to analogical reasoning: A comparative analysis
- Analogy model and analogy correspondence
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- Intuitive minimal abduction in sequent calculi
- Analogical type theory
- Grammatical Inference: Algorithms and Applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning in symbolic computation
- Analogical program derivation based on type theory
- A computational model of analogical reasoning
Uses Software
This page was built for publication: Analogy calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802070)