The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL

Gene Ontology: tool for the unification of biology

Michael Ashburner, Catherine A. Ball, Judith A. Blake et al. · Nature Genetics · 2000 · 44.6K citations · Full text

Life Sciences, Bioinformatics, Molecular Biology +9

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Using Bayesian Networks to Analyze Expression Data

Nir Friedman, Michal Linial, Iftach Nachman et al. · Journal of Computational Biology · 2000 · 3.3K citations

Life Sciences, Bioinformatics, Systems Biology +8

Parameterized Complexity

Michael R. Fellows · Electronic Notes in Theoretical Computer Science · 2002 · 2.9K citations · Full text

Computing, Computer Science, Mathematics +12

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

Simon Colton, Alan Bundy, Toby Walsh · 1999 · 2.5K citations

Computing, Computer Engineering, Computer Science +12