No confident code implementation found for this paper. 4 possible matches can be shown below.
This paper develops a {\em qualitative} and logic-based notion of similarity from the ground up using only elementary concepts of first-order logic centered around the fundamental model-theoretic notion of type.
No confident code match yet
We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 4 weaker matches are hidden by default — verify before relying on them.
No code implementations found yet.
Know of an implementation? Let us know in the comments below!
Generalization-baed similarity
Building Intelligent Databases through Similarity: Interaction of Logical and Qualitative Reasoning
Similarity Field Theory: A Mathematical Framework for Intelligence
The Universal Law of Generalization Holds for Naturalistic Stimuli
Similarity-based analogical proportions
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
@article{anti2023logicbased,
title = {Logic-based similarity},
author = {Christian Antić},
year = {2023},
eprint = {2305.00065},
archivePrefix = {arXiv},
url = {http://arxiv.org/abs/2305.00065v1}
}Shows whether official code is linked for this paper.
[](https://codeofpaper.com/paper/2305.00065)