Identification of biological transition systems using meta-interpreted logic programs

DOI10.1007/s10994-018-5709-1zbMath1461.68171OpenAlexW2803213502WikidataQ124936438 ScholiaQ124936438MaRDI QIDQ1621890

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) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17) Systems biology, networks (92C42)

Related Items (3)

Inductive logic programming at 30 ⋮ Learning explanations for biological feedback with delays using an event calculus ⋮ Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Uses Software

• ProbLog
• LBS
• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completing causal networks by meta-level abduction
• An algorithmic framework for network reconstruction
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich.
• Meta-interpretive learning: application to grammatical inference
• Learning from interpretation transition
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement
• A Language for Biochemical Systems: Design and Formal Specification
• Automatic network reconstruction using ASP
• Formal verification of parallel programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Discrete, Continuous, and Hybrid Petri Nets
• Abductive Logic Programming

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