Hypothesizing about signaling networks

DOI10.1016/J.JAL.2008.10.001zbMath1168.92002OpenAlexW2017898908MaRDI QIDQ833723

N. E. Zubov

Publication date: 14 August 2009

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.10.001

zbMATH Keywords

abductionaction languagessignaling networkshypothesis formation

Mathematics Subject Classification ID

Biomedical imaging and signal processing (92C55) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General biology and biomathematics (92B05)

Related Items (5)

Applications of Action Languages in Cognitive Robotics ⋮ Completing causal networks by meta-level abduction ⋮ Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells ⋮ Learning from interpretation transition ⋮ Loop-separable programs and their first-order definability

Uses Software

• MetaCyc
• BIOCHAM
• Celldesigner
• KEGG
• GNA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical framework for default reasoning
• A logic for default reasoning
• Probabilistic Horn abduction and Bayesian networks
• Abduction from logic programs: Semantics and complexity
• Computational methods in systems biology. First international workshop, CMSB 2003, Rovereto, Italy, February 24--26, 2003. Proceedings
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• Abduction as belief revision
• Abduction to plausible causes: an event-based model of belief update
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• Representing action and change by logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Diagnostic reasoning with A-Prolog
• CHICA, An Abductive Planning System Based on Event Calculus
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Computational Methods in Systems Biology

This page was built for publication: Hypothesizing about signaling networks