Logic of differentiable logics: towards a uniform semantics of DL

DOI10.29007/C1NTMaRDI QIDQ7025201zbMATH OpenFDO

Authors Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Kathrin Stark, Robert Stewart

Publication date 19 February 2025

Full work available at URL https://doi.org/10.29007/C1NT

zbMATH Keywords

declarative semanticsdifferentiable logicfuzzy logicmachine learningprobabilistic logictypes

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Logic in artificial intelligence (68T27)

Cites work

• An investigation for loss functions widely used in machine learning
• Analyzing differentiable fuzzy logic operators
• Deep learning
• Fuzzy sets
• Handbook of mathematical fuzzy logic. Volume 1
• scientific article; zbMATH DE number 1958333 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Kripke semantics for higher-order type theory applied to constraint logic programming languages
• Lectures on the Curry-Howard isomorphism
• Logic of differentiable logics: towards a uniform semantics of DL
• Logic tensor networks
• Probabilistic (logic) programming concepts
• Probabilistic logic
• Probabilistic logic programming
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Triangular norms. Position paper II: General constructions and parameterized families

Cited in

(3)

• Taming differentiable logics with Coq formalisation
• Proof-carrying neuro-symbolic code
• Logic of differentiable logics: towards a uniform semantics of DL

This page was built for publication: Logic of differentiable logics: towards a uniform semantics of DL

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