Meta-logic programming for a synonymy logic

DOI10.1007/S00500-009-0404-6MaRDI QIDQ2380338zbMATH OpenOpenAlexFDO

Authors Daniele Genito, Giangiacomo Gerla, Alessandro Vignes

Publication date 26 March 2010

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-009-0404-6

zbMATH Keywords

fuzzy logiclogic programmingsynonymy logictranslation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logics of synonymy
• Synonymous logics
• Translations and similarity-based logic programming
• Fuzzy logic programming and fuzzy control
• Synonymous theories and knowledge representations in answer set programming

Cites work

• A logic for approximate reasoning
• Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
• Approximate Reasoning Based on Similarity
• Effectiveness and multivalued logics
• Fuzzy logic programming
• Fuzzy logic programming
• Fuzzy logic programming and fuzzy control
• Fuzzy logic. Mathematical tools for approximate reasoning
• scientific article; zbMATH DE number 1158759 (Why is no real title available?)
• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• scientific article; zbMATH DE number 2206366 (Why is no real title available?)
• Logics with approximate premises
• On Fuzzy Logic I Many‐valued rules of inference
• On the structure of F-indistinguishability operators
• Recursively EnumerableL-Sets
• Similarity-based unification: A multi-adjoint approach

Cited in

(2)

• Logics of synonymy
• scientific article; zbMATH DE number 978237 (Why is no real title available?)

This page was built for publication: Meta-logic programming for a synonymy logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2380338)