-
1
-
-
24744445173
-
A knowledge based approach for representing and reasoning about signaling networks
-
C. Baral et al. A knowledge based approach for representing and reasoning about signaling networks. In Proc. 12th Int. Conf. on Intelligent Systems for Molecular Biology, pages 15-22, 2004.
-
(2004)
Proc. 12th Int. Conf. on Intelligent Systems for Molecular Biology
, pp. 15-22
-
-
Baral, C.1
-
2
-
-
77951505493
-
Classical negation in logic programs and disjunctive databases
-
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Comp., 9(3/4):365-386, 1991.
-
(1991)
New Generation Comp.
, vol.9
, Issue.3-4
, pp. 365-386
-
-
Gelfond, M.1
Lifschitz, V.2
-
3
-
-
77957187070
-
Abductive logic programming
-
A. Kakas, R. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1992.
-
(1992)
Journal of Logic and Computation
, vol.2
, Issue.6
, pp. 719-770
-
-
Kakas, A.1
Kowalski, R.2
Toni, F.3
-
4
-
-
1642336155
-
Functional genomic hypothesis generation and experimentation by a robot scientist
-
R. King, K. Whelan, F. Jones, P. Reiser, C. Bryant, S. Muggleton, D. Kell, and S. Oliver. Functional Genomic Hypothesis Generation and Experimentation by a Robot Scientist. Nature, 427:247-252, 2004.
-
(2004)
Nature
, vol.427
, pp. 247-252
-
-
King, R.1
Whelan, K.2
Jones, F.3
Reiser, P.4
Bryant, C.5
Muggleton, S.6
Kell, D.7
Oliver, S.8
-
7
-
-
77951503082
-
Inverse entailment and progol
-
S. Muggleton. Inverse Entailment and Progol. New Generation Comp., 13(3-4):245-286, 1995.
-
(1995)
New Generation Comp.
, vol.13
, Issue.3-4
, pp. 245-286
-
-
Muggleton, S.1
-
9
-
-
0028429573
-
Inductive logic programming: Theory and methods
-
S. Muggleton and L. De Raedt. Inductive Logic Programming: Theory and Methods. Journal of Logic Programming, 19, 20:629-679, 1994.
-
(1994)
Journal of Logic Programming
, vol.19
, Issue.20
, pp. 629-679
-
-
Muggleton, S.1
Raedt, L.D.2
-
10
-
-
0032919364
-
Kegg: Kyoto encyclopedia of genes and genomes
-
H. Ogata, S. Goto, K. Sato, W. Fujibuchi, H. Bono, and M. Kanehisa. Kegg: Kyoto encyclopedia of genes and genomes. Nucleic Acids Res., 27(1):29-34, 1999.
-
(1999)
Nucleic Acids Res
, vol.27
, Issue.1
, pp. 29-34
-
-
Ogata, H.1
Goto, S.2
Sato, K.3
Fujibuchi, W.4
Bono, H.5
Kanehisa, M.6
-
12
-
-
33646025238
-
Inference of gene relations from microarray data by abduction
-
In, of LNCS, Springer
-
I. Papatheodorou, A. Kakas, and M. Sergot. Inference of Gene Relations from Microarray Data by Abduction. In Proc. 8th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, volume 3662 of LNCS, pages 389-393. Springer, 2005.
-
(2005)
Proc. 8th Int. Conf. on Logic Programming and Nonmonotonic Reasoning
, vol.3662
, pp. 389-393
-
-
Papatheodorou, I.1
Kakas, A.2
Sergot, M.3
-
13
-
-
67651244824
-
Nonmonotonic abductive inductive learning
-
to appear in
-
O. Ray. Nonmonotonic Abductive Inductive Learning. to appear in Journal of Applied Logic, 2008.
-
(2008)
Journal of Applied Logic
-
-
Ray, O.1
-
15
-
-
70349740420
-
Developing a logical Model of yeast metabolism
-
P. Reiser, R. King, D. Kell, S. Muggleton, C. Bryant, and S. Oliver. Developing a Logical Model of Yeast Metabolism. Linkoping Electronic Articles in Computer and Information Science, 6(24), 2001.
-
(2001)
Linkoping Electronic Articles in Computer and Information Science
, vol.6
, Issue.24
-
-
Reiser, P.1
King, R.2
Kell, D.3
Muggleton, S.4
Bryant, C.5
Oliver, S.6
-
16
-
-
42749086920
-
Modeling biological networks by action languages via answer set programming
-
S. Dworschak and S. Grell and V. Nikiforova and T. Schaub and J. Selbig. Modeling Biological Networks by Action Languages via Answer Set Programming. Constraints, 13(1-2):21-65, 2008.
-
(2008)
Constraints
, vol.13
, Issue.1-2
, pp. 21-65
-
-
Dworschak, S.1
Grell, S.2
Nikiforova, V.3
Schaub, T.4
Selbig, J.5
-
17
-
-
0010122418
-
Extending and implementing the stable Model semantics
-
P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intel., 138(1-2):181-234, 2002.
-
(2002)
Artificial Intel.
, vol.138
, Issue.1-2
, pp. 181-234
-
-
Simons, P.1
Niemelä, I.2
Soininen, T.3
-
18
-
-
33748281132
-
Application of abductive ilp to learning metabolic network inhibition from temporal data
-
A. Tamaddoni-Nezhad, R. Chaleil, A. Kakas, and S. Muggleton. Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning, 64(1-3):209-230, 2006.
-
(2006)
Machine Learning
, vol.64
, Issue.1-3
, pp. 209-230
-
-
Tamaddoni-Nezhad, A.1
Chaleil, R.2
Kakas, A.3
Muggleton, S.4
-
19
-
-
0028108519
-
Metabolic flux balancing: Basic concepts, scientific and practical use
-
A. Varma and B. Palsson. Metabolic flux balancing: Basic concepts, scientific and practical use. Nature Biotechnology, 12:994 - 998, 1994.
-
(1994)
Nature Biotechnology
, vol.12
, pp. 994-998
-
-
Varma, A.1
Palsson, B.2
-
20
-
-
41449096058
-
Using a logical Model to predict the growth of yeast
-
K. Whelan and R. King. Using a logical model to predict the growth of yeast. BMC Bioinformatics, 9(97), 2008.
-
(2008)
BMC Bioinformatics
, vol.9
, Issue.97
-
-
Whelan, K.1
King, R.2
|