-
3
-
-
84949230464
-
Finding hypotheses from examples by computing the least generalization of bottom clauses
-
Proc. Discovery Science '98, Berlin, Springer-Verlag, pp
-
K. Ito and A. Yamamoto, "Finding hypotheses from examples by computing the least generalization of bottom clauses," in Proc. Discovery Science '98, Berlin, vol. 1532, LNAI, Springer-Verlag, pp. 303-314.
-
LNAI
, vol.1532
, pp. 303-314
-
-
Ito, K.1
Yamamoto, A.2
-
4
-
-
84937399732
-
Induction, abduction and consequence-finding
-
Proc. Int. Workshop Inductive Logic Programming, Springer-Verlag
-
K. Inoue, "Induction, abduction and consequence-finding," in Proc. Int. Workshop Inductive Logic Programming, vol. 2157, LNAI, Springer-Verlag, 2001, pp. 65-79.
-
(2001)
LNAI
, vol.2157
, pp. 65-79
-
-
Inoue, K.1
-
5
-
-
84954424598
-
Theory completion using inverse entailment
-
Proc. 10th Int. Workshop Inductive Logic Programming, Berlin, Springer-Verlag
-
S.H. Muggleton and C.H. Bryant, "Theory completion using inverse entailment," in Proc. 10th Int. Workshop Inductive Logic Programming, Berlin, vol. 1866, LNAI, Springer-Verlag, 2000, pp. 130-146.
-
(2000)
LNAI
, vol.1866
, pp. 130-146
-
-
Muggleton, S.H.1
Bryant, C.H.2
-
6
-
-
7044260410
-
Using theory completion to learn a robot navigation control program
-
Proc. 12th Int. Conf. Inductive Logic Programming, Springer-Verlag
-
S. Moyle, "Using theory completion to learn a robot navigation control program," in Proc. 12th Int. Conf. Inductive Logic Programming, vol. 2583, LNAI, Springer-Verlag, 2002, pp. 182-197.
-
(2002)
LNAI
, vol.2583
, pp. 182-197
-
-
Moyle, S.1
-
7
-
-
9444260997
-
Hybrid abductive inductive learning: A generalisation of Progol
-
Proc. 13th Int. Conf. Inductive Logic Programming, Springer-Verlag
-
O. Ray, K. Broda, and A. Russo, "Hybrid abductive inductive learning: A generalisation of Progol," in Proc. 13th Int. Conf. Inductive Logic Programming, 2835, LNAI, Springer-Verlag, 2003, pp. 311-328.
-
(2003)
LNAI
, vol.2835
, pp. 311-328
-
-
Ray, O.1
Broda, K.2
Russo, A.3
-
8
-
-
0037433043
-
GenePath: A system for automated construction of genetic networks from mutant data
-
B. Zupan, I. Bratko, J. Demsar, P. Juvan, J.A Halter, A. Kuspa, and G. Shaulsky, "GenePath: A system for automated construction of genetic networks from mutant data," Bioinformatics, vol. 19, no. 3, pp. 383-389, 2003.
-
(2003)
Bioinformatics
, vol.19
, Issue.3
, pp. 383-389
-
-
Zupan, B.1
Bratko, I.2
Demsar, J.3
Juvan, P.4
Halter, J.A.5
Kuspa, A.6
Shaulsky, G.7
-
9
-
-
1642336155
-
Functional genomic hypothesis generation and experimentation by a robot scientist
-
R.D. King, K.E. Whelan, F.M. Jones, P.K.G. Reiser, C.H. Bryant, S.H. Muggleton, D.B. Kell, and S.G. Oliver, "Functional genomic hypothesis generation and experimentation by a robot scientist," Nature, vol. 427, pp. 247-252, 2004.
-
(2004)
Nature
, vol.427
, pp. 247-252
-
-
King, R.D.1
Whelan, K.E.2
Jones, F.M.3
Reiser, P.K.G.4
Bryant, C.H.5
Muggleton, S.H.6
Kell, D.B.7
Oliver, S.G.8
-
10
-
-
33947705822
-
-
Online, Available
-
MetaLog [Online]. Available: http://www.doc.ic.ac.uk/bioinformatics/ metalog/.
-
MetaLog
-
-
-
11
-
-
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., vol. 27, no. 1, pp. 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
-
-
22944452109
-
Modelling inhibition in metabolic pathways through abduction and induction
-
Proc. 14th Int. Conf. Inductive Logic Programming, Springer-Verlag
-
A. Tamaddoni-Nezhad, A. Kakas, S.H. Muggleton, and F. Pazos, "Modelling inhibition in metabolic pathways through abduction and induction," in Proc. 14th Int. Conf. Inductive Logic Programming, vol. 3195, LNAI, Springer-Verlag, 2004, pp. 305-322.
-
(2004)
LNAI
, vol.3195
, pp. 305-322
-
-
Tamaddoni-Nezhad, A.1
Kakas, A.2
Muggleton, S.H.3
Pazos, F.4
-
13
-
-
33748281132
-
Application of abductive ILP to learning metabolic network inhibition from temporal data
-
A. Tamadonni-Nezhad, R. Chaleil, A.Kakas, and S.H. Muggleton, "Application of abductive ILP to learning metabolic network inhibition from temporal data," Machine Learning., vol. 64, pp. 209-230, 2006.
-
(2006)
Machine Learning
, vol.64
, pp. 209-230
-
-
Tamadonni-Nezhad, A.1
Chaleil, R.2
Kakas, A.3
Muggleton, S.H.4
-
14
-
-
0037444362
-
Contemporary issues in toxicology. The role of metabonomics in toxicology and its evaluation by the COMET project
-
J.C. Lindon, J.K. Nicholson, E. Holmes, et al., "Contemporary issues in toxicology. The role of metabonomics in toxicology and its evaluation by the COMET project," Tox. Appl. Pharm., vol. 187, pp. 137-146, 2003.
-
(2003)
Tox. Appl. Pharm
, vol.187
, pp. 137-146
-
-
Lindon, J.C.1
Nicholson, J.K.2
Holmes, E.3
-
15
-
-
0037199968
-
Hierarchical organization of modularity in metabolic networks
-
E. Ravasz, A.L. Somera, D.A. Mongru, Z.N. Oltvai, and A.L. Barabasi, "Hierarchical organization of modularity in metabolic networks," Science, vol. 297, no. 5586, pp. 1551-1555, 2002.
-
(2002)
Science
, vol.297
, Issue.5586
, pp. 1551-1555
-
-
Ravasz, E.1
Somera, A.L.2
Mongru, D.A.3
Oltvai, Z.N.4
Barabasi, A.L.5
-
16
-
-
0037398136
-
Biological networks
-
E. Alm and A.P. Arkin, "Biological networks," Curr. Opin. Struct. Biol., vol. 13, no. 2, pp. 193-202, 2003.
-
(2003)
Curr. Opin. Struct. Biol
, vol.13
, Issue.2
, pp. 193-202
-
-
Alm, E.1
Arkin, A.P.2
-
17
-
-
0003880161
-
-
3rd ed. New York: Garland
-
B. Alberts, D. Bray, J. Lewis, M. Raff, K Roberts, and J.D. Watson, Molecular Biology of the Cell, 3rd ed. New York: Garland, 1994.
-
(1994)
Molecular Biology of the Cell
-
-
Alberts, B.1
Bray, D.2
Lewis, J.3
Raff, M.4
Roberts, K.5
Watson, J.D.6
-
18
-
-
0037727678
-
Metabolic pathways in the post-genome era
-
May
-
J.A. Papin, N.D. Price, S.J. Wiback, D.A. Fell, and B.O. Palsson, "Metabolic pathways in the post-genome era," Trends Biochem. Sci., vol. 28, no. 5, pp. 250-258, May 2003.
-
(2003)
Trends Biochem. Sci
, vol.28
, Issue.5
, pp. 250-258
-
-
Papin, J.A.1
Price, N.D.2
Wiback, S.J.3
Fell, D.A.4
Palsson, B.O.5
-
19
-
-
0036303685
-
Evolution of enzymes in metabolism: A network perspective
-
R. Alves, R.A. Chaleil, and M.J. Sternberg, "Evolution of enzymes in metabolism: A network perspective," Mol. Biol., vol. 320, no. 4, pp. 751-770, 2002.
-
(2002)
Mol. Biol
, vol.320
, Issue.4
, pp. 751-770
-
-
Alves, R.1
Chaleil, R.A.2
Sternberg, M.J.3
-
20
-
-
3342970705
-
Actions of paracetamol on cyclooxygenases in tissue and cell homogenates of mouse and rabbit
-
Dec
-
T.A. Swierkosz, L. Jordan, M. McBride, K. McGough, J. Devlin, and R.M. Botting, "Actions of paracetamol on cyclooxygenases in tissue and cell homogenates of mouse and rabbit," Med. Sci. Monit., vol. 8, no. 12, pp. 496-503, Dec. 2002.
-
(2002)
Med. Sci. Monit
, vol.8
, Issue.12
, pp. 496-503
-
-
Swierkosz, T.A.1
Jordan, L.2
McBride, M.3
McGough, K.4
Devlin, J.5
Botting, R.M.6
-
21
-
-
0029083319
-
Acetaminophen (paracetamol) hepatotoxicity with regular intake of alcohol: Analysis of instances of therapeutic misadventure
-
Sept
-
H.J. Zimmerman and W.C. Maddrey, "Acetaminophen (paracetamol) hepatotoxicity with regular intake of alcohol: analysis of instances of therapeutic misadventure," Hepatology, vol. 22, no. 3, pp. 767-773, Sept. 1995.
-
(1995)
Hepatology
, vol.22
, Issue.3
, pp. 767-773
-
-
Zimmerman, H.J.1
Maddrey, W.C.2
-
25
-
-
0004058894
-
-
J.R. Josephson and S.G. Josephson, Eds, Cambridge, UK: Cambridge Univ. Press
-
J.R. Josephson and S.G. Josephson, Eds., Abductive Inference: Computation, Philosophy, Technology. Cambridge, UK: Cambridge Univ. Press, 1994.
-
(1994)
Abductive Inference: Computation, Philosophy, Technology
-
-
-
27
-
-
0005334147
-
Abductive and inductive reasoning: Background and issues
-
P.A. Flach and A.C. Kakas, Eds. Norwell, MA: Kluwer
-
P. Flach and A.C. Kakas, "Abductive and inductive reasoning: Background and issues," in Abductive and Inductive Reasoning, Pure and Applied Logic, P.A. Flach and A.C. Kakas, Eds. Norwell, MA: Kluwer, 2000.
-
(2000)
Abductive and Inductive Reasoning, Pure and Applied Logic
-
-
Flach, P.1
Kakas, A.C.2
-
28
-
-
84957882641
-
Learning programs in the event calculus
-
Proc. 7th Inductive Logic Programming Workshop, Springer-Verlag
-
S. Moyle and S.H. Muggleton, "Learning programs in the event calculus," in Proc. 7th Inductive Logic Programming Workshop, vol. 1297, LNAI, Springer-Verlag, 1997, pp. 205-212.
-
(1997)
LNAI
, vol.1297
, pp. 205-212
-
-
Moyle, S.1
Muggleton, S.H.2
-
29
-
-
84860962252
-
-
Online, Available
-
BRENDA Webpage [Online]. Available: http://www.brenda.uni-koeln.de/.
-
BRENDA Webpage
-
-
-
30
-
-
77957187070
-
Abductive logic programming
-
A.C. Kakas, R.A. Kowalski, and F. Toni, "Abductive logic programming," J. Logic Computat., vol. 2, no. 6, pp. 719-770, 1993.
-
(1993)
J. Logic Computat
, vol.2
, Issue.6
, pp. 719-770
-
-
Kakas, A.C.1
Kowalski, R.A.2
Toni, F.3
-
31
-
-
84867643604
-
Abduction in logic programming
-
A.C. Kakas and F. Sadri, Eds
-
A.C. Kakas and M. Denecker, "Abduction in logic programming," in Computational Logic: Logic Programming and Beyond. Part I, A.C. Kakas and F. Sadri, Eds., 2002, pp. 402-436.
-
(2002)
Computational Logic: Logic Programming and Beyond. Part I
, pp. 402-436
-
-
Kakas, A.C.1
Denecker, M.2
-
32
-
-
27644560273
-
Curve-fitting method for direct quantitation of compounds in complex biological mixtures using 1h NMR: Application in metabonomic toxicology studies
-
D.J. Crockford, H.C. Keun, L.M. Smith, E. Holmes, and J.K. Nicholson, "Curve-fitting method for direct quantitation of compounds in complex biological mixtures using 1h NMR: Application in metabonomic toxicology studies," Anal. Chem., vol. 77, no. 14, pp. 4556-4562, 2005.
-
(2005)
Anal. Chem
, vol.77
, Issue.14
, pp. 4556-4562
-
-
Crockford, D.J.1
Keun, H.C.2
Smith, L.M.3
Holmes, E.4
Nicholson, J.K.5
-
33
-
-
12744255876
-
Negation as failure
-
M.L. Ginsberg, Ed. Los Altos, CA: Kaufmann
-
K.L. Clark, "Negation as failure," in Readings in Nonmonotonic Reasoning, M.L. Ginsberg, Ed. Los Altos, CA: Kaufmann, 1987, pp. 311-325.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 311-325
-
-
Clark, K.L.1
-
34
-
-
0034861361
-
Metabonomic investigations into hydrazine toxicity in the rat
-
A.W. Nicholls, E. Holmes, J.C. Lindon, R.D. Farrant, J.N. Haselden, S.J.P. Damment, C.J. Waterfield, and J.K. Nicholson, "Metabonomic investigations into hydrazine toxicity in the rat," Chem. Res. Toxicol., vol. 14, no. 8, pp. 975-987, 2001.
-
(2001)
Chem. Res. Toxicol
, vol.14
, Issue.8
, pp. 975-987
-
-
Nicholls, A.W.1
Holmes, E.2
Lindon, J.C.3
Farrant, R.D.4
Haselden, J.N.5
Damment, S.J.P.6
Waterfield, C.J.7
Nicholson, J.K.8
-
35
-
-
33748273939
-
-
Dept. Computing, Imperial College London, London, UK, Tech. Rep., 3
-
I. Papatheodorou, A. Kakas, and M. Sergot, "Inference of gene relations from microarray data by abduction," Dept. Computing, Imperial College London, London, UK, Tech. Rep. 2005/3, 2005.
-
(2005)
Inference of gene relations from microarray data by abduction
-
-
Papatheodorou, I.1
Kakas, A.2
Sergot, M.3
-
36
-
-
33748278974
-
An abductive-inductive learning framework for logic-based agents,
-
master's thesis, Imperial College of Science Technology and Medicine, London, UK
-
B.R. Wellner, "An abductive-inductive learning framework for logic-based agents," master's thesis, Imperial College of Science Technology and Medicine, London, UK, 1999.
-
(1999)
-
-
Wellner, B.R.1
-
37
-
-
0033707946
-
Using Bayesian networks to analyze expression data
-
N. Friedman, M. Linial, I. Nachman, and D. Pe'er, "Using Bayesian networks to analyze expression data," J. Comp. Bio., vol. 7, no. 3-4, pp. 601-620, 2000.
-
(2000)
J. Comp. Bio
, vol.7
, Issue.3-4
, pp. 601-620
-
-
Friedman, N.1
Linial, M.2
Nachman, I.3
Pe'er, D.4
-
38
-
-
0036372453
-
Estimation of genetic networks and functional structures between genes by using Bayesian networks and nonparametric regression
-
S. Imoto, T. Goto, and S. Miyano, "Estimation of genetic networks and functional structures between genes by using Bayesian networks and nonparametric regression," in Proc. Pacific Symp. Biocomputing, 2002, pp. 175-186.
-
(2002)
Proc. Pacific Symp. Biocomputing
, pp. 175-186
-
-
Imoto, S.1
Goto, T.2
Miyano, S.3
-
39
-
-
22944445531
-
A Bayesian model for metabolic pathways
-
Acapulco, Mexico
-
A. Tamaddoni-Nezhad, S. Muggleton, and J. Bang, "A Bayesian model for metabolic pathways," in Proc. Int. Joint Conf. Artificial Intelligence Workshop Learning Statistical Models from Relational Data, Acapulco, Mexico, 2003, pp. 50-57, 2003.
-
(2003)
Proc. Int. Joint Conf. Artificial Intelligence Workshop Learning Statistical Models from Relational Data
, pp. 50-57
-
-
Tamaddoni-Nezhad, A.1
Muggleton, S.2
Bang, J.3
-
40
-
-
9444232342
-
Induction of enzyme classes from biological databases
-
Proc. 13th Int. Conf. Inductive Logic Programming, Springer-Verlag
-
S.H. Muggleton, A. Tamaddoni-Nezhad, and H. Watanabe, "Induction of enzyme classes from biological databases," in Proc. 13th Int. Conf. Inductive Logic Programming, vol. 2835, LNAI, Springer-Verlag, 2003, pp. 269-280.
-
(2003)
LNAI
, vol.2835
, pp. 269-280
-
-
Muggleton, S.H.1
Tamaddoni-Nezhad, A.2
Watanabe, H.3
|