Sciweavers

3970 search results - page 28 / 794
» A Logic For Causal Reasoning
Sort
View
144
Voted
CADE
2005
Springer
15 years 9 months ago
Hierarchic Reasoning in Local Theory Extensions
Viorica Sofronie-Stokkermans
BMCBI
2008
119views more  BMCBI 2008»
15 years 4 months ago
On deducing causality in metabolic networks
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
112
Voted
TIME
2007
IEEE
15 years 10 months ago
Model Checking Branching Time Logics
Ph. Schnoebelen