On the public citation graph

The Fuzzy Logic Programming language FASILL: Design and implementation

https://doi.org/10.1016/j.ijar.2020.06.002
0 signed · 91 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/(sici)1097-4571(199610)47:10<790::aid-asi10>3.0.co;2-1openalex-snapshot
Fril?fuzzy and evidential reasoning in artificial intelligence
inferredcites →https://doi.org/10.1002/int.10067openalex-snapshot
A similarity-based resolution rule
inferredcites →https://doi.org/10.1007/3-540-44652-4_66openalex-snapshot
Monotonic and Residuated Logic Programs
inferredcites →https://doi.org/10.1007/978-3-030-00485-9openalex-snapshot
Trends in Mathematics and Computational Intelligence
inferredcites →https://doi.org/10.1007/978-3-030-00485-9_5openalex-snapshot
Symbolic Unfolding of Multi-adjoint Logic Programs
inferredcites →https://doi.org/10.1007/978-3-030-31095-0_14openalex-snapshot
Fuzzy Logic Programming for Tuning Neural Networks
inferredcites →https://doi.org/10.1007/978-3-319-03200-9_22openalex-snapshot
A Fuzzy Approach to Cloud Admission Control for Safe Overbooking
inferredcites →https://doi.org/10.1007/978-3-319-23540-0_26openalex-snapshot
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
inferredcites →https://doi.org/10.1007/978-3-319-61252-2_13openalex-snapshot
An Online Tool for Tuning Fuzzy Logic Programs
inferredcites →https://doi.org/10.1007/978-3-319-63139-4_8openalex-snapshot
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
inferredcites →https://doi.org/10.1007/978-3-319-67582-4_32openalex-snapshot
On Similarity-Based Unfolding
inferredcites →https://doi.org/10.1007/978-3-642-04617-9_55openalex-snapshot
Comparing Unification Algorithms in First-Order Theorem Proving
inferredcites →https://doi.org/10.1007/978-3-642-16111-7openalex-snapshot
KI 2010: Advances in Artificial Intelligence
inferredcites →https://doi.org/10.1007/978-3-642-16289-3_4openalex-snapshot
A Practical Management of Fuzzy Truth-Degrees Using FLOPER
inferredcites →https://doi.org/10.1007/978-3-642-21498-1_54openalex-snapshot
A Static Preprocess for Improving Fuzzy Thresholded Tabulation
inferredcites →https://doi.org/10.1007/978-3-642-22546-8_15openalex-snapshot
A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-33618-8_91openalex-snapshot
A XPath Debugger Based on Fuzzy Chance Degrees
inferredcites →https://doi.org/10.1007/978-3-642-38679-4_65openalex-snapshot
An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation
inferredcites →https://doi.org/10.1007/978-3-642-38682-4_33openalex-snapshot
Annotating “Fuzzy Chance Degrees” When Debugging XPath Queries
inferredcites →https://doi.org/10.1007/978-3-662-45563-0_27openalex-snapshot
Fuzzy XPath Queries in XQuery
inferredcites →https://doi.org/10.1007/s00354-015-0201-yopenalex-snapshot
Fuzzy XPath through Fuzzy Logic Programming
inferredcites →https://doi.org/10.1007/s10579-012-9203-2openalex-snapshot
Classifying unlabeled short texts using a fuzzy declarative approach
inferredcites →https://doi.org/10.1016/0304-3975(93)90208-bopenalex-snapshot
Average-case analysis of unification algorithms
inferredcites →https://doi.org/10.1016/0888-613x(89)90005-4openalex-snapshot
Fundamentals of Fuzzy Prolog
inferredcites →https://doi.org/10.1016/j.entcs.2009.07.063openalex-snapshot
Thresholded Tabulation in a Fuzzy Logic Setting
inferredcites →https://doi.org/10.1016/j.eswa.2018.06.051openalex-snapshot
Fuzzy queries of social networks with FSA-SPARQL
inferredcites →https://doi.org/10.1016/j.fss.2003.10.017openalex-snapshot
Fuzzy Prolog: a new approach using soft constraints propagation
inferredcites →https://doi.org/10.1016/j.fss.2003.11.005openalex-snapshot
Similarity-based unification: a multi-adjoint approach
inferredcites →https://doi.org/10.1016/j.fss.2005.03.013openalex-snapshot
On fuzzy unfolding: A multi-adjoint approach
inferredcites →https://doi.org/10.1016/j.fss.2014.07.006openalex-snapshot
Proximity-based unification theory
inferredcites →https://doi.org/10.1016/j.fss.2016.12.016openalex-snapshot
A sound and complete semantics for a similarity-based logic programming language
inferredcites →https://doi.org/10.1016/j.jlamp.2017.08.002openalex-snapshot
Thresholded semantic framework for a fully integrated fuzzy logic language
inferredcites →https://doi.org/10.1016/s0019-9958(65)90241-xopenalex-snapshot
Fuzzy sets
inferredcites →https://doi.org/10.1016/s0165-0114(01)00106-3openalex-snapshot
Fuzzy logic programming
inferredcites →https://doi.org/10.1016/s0304-3975(01)00188-8openalex-snapshot
Approximate reasoning by similarity-based SLD resolution
inferredcites →https://doi.org/10.1017/s1471068411000500openalex-snapshot
XSB: Extending Prolog with Tabled Logic Programming
inferredcites →https://doi.org/10.1080/00207160.2014.975218openalex-snapshot
Beyond multi-adjoint logic programming
inferredcites →https://doi.org/10.1109/fuzz-ieee.2015.7337931openalex-snapshot
A cloud scheduler assisted by a fuzzy affinity-aware engine
inferredcites →https://doi.org/10.1109/fuzz-ieee.2015.7338027openalex-snapshot
Thresholded debugging of XPath queries
inferredcites →https://doi.org/10.1109/fuzz-ieee.2016.7737692openalex-snapshot
Debugging while interpreting fuzzy XPath queries
inferredcites →https://doi.org/10.1109/fuzz-ieee.2017.8015411openalex-snapshot
A fuzzy extension of SPARQL based on fuzzy sets and aggregators
inferredcites →https://doi.org/10.1109/fuzz-ieee.2018.8491504openalex-snapshot
FASILL: Fuzzy Correct Answers and Soundness⋆
inferredcites →https://doi.org/10.1109/fuzz-ieee.2018.8491593openalex-snapshot
An Efficient Proximity-based Unification Algorithm⋆
inferredcites →https://doi.org/10.1109/fuzz-ieee.2019.8858958openalex-snapshot
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
inferredcites →https://doi.org/10.1109/fuzz.2001.1009038openalex-snapshot
Similarity-based SLD resolution and its implementation in an extended Prolog system
inferredcites →https://doi.org/10.1109/fuzz11287.2006openalex-snapshot
2006 IEEE International Conference on Fuzzy Systems
inferredcites →https://doi.org/10.1109/fuzzy.2006.1681978openalex-snapshot
A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations
inferredcites →https://doi.org/10.1109/iccac.2015.14openalex-snapshot
Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler
inferredcites →https://doi.org/10.1109/iccac33784.2014openalex-snapshot
2014 International Conference on Cloud and Autonomic Computing
inferredcites →https://doi.org/10.1109/mci.2014.2351332openalex-snapshot
2015 IEEE International Conference on Fuzzy Systems
inferredcites →https://doi.org/10.1109/mci.2016.2545826openalex-snapshot
The 2017 IEEE International Conference on Fuzzy Systems
inferredcites →https://doi.org/10.1109/mci.2017.2742877openalex-snapshot
2019 IEEE International Conference on Fuzzy Systems
inferredcites →https://doi.org/10.1109/mci.2018.2881650openalex-snapshot
2019 IEEE Symposium Series on Computational Intelligence
inferredcites →https://doi.org/10.1109/ssci.2015.145openalex-snapshot
Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments
inferredcites →https://doi.org/10.1109/ssci.2017.8280961openalex-snapshot
Testing properties of fuzzy connectives and truth degrees with the latticemaker tool
inferredcites →https://doi.org/10.1109/ssci.2018.8628871openalex-snapshot
Smart Design of Similarity Relations for Fuzzy Logic Programming Environments
inferredcites →https://doi.org/10.1109/tfuzz.2002.800654openalex-snapshot
Algorithms for the computation of T-transitive closures
inferredcites →https://doi.org/10.1109/tfuzz.2020.2973129openalex-snapshot
Proximity-Based Unification: An Efficient Implementation Method
inferredcites →https://doi.org/10.1109/tnnls.2015.2479518openalex-snapshot
2015 IEEE Symposium Series on Computational Intelligence
inferredcites →https://doi.org/10.1109/tsmc.1974.4309345openalex-snapshot
Fuzzy Chains
inferredcites →https://doi.org/10.1145/234528.234529openalex-snapshot
Rules and strategies for transforming functional and logic programs
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/321978.321991openalex-snapshot
The Semantics of Predicate Logic as a Programming Language
inferredcites →https://doi.org/10.1145/322326.322339openalex-snapshot
Contributions to the Theory of Logic Programming
inferredcites →https://doi.org/10.1145/331697.331740openalex-snapshot
Using fuzzy grammars for the evaluation of SGML -based documents
inferredcites →https://doi.org/10.1145/357162.357169openalex-snapshot
An Efficient Unification Algorithm
inferredcites →https://doi.org/10.14279/tuj.eceasst.64.991openalex-snapshot
Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT
inferredcites →https://doi.org/10.3217/jucs-012-11-1679openalex-snapshot
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
inferredcites →https://doi.org/10.3233/fi-2000-41402openalex-snapshot
Similarity-based Unification
inferredcites →https://doi.org/10.3233/ifs-130834openalex-snapshot
A Fuzzy linguistic prolog and its applications
inferredcites →https://doi.org/10.3233/ifs-151645openalex-snapshot
Incorporation of abstraction capability in a logic-based framework by using proximity relations
inferredcites →https://doi.org/10.4204/eptcs.173.6openalex-snapshot
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
inferredcites →https://doi.org/10.4236/jsea.2014.74028openalex-snapshot
Fuzzy Logic Programming in Action with FLOPER

