Hypothesizing about signaling networks
DOI10.1016/J.JAL.2008.10.001zbMATH Open1168.92002OpenAlexW2017898908MaRDI QIDQ833723FDOQ833723
Authors: 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
Recommendations
- Abstract Interpretation of Cellular Signalling Networks
- A declarative view of signaling pathways
- Signal transduction networks: topology, response and biochemical processes
- Modular analysis of signal transduction networks
- The community structure of human cellular signaling network
- Towards blueprints for network architecture, biophysical dynamics and signal transduction
- Parameter space exploration within dynamic simulations of signaling networks
- Signaling networks: asynchronous Boolean models
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Biomedical imaging and signal processing (92C55) General biology and biomathematics (92B05)
Cites Work
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Abduction as belief revision
- Title not available (Why is that?)
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- Representing action and change by logic programs
- A logic for default reasoning
- Probabilistic Horn abduction and Bayesian networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logical framework for default reasoning
- Application of abductive ILP to learning metabolic network inhibition from temporal data
- Diagnostic reasoning with A-Prolog
- Title not available (Why is that?)
- CHICA, An Abductive Planning System Based on Event Calculus
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- Abduction from logic programs: Semantics and complexity
- Abduction to plausible causes: an event-based model of belief update
- Computational methods in systems biology. First international workshop, CMSB 2003, Rovereto, Italy, February 24--26, 2003. Proceedings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics in Artificial Intelligence
- Logic Programming and Nonmonotonic Reasoning
- Computational Methods in Systems Biology
Cited In (11)
- Hypothesizing about causal networks with positive and negative effects by meta-level abduction
- Loop-separable programs and their first-order definability
- Applications of action languages in cognitive robotics
- Learning from interpretation transition
- The community structure of human cellular signaling network
- Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells
- Modelling signalling networks with incomplete information about protein activation states: a P system framework of the KaiABC oscillator
- Completing causal networks by meta-level abduction
- Temporal abductive reasoning about biochemical reactions
- Reasoning about non-immediate triggers in biological networks
- Completing SBGN-AF networks by logic-based hypothesis finding
Uses Software
This page was built for publication: Hypothesizing about signaling networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q833723)
