On the public citation graph

A similarity-based resolution rule

https://doi.org/10.1002/int.10067
0 signed · 46 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/(issn)1521-3870openalex-snapshot
Mathematical Logic Quarterly
inferredcites →https://doi.org/10.1002/malq.19940400306openalex-snapshot
An Extension Principle for Fuzzy Logics
inferredcites →https://doi.org/10.1007/978-1-4615-5261-1_2openalex-snapshot
Similarity in Logic Programming
inferredcites →https://doi.org/10.1007/bf00881864openalex-snapshot
Fuzzy operator logic and fuzzy resolution
inferredcites →https://doi.org/10.1016/0165-0114(87)90110-2openalex-snapshot
Evidential support logic programming
inferredcites →https://doi.org/10.1109/69.273026openalex-snapshot
Automated reasoning using possibilistic logic: semantics, belief revision, and variable certainty weights
inferredcites →https://doi.org/10.1109/fuzzy.1992.258750openalex-snapshot
Discriminated answers and databases: fuzzy sets as a unifying expression means
inferredcites →https://doi.org/10.1109/fuzzy.1995.409796openalex-snapshot
Fuzzy Prolog based on Lukasiewicz implication and bounded product
inferredcites →https://doi.org/10.1145/298151.298348openalex-snapshot
Likelog
inferredcites →https://doi.org/10.1145/321250.321253openalex-snapshot
A Machine-Oriented Logic Based on the Resolution Principle
inferredcites →https://doi.org/10.1145/321679.321688openalex-snapshot
Fuzzy Logic and the Resolution Principle
inferredcites →https://doi.org/10.1145/322217.322218openalex-snapshot
A Note on Fuzzy Deduction
inferredcites →https://doi.org/10.1145/357162.357169openalex-snapshot
An Efficient Unification Algorithm

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-56356-1_6openalex-snapshot
Extending the $$\rho $$Log Calculus with Proximity Relations
inferred← citeshttps://doi.org/10.1007/978-3-032-04848-6_5openalex-snapshot
Higher-Order Pattern Unification Modulo Similarity Relations
inferred← citeshttps://doi.org/10.1007/978-3-319-06323-2_23openalex-snapshot
Fuzzy Resolution with Similarity-Based Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-319-23540-0_26openalex-snapshot
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
inferred← citeshttps://doi.org/10.1007/978-3-642-02478-8_31openalex-snapshot
A Similarity-Based WAM for Bousi~Prolog
inferred← citeshttps://doi.org/10.1007/978-3-642-21498-1_53openalex-snapshot
A Sound Semantics for a Similarity-Based Logic Programming Language
inferred← citeshttps://doi.org/10.1007/s10559-019-00125-8openalex-snapshot
Proof of Theorems in Fuzzy Logic Based on Structural Resolution
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.064openalex-snapshot
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
inferred← citeshttps://doi.org/10.1016/j.eswa.2022.118858openalex-snapshot
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
inferred← citeshttps://doi.org/10.1016/j.fss.2014.07.006openalex-snapshot
Proximity-based unification theory
inferred← citeshttps://doi.org/10.1016/j.fss.2016.12.016openalex-snapshot
A sound and complete semantics for a similarity-based logic programming language
inferred← citeshttps://doi.org/10.1016/j.fss.2023.03.013openalex-snapshot
Some properties of substitutions in the framework of similarity relations
inferred← citeshttps://doi.org/10.1016/j.fss.2023.108800openalex-snapshot
Fuzzy order-sorted feature logic
inferred← citeshttps://doi.org/10.1016/j.ijar.2020.06.002openalex-snapshot
The Fuzzy Logic Programming language FASILL: Design and implementation
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.08.002openalex-snapshot
Thresholded semantic framework for a fully integrated fuzzy logic language
inferred← citeshttps://doi.org/10.1017/s1471068412000014openalex-snapshot
A Transformation-based implementation for CLP with qualification and proximity
inferred← citeshttps://doi.org/10.1017/s1471068421000028openalex-snapshot
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
inferred← citeshttps://doi.org/10.1017/s1471068421000405openalex-snapshot
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog
inferred← citeshttps://doi.org/10.1109/ccwc47524.2020.9031187openalex-snapshot
A Fuzzy Linguistic Programming for Sustainable Ecotourism Activities
inferred← citeshttps://doi.org/10.1109/fuzz-ieee.2018.8491593openalex-snapshot
An Efficient Proximity-based Unification Algorithm⋆
inferred← citeshttps://doi.org/10.1109/fuzz45933.2021.9494438openalex-snapshot
Proximity-Based Unification and Matching for Fully Fuzzy Signatures
inferred← citeshttps://doi.org/10.1109/fuzzy.2010.5584193openalex-snapshot
An efficient fuzzy unification method and its implementation into the Bousi~Prolog system
inferred← citeshttps://doi.org/10.1109/nafips.2012.6291062openalex-snapshot
Approximate reasoning in fuzzy resolution
inferred← citeshttps://doi.org/10.1109/siu53274.2021.9477780openalex-snapshot
Fuzzy Linguistic Prolog on Route Prioritisation
inferred← citeshttps://doi.org/10.1109/tfuzz.2018.2806923openalex-snapshot
A Fuzzy Datalog Deductive Database System
inferred← citeshttps://doi.org/10.1109/tfuzz.2020.2973129openalex-snapshot
Proximity-Based Unification: An Efficient Implementation Method
inferred← citeshttps://doi.org/10.1109/tfuzz.2024.3362897openalex-snapshot
Similarity-Based Reasoning With Order-Sorted Feature Logic
inferred← citeshttps://doi.org/10.1145/1599410.1599430openalex-snapshot
A declarative semantics for Bousi~Prolog
inferred← citeshttps://doi.org/10.30564/jcsr.v5i3.5575openalex-snapshot
Similarity Intelligence: Similarity Based Reasoning, Computing, and Analytics
inferred← citeshttps://doi.org/10.4204/eptcs.173.6openalex-snapshot
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
inferred← citeshttps://doi.org/10.4236/ijis.2013.32010openalex-snapshot
Approximate Reasoning in Fuzzy Resolution
inferred← citeshttps://doi.org/10.48550/arxiv.1201.5418openalex-snapshot
A Transformation-based Implementation for CLP with Qualification and Proximity
inferred← citeshttps://doi.org/10.5220/0003079200930098openalex-snapshot
BOUSI∼PROLOG - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.