Tabulation proof procedures for fuzzy linguistic logic programming
type: Item
instance of: scholarly article
title: Tabulation proof procedures for fuzzy linguistic logic programming
zbMATH Open document ID: 1346.68052
author: N. E. Zubov
published in: International Journal of Approximate Reasoning
publication date: 2015-12-21T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6522969
zbMATH Keywords: fuzzy logic programming
zbMATH Keywords: tabulation proof procedure
zbMATH Keywords: linguistic truth value
zbMATH Keywords: hedge connective
zbMATH Keywords: threshold computation
zbMATH Keywords: top-\(k\) retrieval
describes a project that uses: FPROLOG
MaRDI profile type: Publication
full work available at URL: j.ijar.2015.06.001
OpenAlex ID: W626807938
cites work: Q4888136
cites work: Paraconsistent logic programming
cites work: Tabulated resolution for the well-founded semantics
cites work: Tabled evaluation with delaying for general logic programs
cites work: Fuzzy modifiers based on fuzzy relations.
cites work: Logics in Artificial Intelligence
cites work: Termination of logic programs with imperfect information: applications and query procedure
cites work: Q4784882
cites work: Q4296748
cites work: Possibility theory, probability theory and multiple-valued logics: a clarification
cites work: Theory of T-norms and fuzzy inference methods
cites work: Metamathematics of fuzzy logic
cites work: Probabilistic qualification of attack in abstract argumentation
cites work: A parametric representation of linguistic hedges in Zadeh's fuzzy logic
cites work: Aggregated fuzzy answer set programming
cites work: Reducing fuzzy answer set programming to model finding in fuzzy logics
cites work: Q3798294
cites work: A logic for reasoning with inconsistency
cites work: A comparison of fuzzy and annotated logic programming
cites work: A new model for linguistic modifiers
cites work: Fuzzy linguistic logic programming and its applications
cites work: Q3339245
cites work: Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
cites work: The implementation of FPROLOG - a fuzzy PROLOG interpreter
cites work: Q4798020
cites work: Similarity-based unification: A multi-adjoint approach
cites work: Fundamentals of Fuzzy Prolog
cites work: Q3126168
cites work: HEDGE ALGEBRAS, LINGUISTIC-VALUE LOGIC AND THEIR APPLICATION TO FUZZY REASONING
cites work: Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
cites work: Extended hedge algebras and their application to fuzzy logic
cites work: Resolution in linguistic first order logic based on linear symmetrical hedge algebra
cites work: Probabilistic logic
cites work: f-SWRL: A Fuzzy Extension of SWRL
cites work: A Resolution Method for Linguistic Many-valued Logic
cites work: A top-\(k\) query answering procedure for fuzzy logic programming
cites work: Q4494318
cites work: Tabling for non-monotonic programming
cites work: Q4822943
cites work: Quantitative deduction and its fixpoint theory
cites work: Fuzzy logic programming
cites work: Fuzzy sets
cites work: Fuzzy logic and approximate reasoning
cites work: Fuzzy sets as a basis for a theory of possibility
DOI: 10.1016/J.IJAR.2015.06.001
description: scientific article; zbMATH DE number 6522969