Logic programming in RPL and RQL

DOI10.1007/3-540-60609-2_38MaRDI QIDQ6573937zbMATH OpenFDO

Authors Peter Vojtáš, Leonard Paulík

Publication date 17 July 2024

Full work available at URL https://doi.org/10.1007/3-540-60609-2_38

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• A comparison of fuzzy and annotated logic programming
• Fuzzy logic programming
• scientific article; zbMATH DE number 1265035
• scientific article; zbMATH DE number 3980534
• Łukasiewicz Logic: From Proof Systems To Logic Programming

Cites work

• Fuzzy sets in approximate reasoning. II: Logical approaches
• scientific article; zbMATH DE number 4156412 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 43615 (Why is no real title available?)
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi

This page was built for publication: Logic programming in RPL and RQL

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