scientific article; zbMATH DE number 7453108

MaRDI QIDQ5020549zbMATH OpenFDO

Authors

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08236, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.17

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Adding logic to the toolbox of molecular biology
• Proof search in a context-sensitive logic for molecular biology
• A logical framework for systems biology
• Logical modeling of biological systems
• (Mathematical) logic for systems biology (invited paper)
• scientific article; zbMATH DE number 2182436

Cites work

• (Mathematical) logic for systems biology (invited paper)
• Circumscription - a form of non-monotonic reasoning
• Correction to: ``Existence results for fractional \(p(x, . )\)-Laplacian problem via the Nehari manifold approach
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1337728 (Why is no real title available?)
• scientific article; zbMATH DE number 1852915 (Why is no real title available?)
• scientific article; zbMATH DE number 1421198 (Why is no real title available?)
• Logics in Artificial Intelligence
• On the strength and scope of DLS

Cited in

(3)

• scientific article; zbMATH DE number 7065571 (Why is no real title available?)
• Uncertainty, imprecision, and many-valued logics in protein bioinformatics
• Reachability analysis for parametric rule-based models

Describes a project that uses

Uses Software

• Zsyntax
• UniProt

This page was built for publication:

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