Identification of biological transition systems using meta-interpreted logic programs

DOI10.1007/S10994-018-5709-1MaRDI QIDQ1621890zbMATH OpenOpenAlexWikidataFDO

Authors Michael Bain, Ashwin Srinivasan

Publication date 12 November 2018

Published in Machine Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10994-018-5709-1

zbMATH Keywords

Petri netsbiological system behaviourmeta-interpretive learningstructural operational semantic

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Systems biology, networks (92C42) Logic programming (68N17) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Learning from interpretation transition
• Logical modeling of biological systems
• scientific article; zbMATH DE number 5968911
• Interpreted nets
• A logical and graphical framework for reaction systems

Cites work

• scientific article; zbMATH DE number 6011009 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• A language for biochemical systems: design and formal specification
• Abductive Logic Programming
• An algorithmic framework for network reconstruction
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• Automatic network reconstruction using ASP
• Completing causal networks by meta-level abduction
• Discrete, Continuous, and Hybrid Petri Nets
• Formal verification of parallel programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Learning from interpretation transition
• Meta-interpretive learning: application to grammatical inference
• MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement
• Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich.
• Partial (set) 2-structures. II: State spaces of concurrent systems

Cited in

(4)

• Learning explanations for biological feedback with delays using an event calculus
• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
• Inductive logic programming at 30
• scientific article; zbMATH DE number 5968911 (Why is no real title available?)

Describes a project that uses

Uses Software

• PRISM
• LBS
• ProbLog

This page was built for publication: Identification of biological transition systems using meta-interpreted logic programs

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