Abductive Reasoning on Molecular Interaction Maps

DOI10.1007/978-3-319-74681-4_4zbMath1429.68265OpenAlexW2792435143MaRDI QIDQ5214097

Jean-Marc Alliot, Luis Fariñas del Cerro, Naji Obeid, Martín Diéguez, Robert Demolombe

Publication date: 7 February 2020

Published in: Interactions Between Computational Intelligence and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74681-4_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Systems biology, networks (92C42)

Related Items (1)

Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations

Uses Software

• MiniSat
• SOLAR
• SCIFF
• SBGN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Translation of first order formulas into ground formulas via a completion theory
• An incremental method for generating prime implicants/implicates
• Linear resolution for consequence finding
• Contingency-Based Equilibrium Logic
• Detecting inconsistencies in large biological networks with answer set programming
• Information About a Given Entity: From Semantics Towards Automated Deduction
• SOLAR: An automated deduction system for consequence finding
• Theory and Applications of Satisfiability Testing
• AI*IA 2005: Advances in Artificial Intelligence
• Logical Modeling of Biological Systems
• Completing SBGN-AF Networks by Logic-Based Hypothesis Finding

This page was built for publication: Abductive Reasoning on Molecular Interaction Maps