-
2
-
-
0030290793
-
Part-whole relations in object-centered systems: An overview
-
Artale A., Franconi E., Guarino N., Pazzi L. Part-whole relations in object-centered systems: an overview. Data and Knowledge Engineering. 20:(3):1996;347-383.
-
(1996)
Data and Knowledge Engineering
, vol.20
, Issue.3
, pp. 347-383
-
-
Artale, A.1
Franconi, E.2
Guarino, N.3
Pazzi, L.4
-
3
-
-
0003727420
-
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, & P. Patel-Schneider. Cambridge: Cambridge University Press
-
Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P. The description logic handbook - theory, implementation and applications. 2003;Cambridge University Press, Cambridge.
-
(2003)
The description logic handbook - theory, implementation and applications
-
-
-
5
-
-
0035344211
-
Experimental models of Parkinson's disease
-
Beal M. Experimental models of Parkinson's disease. Nature Reviews Neuroscience. 2:(5):2001;325-334.
-
(2001)
Nature Reviews Neuroscience
, vol.2
, Issue.5
, pp. 325-334
-
-
Beal, M.1
-
6
-
-
85030947857
-
-
BIRN-CC
-
BIRN-CC (2003). Parkinson's disease map. http://www.nbirn.net/Projects/ CoordinatingCenter/PDM/.
-
(2003)
Parkinson's Disease Map
-
-
-
7
-
-
0031164288
-
An abstract, argumentation - Theoretic approach to default reasoning
-
Bondarenko A., Dung P., Kowalski R., Toni F. An abstract, argumentation - theoretic approach to default reasoning. Artificial Intelligence. 93:(4):1997;63-101.
-
(1997)
Artificial Intelligence
, vol.93
, Issue.4
, pp. 63-101
-
-
Bondarenko, A.1
Dung, P.2
Kowalski, R.3
Toni, F.4
-
8
-
-
0040812228
-
-
Unpublished doctoral dissertation, University of Southern California
-
Bota, M (2001). Neural homologies: Principles, databases and modeling. Unpublished doctoral dissertation, University of Southern California. (http://brancusi.usc.edu/thesis_bota.pdf) .
-
(2001)
Neural Homologies: Principles, Databases and Modeling
-
-
Bota, M.1
-
9
-
-
0035384084
-
The neurohomology database
-
Bota M., Arbib M.A. The neurohomology database. Neurocomputing. 38-40:2001;1627-1631.
-
(2001)
Neurocomputing
, vol.38-40
, pp. 1627-1631
-
-
Bota, M.1
Arbib, M.A.2
-
12
-
-
0000733226
-
HILOG: A foundation for higher-order logic programming
-
Chen W., Kifer M., Warren D.S. HILOG: A foundation for higher-order logic programming. Journal of Logic Programming. 15:(3):1993;187-230.
-
(1993)
Journal of Logic Programming
, vol.15
, Issue.3
, pp. 187-230
-
-
Chen, W.1
Kifer, M.2
Warren, D.S.3
-
13
-
-
0002999704
-
Semantics of logic programs: Their intuitions and formal properties. An overview
-
A. Fuhrmann, & H. Rott. Berlin: De Gruyter
-
Dix J. Semantics of logic programs: their intuitions and formal properties. An overview. Fuhrmann A., Rott H. Logic, action and information - Essays on logic in philosophy and artificial intelligence. 2003;241-327 De Gruyter, Berlin.
-
(2003)
Logic, action and information - Essays on logic in philosophy and artificial intelligence
, pp. 241-327
-
-
Dix, J.1
-
14
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n -person games
-
Dung P.M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n -person games. Artificial Intelligence. 77:1995;321-357.
-
(1995)
Artificial Intelligence
, vol.77
, pp. 321-357
-
-
Dung, P.M.1
-
15
-
-
0242471360
-
-
Gardner D., Xiao Y., Abato M., Knuth K., Gardner E. BrainML and GENIE: neuroinformatics schemas for neuroscience data sharing. Society for Neuroscience Abstracts. Vol. 28:2002.
-
(2002)
BrainML and GENIE: Neuroinformatics schemas for neuroscience data sharing. Society for Neuroscience Abstracts
, vol.28
-
-
Gardner, D.1
Xiao, Y.2
Abato, M.3
Knuth, K.4
Gardner, E.5
-
17
-
-
0034887203
-
Creating the gene ontology resource: Design and implementation
-
Creating the gene ontology resource: design and implementation. Genome Research. 11:2002;1425-1433.
-
(2002)
Genome Research
, vol.11
, pp. 1425-1433
-
-
-
18
-
-
0035409575
-
Alpha-synuclein and neurodegenerative diseases
-
Goedert M. Alpha-synuclein and neurodegenerative diseases. Nature Reviews Neuroscience. 2:2001;492-501.
-
(2001)
Nature Reviews Neuroscience
, vol.2
, pp. 492-501
-
-
Goedert, M.1
-
19
-
-
35148839490
-
A translation approach to portable ontologies
-
Gruber T. A translation approach to portable ontologies. Knowledge Acquisition. 5:(2):1993;199-220.
-
(1993)
Knowledge Acquisition
, vol.5
, Issue.2
, pp. 199-220
-
-
Gruber, T.1
-
20
-
-
0002809114
-
Ontologies and knowledge bases: Towards a terminological clarification
-
N. Mars. Amsterdam: IOS Press
-
Guarino N., Giaretta P. Ontologies and knowledge bases: towards a terminological clarification. Mars N. Towards very large knowledge bases. 1995;25-32 IOS Press, Amsterdam. http://ontology.ip.rm.cnr.it/Papers/KBKS95.pdf.
-
(1995)
Towards very large knowledge bases
, pp. 25-32
-
-
Guarino, N.1
Giaretta, P.2
-
21
-
-
0002971942
-
Ontology applications and design
-
Guninger M., Lee J. Ontology applications and design. Communications of the ACM. 45:(2):2002;39-41.
-
(2002)
Communications of the ACM
, vol.45
, Issue.2
, pp. 39-41
-
-
Guninger, M.1
Lee, J.2
-
23
-
-
0036994361
-
Timber: A native xml database
-
Jagadish H.V., Al-Khalifa S., Chapman A., Lakshmanan L.V.S., Nierman A., Paparizos S., Patel J.M., Srivastava D., Wiwatwattana N., Wu Y., Yu C. Timber: a native xml database. The VLDB Journal. 11:(4):2002;274-291.
-
(2002)
The VLDB Journal
, vol.11
, Issue.4
, pp. 274-291
-
-
Jagadish, H.V.1
Al-Khalifa, S.2
Chapman, A.3
Lakshmanan, L.V.S.4
Nierman, A.5
Paparizos, S.6
Patel, J.M.7
Srivastava, D.8
Wiwatwattana, N.9
Wu, Y.10
Yu, C.11
-
24
-
-
0036326067
-
Structure/function of α-synuclein in health and disease: Rational development of animal models for parkinson's and related diseases
-
Kahle P.J., Haass C., Kretzschmar H.A., Neumann M. Structure/function of α-synuclein in health and disease: rational development of animal models for parkinson's and related diseases. Journal of Neurochemistry. 82:2002;449-457.
-
(2002)
Journal of Neurochemistry
, vol.82
, pp. 449-457
-
-
Kahle, P.J.1
Haass, C.2
Kretzschmar, H.A.3
Neumann, M.4
-
25
-
-
0034040680
-
An ontology for biological function based on molecular interactions
-
Karp P.D. An ontology for biological function based on molecular interactions. Bioinformatics. 16:2000;269-285.
-
(2000)
Bioinformatics
, vol.16
, pp. 269-285
-
-
Karp, P.D.1
-
27
-
-
0032895464
-
EcoCyc: Encyclopedia of the Escherichia coli genes and metabolism
-
Karp P., Riley M., Paley S., Pellegrini-Toole A., Krummenacker M. EcoCyc: encyclopedia of the Escherichia coli genes and metabolism. Nucleic Acids Research. 27:1999;55-58.
-
(1999)
Nucleic Acids Research
, vol.27
, pp. 55-58
-
-
Karp, P.1
Riley, M.2
Paley, S.3
Pellegrini-Toole, A.4
Krummenacker, M.5
-
28
-
-
0033964238
-
The ecocyc and metacyc databases
-
Karp P., Riley M., Saier M., Paulsen I., Pellegrini-Toole A. The ecocyc and metacyc databases. Nucleic Acids Research. 28:2000;56-59.
-
(2000)
Nucleic Acids Research
, vol.28
, pp. 56-59
-
-
Karp, P.1
Riley, M.2
Saier, M.3
Paulsen, I.4
Pellegrini-Toole, A.5
-
29
-
-
0029333530
-
Logical foundations of object-oriented and frame-based languages
-
Kifer M., Lausen G., Wu J. Logical foundations of object-oriented and frame-based languages. Journal of the ACM. 42:(4):1995;741-843.
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
, pp. 741-843
-
-
Kifer, M.1
Lausen, G.2
Wu, J.3
-
31
-
-
84941264225
-
A model-based mediator system for scientific data management
-
T. Critchlow, & Z. Lacroix. Los Altos: Morgan Kaufmann
-
Ludäscher B., Gupta A., Martone M.E. A model-based mediator system for scientific data management. Critchlow T., Lacroix Z. Bioinformatics: Managing scientific data. 2003;Morgan Kaufmann, Los Altos.
-
(2003)
Bioinformatics: Managing scientific data
-
-
Ludäscher, B.1
Gupta, A.2
Martone, M.E.3
-
32
-
-
0242639762
-
-
National Library of Medicine
-
National Library of Medicine (2003). UMLS documentation. http://www.nlm.nih.gov/research/umls/UMLSDOC_2003AA.pdf .
-
(2003)
UMLS Documentation
-
-
-
33
-
-
83455265326
-
Description logics in medical informatics
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, & P. Patel-Schneider. Cambridge: Cambridge University Press
-
Rector A. Description logics in medical informatics. Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P. The description logic handbook - theory, implementation and applications. 2003;Cambridge University Press, Cambridge.
-
(2003)
The description logic handbook - theory, implementation and applications
-
-
Rector, A.1
-
34
-
-
49149147322
-
A logic for default reasoning
-
Reiter R. A logic for default reasoning. Artificial Intelligence. 13:(1/2):1980;81-132.
-
(1980)
Artificial Intelligence
, vol.13
, Issue.1-2
, pp. 81-132
-
-
Reiter, R.1
-
36
-
-
85030942372
-
-
European Media Lab (EML). pp. 83-88
-
Stevens R., Goble C., Paton N., Bechhofer S., Ng G., Baker P., Brass A. Complex query formulation over diverse information sources in TAMBIS. In Workshop on Computation of Biochemical Pathways and Genetic Networks. 1999;European Media Lab (EML). pp. 83-88.
-
(1999)
Complex query formulation over diverse information sources in TAMBIS. In Workshop on Computation of Biochemical Pathways and Genetic Networks
-
-
Stevens, R.1
Goble, C.2
Paton, N.3
Bechhofer, S.4
Ng, G.5
Baker, P.6
Brass, A.7
-
38
-
-
71149116148
-
The well-founded semantics for general logic programs
-
Van Gelder A., Ross K., Schlipf J.S. The well-founded semantics for general logic programs. Journal of the ACM. 38:(3):1991;620-650.
-
(1991)
Journal of the ACM
, vol.38
, Issue.3
, pp. 620-650
-
-
Van Gelder, A.1
Ross, K.2
Schlipf, J.S.3
|