Differentiable learning of matricized DNFs and its application to Boolean networks

DOI10.1007/s10994-023-06346-5zbMath1518.68318OpenAlexW4381550351MaRDI QIDQ6134346

Katsumi Inoue, Taisuke Sato

Publication date: 22 August 2023

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10994-023-06346-5

zbMATH Keywords

neural networkgeneralizationBoolean functionBoolean networkDNF

Mathematics Subject Classification ID

Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Boolean functions (06E30) Systems biology, networks (92C42)

Cites Work

• Unnamed Item
• A continuous approach to inductive inference
• Knowledge-based artificial neural networks
• On learning gene regulatory networks under the Boolean network model
• Logical analysis of the budding yeast cell cycle
• Analyzing differentiable fuzzy logic operators
• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
• Learning from interpretation transition using differentiable logic programming semantics
• Learning from interpretation transition
• Polynomial threshold functions and Boolean threshold circuits
• Interpolation and Model Checking
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A Linear Representation of Dynamics of Boolean Networks

This page was built for publication: Differentiable learning of matricized DNFs and its application to Boolean networks