Artificial intelligence in biological modelling
type: Item
instance of: scholarly article
title: Artificial intelligence in biological modelling
zbMATH Open document ID: 1547.68766
DOI: 10.1007/978-3-030-06170-8_8
author: François Fages
publication date: 2024-09-11T00:00:00Z
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 92C42
zbMATH DE Number: 7910892
MaRDI profile type: MaRDI publication profile
cites work: Q4552454
cites work: Q3452868
cites work: Model Checking Software
cites work: Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
cites work: Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data
cites work: Q4413225
cites work: Modeling and querying biomolecular interaction networks
cites work: Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
cites work: Constraint-based deductive model checking
cites work: Robust Satisfaction of Temporal Logic over Real-Valued Signals
cites work: On temporal logic constraint solving for analyzing numerical data time series
cites work: Abstract interpretation and types for systems biology
cites work: Q925313
cites work: Model Revision from Temporal Logic Properties in Computational Systems Biology
cites work: Inferring reaction systems from ordinary differential equations
cites work: Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
cites work: On the subgraph epimorphism problem
cites work: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
cites work: Q4553263
cites work: Qualitative simulation of genetic regulatory networks using piecewise-linear models
cites work: Strong approximation theorems for density dependent Markov chains
cites work: A new constraint-based description of the steady-state flux cone of metabolic networks
cites work: A logical calculus of the ideas immanent in nervous activity
cites work: On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
cites work: Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
cites work: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
cites work: Algorithms for computational biology. First international conference, AlCoB 2014, Tarragona, Spain, July 1--3, 2014. Proceedings
cites work: Local cycles and dynamical properties of Boolean networks
cites work: Necessary conditions for multistationarity and stable periodicity
cites work: A stronger necessary condition for the multistationarity of chemical reaction networks
cites work: Q3951957
cites work: Computing machinery and intelligence
description: scientific article; zbMATH DE number 7910892