What points at this work

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

inferred← citeshttps://doi.org/10.2139/ssrn.4465421openalex-extracted
Logic Programming on Knowledge Graph Networks and its Application in Medical Domain
inferred← citeshttps://doi.org/10.1002/mma.10542openalex-snapshot
Computational reaching of quantified consequences from imperfect initial data
inferred← citeshttps://doi.org/10.1007/978-3-031-81596-6_3openalex-snapshot
Functional Based Fuzzy Logic Query Library
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-032-32592-1_22openalex-snapshot
Implementing Fuzzy OSF Logic Unification and Normalization (Short Paper)
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.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.fss.2026.109801openalex-snapshot
Operational semantics on arbitrary first-order fuzzy logic programming
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.109038openalex-snapshot
Seeking a safe and efficient similarity-based unfolding rule
inferred← citeshttps://doi.org/10.1016/j.ijar.2024.109209openalex-snapshot
Tuning fuzzy SPARQL queries
inferred← citeshttps://doi.org/10.1016/j.jlamp.2024.101020openalex-snapshot
Tuning similarity-based fuzzy logic programs
inferred← citeshttps://doi.org/10.1016/j.jlamp.2026.101144openalex-snapshot
Fuzzy similarity and proximity constraint solving in theories with unordered symbols
inferred← citeshttps://doi.org/10.1109/fuzz62266.2025.11152220openalex-snapshot
Similarity-Based Constraint Solving Modulo Commutativity: A Unified Framework
inferred← citeshttps://doi.org/10.1109/tfuzz.2024.3362897openalex-snapshot
Similarity-Based Reasoning With Order-Sorted Feature Logic
inferred← citeshttps://doi.org/10.3390/drones9050380openalex-snapshot
Collision Detection and Recovery Control of Drones Using Onboard Inertial Measurement Unit
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.