Tabulation proof procedures for fuzzy linguistic logic programming
From MaRDI portal
Publication:899133
DOI10.1016/j.ijar.2015.06.001zbMath1346.68052OpenAlexW626807938MaRDI QIDQ899133
Publication date: 21 December 2015
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2015.06.001
fuzzy logic programmingtop-\(k\) retrievallinguistic truth valuehedge connectivetabulation proof procedurethreshold computation
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Logic programming (68N17)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic for reasoning with inconsistency
- A top-\(k\) query answering procedure for fuzzy logic programming
- Aggregated fuzzy answer set programming
- Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- Probabilistic logic
- The implementation of FPROLOG - a fuzzy PROLOG interpreter
- Fundamentals of Fuzzy Prolog
- Fuzzy logic and approximate reasoning
- Fuzzy sets as a basis for a theory of possibility
- Paraconsistent logic programming
- Metamathematics of fuzzy logic
- Extended hedge algebras and their application to fuzzy logic
- A parametric representation of linguistic hedges in Zadeh's fuzzy logic
- Fuzzy modifiers based on fuzzy relations.
- A new model for linguistic modifiers
- A comparison of fuzzy and annotated logic programming
- Similarity-based unification: A multi-adjoint approach
- Tabling for non-monotonic programming
- Theory of T-norms and fuzzy inference methods
- Resolution in linguistic first order logic based on linear symmetrical hedge algebra
- Possibility theory, probability theory and multiple-valued logics: a clarification
- Probabilistic qualification of attack in abstract argumentation
- Termination of logic programs with imperfect information: applications and query procedure
- Fuzzy linguistic logic programming and its applications
- HEDGE ALGEBRAS, LINGUISTIC-VALUE LOGIC AND THEIR APPLICATION TO FUZZY REASONING
- Quantitative deduction and its fixpoint theory
- Tabulated resolution for the well-founded semantics
- Tabled evaluation with delaying for general logic programs
- Reducing fuzzy answer set programming to model finding in fuzzy logics
- A Resolution Method for Linguistic Many-valued Logic
- Logics in Artificial Intelligence
- Fuzzy sets
- f-SWRL: A Fuzzy Extension of SWRL
- Fuzzy logic programming
This page was built for publication: Tabulation proof procedures for fuzzy linguistic logic programming
