On the public citation graph
Fuzzy Logic and the Resolution Principle
0 signed · 311 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/0022-247x(68)90057-7openalex-snapshot
Fuzzy topological spaces
inferredcites →https://doi.org/10.1016/0022-247x(68)90110-8openalex-snapshot
Stability of stochastic discrete systems
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50019-2openalex-snapshot
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This…
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferredcites →https://doi.org/10.1016/c2009-0-22103-9openalex-snapshot
Symbolic Logic and Mechanical Theorem Proving
inferredcites →https://doi.org/10.1016/s0019-9958(71)90684-xopenalex-snapshot
Some properties of fuzzy logic
inferredcites →https://doi.org/10.1090/s0002-9947-1958-0094302-9openalex-snapshot
Algebraic Analysis of Many Valued Logics
inferredcites →https://doi.org/10.1109/t-c.1969.222662openalex-snapshot
Fuzzy Logic and its Application to Switching Systems
inferredcites →https://doi.org/10.1109/tc.1972.5008946openalex-snapshot
On the Execution of Fuzzy Programs Using Finite-State Machines
inferredcites →https://doi.org/10.1111/j.1468-0149.1968.tb00352.xopenalex-snapshot
AN INTRODUCTION TO MANY‐VALUED LOGICS
inferredcites →https://doi.org/10.1111/j.1949-8594.1941.tb04303.xopenalex-snapshot
MANY‐VALUED LOGICS*
inferredcites →https://doi.org/10.1145/1056578.1056583openalex-snapshot
Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
inferredcites →https://doi.org/10.1145/321033.321034openalex-snapshot
A Computing Procedure for Quantification Theory
inferredcites →https://doi.org/10.1145/321250.321253openalex-snapshot
A Machine-Oriented Logic Based on the Resolution Principle
inferredcites →https://doi.org/10.1145/321592.321604openalex-snapshot
Interpolation Theorems for Resolution in Lower Predicate Calculus
inferredcites →https://doi.org/10.21236/ada459656openalex-snapshot
Application of Theorem Proving to Problem Solving
inferredcites →https://doi.org/10.2307/2217522openalex-snapshot
An Introduction to Many-Valued Logics
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/int.4550030204openalex-snapshot
The treatment of uncertainty in knowledge-based systems using fuzzy sets and possibility theory
inferred← citeshttps://doi.org/10.1002/int.4550050404openalex-snapshot
Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example
inferred← citeshttps://doi.org/10.1002/int.4550050405openalex-snapshot
Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example
inferred← citeshttps://doi.org/10.1007/10720181_7openalex-snapshot
Soft Computing for Intelligent Knowledge-Based Systems
inferred← citeshttps://doi.org/10.1007/11676935_11openalex-snapshot
Programming with Fuzzy Logic and Mathematical Functions
inferred← citeshttps://doi.org/10.1007/3-540-36078-6_30openalex-snapshot
Fuzzy Prolog: A Simple General Implementation Using (R)
inferred← citeshttps://doi.org/10.1007/3-540-44652-4_67openalex-snapshot
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants
inferred← citeshttps://doi.org/10.1007/3-540-45554-x_57openalex-snapshot
λ-Level Rough Equality Relation and the Inference of Rough Paramodulation
inferred← citeshttps://doi.org/10.1007/3-540-48912-6_37openalex-snapshot
An Induction Algorithm Based on Fuzzy Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-50171-1_6openalex-snapshot
On the semantics of rule-based expert systems with uncertainty
inferred← citeshttps://doi.org/10.1007/3-540-53104-1_41openalex-snapshot
Resolution-based reasoning for fuzzy logic
inferred← citeshttps://doi.org/10.1007/3-540-54712-6_256openalex-snapshot
Truth maintenance in approximate reasoning
inferred← citeshttps://doi.org/10.1007/3-540-56735-6_47openalex-snapshot
Integrating resolution—like procedures with Lukasiewicz implication
inferred← citeshttps://doi.org/10.1007/3-540-58095-6_5openalex-snapshot
Automated reasoning with uncertainties
inferred← citeshttps://doi.org/10.1007/3-540-58495-1_8openalex-snapshot
Signed formulas and fuzzy operator logics
inferred← citeshttps://doi.org/10.1007/3-540-61286-6_148openalex-snapshot
A sound and complete fuzzy logic system using Zadeh's implication operator
inferred← citeshttps://doi.org/10.1007/978-0-585-34652-6_19openalex-snapshot
Fuzzy Petri Nets and Applications
inferred← citeshttps://doi.org/10.1007/978-1-4419-1636-5_8openalex-snapshot
Filtering Order Adaptation Based on Attractor Selection for Data Broadcasting System
inferred← citeshttps://doi.org/10.1007/978-1-4613-3947-2_3openalex-snapshot
An Example of Linguistic Modelling: A Second Attempt at Simulation of Mulder’s Theory of Power
inferred← citeshttps://doi.org/10.1007/978-1-4615-5243-7_1openalex-snapshot
Introduction: Fuzzy Sets in Approximate Reasoning and Intelligent Information Systems Technology
inferred← citeshttps://doi.org/10.1007/978-1-4615-5243-7_2openalex-snapshot
Fuzzy Sets and Possibility Theory in Approximate and Plausible Reasoning
inferred← citeshttps://doi.org/10.1007/978-1-4615-5243-7_3openalex-snapshot
Weighted Inference Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-5617-6_7openalex-snapshot
Mirlog: A Logic for Multimedia Information Retrieval
inferred← citeshttps://doi.org/10.1007/978-1-4684-3384-5_8openalex-snapshot
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases
inferred← citeshttps://doi.org/10.1007/978-1-84800-175-6_3openalex-snapshot
Reliability and Performance in Engineering Design
inferred← citeshttps://doi.org/10.1007/978-3-030-00485-9_5openalex-snapshot
Symbolic Unfolding of Multi-adjoint Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-20518-8_40openalex-snapshot
An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-23756-1_41openalex-snapshot
Modularization Challenges in Prolog: What to Divide and Conquer in AI
inferred← citeshttps://doi.org/10.1007/978-3-030-31095-0_14openalex-snapshot
Fuzzy Logic Programming for Tuning Neural Networks
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-030-97057-4_2openalex-snapshot
Methodology for Assessing the Risk Level of a Technical Re-equipment Project Based on Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-47240-4_28openalex-snapshot
Neural Multi-hop Logical Query Answering with Concept-Level Answers
inferred← citeshttps://doi.org/10.1007/978-3-319-02741-8_28openalex-snapshot
Resolution in Linguistic Propositional Logic Based on Linear Symmetrical Hedge Algebra
inferred← citeshttps://doi.org/10.1007/978-3-319-03200-9_12openalex-snapshot
Towards Categorical Fuzzy Logic Programming
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-08795-5_36openalex-snapshot
Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra
inferred← citeshttps://doi.org/10.1007/978-3-319-57264-2_2openalex-snapshot
Application of Risk Theory Approach to Fuzzy Abduction
inferred← citeshttps://doi.org/10.1007/978-3-319-61252-2_13openalex-snapshot
An Online Tool for Tuning Fuzzy Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-63139-4_8openalex-snapshot
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-74681-4_5openalex-snapshot
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-30227-8_33openalex-snapshot
Transforming Fuzzy Description Logics into Classical Description Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-30557-6_15openalex-snapshot
Solving Collaborative Fuzzy Agents Problems with CLP( $\mathcal{FD}$ )
inferred← citeshttps://doi.org/10.1007/978-3-540-39592-8_55openalex-snapshot
Towards the Theory of Relaxed Unification
inferred← citeshttps://doi.org/10.1007/978-3-540-48061-7_37openalex-snapshot
Incorporating Fuzzy Set Theory and Matrix Logic in Multi-layer Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-48765-4_56openalex-snapshot
Why Ontologies Are Not Enough for Knowledge Sharing
inferred← citeshttps://doi.org/10.1007/978-3-540-72434-6_64openalex-snapshot
Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-02478-8_34openalex-snapshot
RFuzzy: An Expressive Simple Fuzzy Compiler
inferred← citeshttps://doi.org/10.1007/978-3-642-14055-6_12openalex-snapshot
Similarity-Based Equality with Lazy Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-642-24672-2_11openalex-snapshot
The Role of Synonymy and Antonymy in ’Natural’ Fuzzy Prolog
inferred← citeshttps://doi.org/10.1007/978-3-642-27534-0_15openalex-snapshot
A Fuzzy Approach to Resource Aware Automatic Parallelization
inferred← citeshttps://doi.org/10.1007/978-3-642-40769-7_36openalex-snapshot
Declarative Fuzzy Linguistic Queries on Relational Databases
inferred← citeshttps://doi.org/10.1007/978-3-642-78694-5_12openalex-snapshot
ConFuP — A Concurrent Logic Language with Fuzzy Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-84218-4_24openalex-snapshot
Expert Systems: A Database Perspective
inferred← citeshttps://doi.org/10.1007/978-94-009-5044-3_2openalex-snapshot
Theoretical Issues of Logic Programming
inferred← citeshttps://doi.org/10.1007/978-94-010-1161-7_7openalex-snapshot
A Survey of Many-Valued Logic (1966–1974)
inferred← citeshttps://doi.org/10.1007/978-94-010-9910-3_35openalex-snapshot
Gentzen-Like Random Axiomatic Systems
inferred← citeshttps://doi.org/10.1007/978-94-011-0215-5_11openalex-snapshot
Prolog extensions to many-valued logics
inferred← citeshttps://doi.org/10.1007/978-94-011-2014-2_1openalex-snapshot
Nonmonotonicity, Fuzziness, and Multi-Values
inferred← citeshttps://doi.org/10.1007/978-94-011-2560-4_7openalex-snapshot
Predicate Logic and Inexact Reasoning
inferred← citeshttps://doi.org/10.1007/978-94-017-0452-6_5openalex-snapshot
Advanced Many-Valued Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-0464-9_6openalex-snapshot
Logic as General Rationality: A Survey
inferred← citeshttps://doi.org/10.1007/978-94-017-1652-9_1openalex-snapshot
Introduction: Bridging the Gap between Multiple-Valued Logics, Fuzzy Logic, Uncertain Reasoning and Reasoning about Knowledge
inferred← citeshttps://doi.org/10.1007/978-94-017-1652-9_4openalex-snapshot
A Resolution-Based Axiomatisation of ‘Bold’ Propositional Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-1737-3_5openalex-snapshot
Possibilistic Logic: Complexity and Algorithms
inferred← citeshttps://doi.org/10.1007/978-981-13-1654-8_2openalex-snapshot
Background: Fuzzy Rule Interpolation
inferred← citeshttps://doi.org/10.1007/bf00351937openalex-snapshot
Some notes concerning fuzzy logics
inferred← citeshttps://doi.org/10.1007/bf00485448openalex-snapshot
Numerical evaluation of the validity of experimental proofs in biology
inferred← citeshttps://doi.org/10.1007/bf00881864openalex-snapshot
Fuzzy operator logic and fuzzy resolution
inferred← citeshttps://doi.org/10.1007/bf02121265openalex-snapshot
Fuzzy propositional logic. Algebraic approach
inferred← citeshttps://doi.org/10.1007/bf02191743openalex-snapshot
Linear programming based decomposition approach in evaluating priorities from pairwise comparisons and error analysis
inferred← citeshttps://doi.org/10.1007/bf02917044openalex-snapshot
Limitations of quantitative operator fuzzy logic
inferred← citeshttps://doi.org/10.1007/bf03037082openalex-snapshot
Prolog-ELF incorporating fuzzy logic
inferred← citeshttps://doi.org/10.1007/bfb0028108openalex-snapshot
On the notion of uncertain belief revision systems
inferred← citeshttps://doi.org/10.1007/bfb0035976openalex-snapshot
Efficient interpretation of prepositional multiple-valued logic programs
inferred← citeshttps://doi.org/10.1007/bfb0037031openalex-snapshot
A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision
inferred← citeshttps://doi.org/10.1007/s00354-015-0201-yopenalex-snapshot
Fuzzy XPath through Fuzzy Logic Programming
inferred← citeshttps://doi.org/10.1007/s00500-002-0188-4openalex-snapshot
Mobile mail-agents through similarity-based reasoning
inferred← citeshttps://doi.org/10.1007/s00500-012-0860-2openalex-snapshot
General form of α-resolution principle for linguistic truth-valued lattice-valued logic
inferred← citeshttps://doi.org/10.1007/s10700-009-9053-6openalex-snapshot
Foundation of credibilistic logic
inferred← citeshttps://doi.org/10.1007/s11135-016-0453-8openalex-snapshot
Fuzzy logic programming based knowledge analysis for qualitative comparative analysis
inferred← citeshttps://doi.org/10.1007/s12652-017-0465-9openalex-snapshot
Uncertain random logic and uncertain random entailment
inferred← citeshttps://doi.org/10.1016/0005-1098(75)90064-3openalex-snapshot
Round table discussion on the estimation and control in fuzzy environments
inferred← citeshttps://doi.org/10.1016/0020-0190(91)90114-wopenalex-snapshot
A Fuzzy Petri Net for knowledge representation and reasoning
inferred← citeshttps://doi.org/10.1016/0020-0255(75)90017-1openalex-snapshot
The concept of a linguistic variable and its application to approximate reasoning-III
inferred← citeshttps://doi.org/10.1016/0020-0255(75)90036-5openalex-snapshot
The concept of a linguistic variable and its application to approximate reasoning—I
inferred← citeshttps://doi.org/10.1016/0020-0255(75)90046-8openalex-snapshot
The concept of a linguistic variable and its application to approximate reasoning—II
inferred← citeshttps://doi.org/10.1016/0020-0255(91)90033-qopenalex-snapshot
λ-Resolution and interpretation of λ-implication in fuzzy operator logic
inferred← citeshttps://doi.org/10.1016/0020-0255(93)90029-lopenalex-snapshot
Free fuzzy modules and their bases
inferred← citeshttps://doi.org/10.1016/0020-7101(74)90016-6openalex-snapshot
Theory development in medical decision-making
inferred← citeshttps://doi.org/10.1016/0022-247x(87)90248-4openalex-snapshot
Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets
inferred← citeshttps://doi.org/10.1016/0066-4138(73)90001-3openalex-snapshot
Automatic theorem proving based on resolution
inferred← citeshttps://doi.org/10.1016/0165-0114(80)90053-6openalex-snapshot
Fuzzy propositional logics
inferred← citeshttps://doi.org/10.1016/0165-0114(80)90054-8openalex-snapshot
Axiomatic approach to implication for approximate reasoning with fuzzy logic
inferred← citeshttps://doi.org/10.1016/0165-0114(81)90014-2openalex-snapshot
On the inclusiveness of information retrieval systems with documents indexed by weighted descriptors
inferred← citeshttps://doi.org/10.1016/0165-0114(87)90104-7openalex-snapshot
The implementation of Fprolog—A fuzzy Prolog interpreter
inferred← citeshttps://doi.org/10.1016/0165-0114(91)90028-oopenalex-snapshot
Fuzzy term-rewriting system
inferred← citeshttps://doi.org/10.1016/0165-0114(91)90051-qopenalex-snapshot
Fuzzy sets in approximate reasoning, Part 2: logical approaches
inferred← citeshttps://doi.org/10.1016/0165-0114(92)90339-6openalex-snapshot
Free fuzzy groups and fuzzy group presentations
inferred← citeshttps://doi.org/10.1016/0165-0114(93)90284-oopenalex-snapshot
Fuzzy propositional logic
inferred← citeshttps://doi.org/10.1016/0165-0114(94)90230-5openalex-snapshot
Approximate reasoning based on generalized disjunctive syllogism
inferred← citeshttps://doi.org/10.1016/0167-9236(86)90031-xopenalex-snapshot
Computer based support of reasoning in the presence of fuzziness
inferred← citeshttps://doi.org/10.1016/0306-4573(76)90004-2openalex-snapshot
A fuzzy model of document retrieval systems
inferred← citeshttps://doi.org/10.1016/0888-613x(89)90005-4openalex-snapshot
Fundamentals of Fuzzy Prolog
inferred← citeshttps://doi.org/10.1016/0888-613x(90)90006-nopenalex-snapshot
Resolution principles in possibilistic logic
inferred← citeshttps://doi.org/10.1016/0950-7051(91)90045-4openalex-snapshot
Towards a fuzzy logic programming system: a fuzzy propositional logic
inferred← citeshttps://doi.org/10.1016/0950-7051(92)90001-vopenalex-snapshot
Towards a fuzzy-logic programming system: a 1st-order fuzzy logic
inferred← citeshttps://doi.org/10.1016/0950-7051(95)96214-copenalex-snapshot
Towards a fuzzy logic programming system: a clausal form fuzzy logic
inferred← citeshttps://doi.org/10.1016/b978-0-08-017806-6.50009-2openalex-snapshot
Automatic Theorem Proving Based on Resolution
inferred← citeshttps://doi.org/10.1016/b978-0-12-299680-1.50029-xopenalex-snapshot
LOGICAL INFERENCE AS AN AID TO ANALYSIS IN LARGE DATABASES
inferred← citeshttps://doi.org/10.1016/b978-0-12-775260-0.50009-8openalex-snapshot
FUZZINESS IN INFORMATIVE LOGICS
inferred← citeshttps://doi.org/10.1016/b978-0-12-775260-0.50025-6openalex-snapshot
BIBLIOGRAPHY ON FUZZY SETS AND THEIR APPLICATIONS
inferred← citeshttps://doi.org/10.1016/b978-0-444-70396-5.50034-0openalex-snapshot
Generalizing Fuzzy Logic Probabilistic Inferences
inferred← citeshttps://doi.org/10.1016/b978-0-7204-0406-7.50022-3openalex-snapshot
variable-valued logic and its applications to pattern recognition and machine learning
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1450-4.50050-xopenalex-snapshot
Fundamentals of Fuzzy Prolog
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1450-4.50052-3openalex-snapshot
Fuzzy and Probability Uncertainty Logics
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1450-4.50054-7openalex-snapshot
AXIOMATIC APPROACH TO IMPLICATION FOR APPROXIMATE REASONING WITH FUZZY LOGIC
inferred← citeshttps://doi.org/10.1016/b978-1-55860-203-8.50018-8openalex-snapshot
A REASON MAINTENANCE SYSTEM DEALING WITH VAGUE DATA
inferred← citeshttps://doi.org/10.1016/j.engappai.2011.07.003openalex-snapshot
resolution method for a lattice-valued first-order logic
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.01.040openalex-snapshot
Unfolding-based Improvements on Fuzzy Logic Programs
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.10.032openalex-snapshot
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
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.entcs.2011.12.002openalex-snapshot
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
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.2003.06.010openalex-snapshot
Graded many-valued resolution with aggregation
inferred← citeshttps://doi.org/10.1016/j.fss.2003.10.004openalex-snapshot
Combining agent technology and similarity-based reasoning for targeted E-mail services
inferred← citeshttps://doi.org/10.1016/j.fss.2003.10.011openalex-snapshot
Possibilistic logic: a retrospective and prospective view
inferred← citeshttps://doi.org/10.1016/j.fss.2003.10.017openalex-snapshot
Fuzzy Prolog: a new approach using soft constraints propagation
inferred← citeshttps://doi.org/10.1016/j.fss.2003.10.018openalex-snapshot
Similarity-based SLD resolution and its role for web knowledge discovery
inferred← citeshttps://doi.org/10.1016/j.fss.2005.10.008openalex-snapshot
Fuzzy logic from the viewpoint of machine intelligence
inferred← citeshttps://doi.org/10.1016/j.fss.2008.11.028openalex-snapshot
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
inferred← citeshttps://doi.org/10.1016/j.fss.2014.07.006openalex-snapshot
Proximity-based unification theory
inferred← citeshttps://doi.org/10.1016/j.fss.2015.07.007openalex-snapshot
Pavelka-style fuzzy logic in retrospect and prospect
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.ijar.2020.06.002openalex-snapshot
The Fuzzy Logic Programming language FASILL: Design and implementation
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.108995openalex-snapshot
An empirically supported approach to the treatment of imprecision in vague reasoning
inferred← citeshttps://doi.org/10.1016/j.ins.2010.03.024openalex-snapshot
Determination of α-resolution in lattice-valued first-order logic LF(X)
inferred← citeshttps://doi.org/10.1016/j.ins.2010.07.033openalex-snapshot
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog
inferred← citeshttps://doi.org/10.1016/j.jalgor.2007.04.003openalex-snapshot
A normal form which preserves tautologies and contradictions in a class of fuzzy logics
inferred← citeshttps://doi.org/10.1016/s0019-9958(78)90165-1openalex-snapshot
Fuzzy and probability uncertainty logics
inferred← citeshttps://doi.org/10.1016/s0020-0255(00)00069-4openalex-snapshot
α-Resolution principle based on lattice-valued propositional logic LP(X)
inferred← citeshttps://doi.org/10.1016/s0020-0255(01)00065-2openalex-snapshot
α-Resolution principle based on first-order lattice-valued logic LF(X)
inferred← citeshttps://doi.org/10.1016/s0020-0255(96)00137-5openalex-snapshot
A fuzzy approach to mapping problems
inferred← citeshttps://doi.org/10.1016/s0020-7373(74)80017-9openalex-snapshot
Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets
inferred← citeshttps://doi.org/10.1016/s0020-7373(76)80027-2openalex-snapshot
Foundations of fuzzy reasoning
inferred← citeshttps://doi.org/10.1016/s0020-7373(77)80042-4openalex-snapshot
The fuzzy decade: a bibliography of fuzzy systems and closely related topics
inferred← citeshttps://doi.org/10.1016/s0020-7373(79)80030-9openalex-snapshot
A model of fuzzy reasoning through multi-valued logic and set theory
inferred← citeshttps://doi.org/10.1016/s0020-7373(80)80053-8openalex-snapshot
On foundations of reasoning with uncertain facts and vague concepts
inferred← citeshttps://doi.org/10.1016/s0020-7373(81)80039-9openalex-snapshot
Outline of a fuzzy logic approach to information retrieval
inferred← citeshttps://doi.org/10.1016/s0020-7373(83)80019-4openalex-snapshot
Generalized Boolean methods of information retrieval
inferred← citeshttps://doi.org/10.1016/s0020-7373(87)80026-3openalex-snapshot
A tentative comparison of numerical approximate reasoning methodologies
inferred← citeshttps://doi.org/10.1016/s0076-5392(09)60143-0openalex-snapshot
Multivalent and Fuzzy Logics
inferred← citeshttps://doi.org/10.1016/s0165-0114(83)80113-4openalex-snapshot
A theoretical background for applying fuzzy set theory in information retrieval
inferred← citeshttps://doi.org/10.1016/s0165-0114(97)00204-2openalex-snapshot
Possibility theory is not fully compositional! A comment on a short note by H.J. Greenberg
inferred← citeshttps://doi.org/10.1016/s0165-0114(98)00063-3openalex-snapshot
A new fuzzy resolution principle based on the antonym
inferred← citeshttps://doi.org/10.1016/s0165-0114(98)00083-9openalex-snapshot
Annotated fuzzy logic programs
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00188-8openalex-snapshot
Approximate reasoning by similarity-based SLD resolution
inferred← citeshttps://doi.org/10.1016/s0888-613x(00)00055-4openalex-snapshot
Fuzzy types: a framework for handling uncertainty about types of objects
inferred← citeshttps://doi.org/10.1016/s0893-9659(03)00077-6openalex-snapshot
Relaxed unification—Proposal
inferred← citeshttps://doi.org/10.1016/s1570-2464(02)80003-9openalex-snapshot
Logic and the practical turn
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80516-4openalex-snapshot
Vague Domains, S-Unification and Logic Programming
inferred← citeshttps://doi.org/10.1016/s1874-5075(03)80003-7openalex-snapshot
The Practical Logic of Cognitive Systems
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80009-4openalex-snapshot
Fuzzy-Set Based Logics — an History-Oriented Presentation of their Main Developments
inferred← citeshttps://doi.org/10.1017/s0269888900004379openalex-snapshot
Responses to “An AI view of the treatment of uncertainty” by Alessandro Saffiotti
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.1023/a:1005784309139openalex-snapshot
A Framework for Automated Reasoning in Multiple-Valued Logics
inferred← citeshttps://doi.org/10.1023/a:1009658705388openalex-snapshot
Soft Computing for Intelligent Knowledge-based Systems
inferred← citeshttps://doi.org/10.1023/a:1016740830286openalex-snapshot
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification
inferred← citeshttps://doi.org/10.1023/b:aire.0000044308.48654.c1openalex-snapshot
On Some Alleged Misconceptions about Fuzzy Logic
inferred← citeshttps://doi.org/10.1080/00207160.2014.975218openalex-snapshot
Beyond multi-adjoint logic programming
inferred← citeshttps://doi.org/10.1080/00207177608922188openalex-snapshot
Outline of an approach for the analysis of fuzzy systems
inferred← citeshttps://doi.org/10.1080/00207727608942013openalex-snapshot
Tolerance analysis using fuzzy sets
inferred← citeshttps://doi.org/10.1080/03772063.1976.11451070openalex-snapshot
Convolution of Fuzzy Variables
inferred← citeshttps://doi.org/10.1080/09528139008953713openalex-snapshot
Knowledge representation issues in default reasoning
inferred← citeshttps://doi.org/10.1080/18756891.2013.857895openalex-snapshot
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X)
inferred← citeshttps://doi.org/10.1093/jigpal/jzn012openalex-snapshot
A Characterization of Classic-Like Fuzzy Semantics
inferred← citeshttps://doi.org/10.1093/oso/9780198539896.001.0001openalex-snapshot
Automated Deduction in Multiple-valued Logics
inferred← citeshttps://doi.org/10.1108/eb005334openalex-snapshot
ON THE NOTION OF RELEVANCE IN INFORMATION RETRIEVAL
inferred← citeshttps://doi.org/10.1109/21.135703openalex-snapshot
Reasoning under uncertainty in fuzzy operator logic
inferred← citeshttps://doi.org/10.1109/32.41330openalex-snapshot
A set of inference rules for quantified formula handling and array handling in verification of programs over integers
inferred← citeshttps://doi.org/10.1109/64.336150openalex-snapshot
The paradoxical success of fuzzy logic
inferred← citeshttps://doi.org/10.1109/69.273026openalex-snapshot
Automated reasoning using possibilistic logic: semantics, belief revision, and variable certainty weights
inferred← citeshttps://doi.org/10.1109/69.63249openalex-snapshot
Formal specification of geographic data processing requirements
inferred← citeshttps://doi.org/10.1109/91.531769openalex-snapshot
Handling uncertainty with possibility theory and fuzzy sets in a satellite fault diagnosis application
inferred← citeshttps://doi.org/10.1109/91.983282openalex-snapshot
Implication operators in fuzzy logic
inferred← citeshttps://doi.org/10.1109/acc.1997.609659openalex-snapshot
FDI with computer-assisted human intelligence
inferred← citeshttps://doi.org/10.1109/afss.1996.583649openalex-snapshot
Operator fuzzy modal logic and principle of resolution
showing the first 200 of 290 · page through all 290
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.