-
1
-
-
0014797273
-
A relational model of data for large shared data banks
-
E. F. Codd, "A relational model of data for large shared data banks, " Communications of the ACM, vol. 13, no. 6, pp. 377-387, 1970.
-
(1970)
Communications of the ACM
, vol.13
, Issue.6
, pp. 377-387
-
-
Codd, E.F.1
-
2
-
-
29144450096
-
Description logics as ontology languages for the semantic web
-
Essays in Honor of J̈org Siekmann, ser., D. Hutter and W. Stephan, Eds. Springer
-
F. Baader, I. Horrocks, and U. Sattler, "Description logics as ontology languages for the semantic web, " in Essays in Honor of J̈org Siekmann, ser. Lecture Notes in Artificial Intelligence, D. Hutter and W. Stephan, Eds. Springer, 2003.
-
(2003)
Lecture Notes in Artificial Intelligence
-
-
Baader, F.1
Horrocks, I.2
Sattler, U.3
-
3
-
-
84947570401
-
Modularisation of domain ontologies implemented in description logics and related formalisms including owl
-
in, ACM Press
-
A. L. Rector, "Modularisation of domain ontologies implemented in description logics and related formalisms including owl, in Proceedings of the international conference on Knowledge capture. ACM Press, 2003, pp. 121-128.
-
(2003)
Proceedings of the International Conference on Knowledge Capture
, pp. 121-128
-
-
Rector, A.L.1
-
4
-
-
0035477319
-
Supporting ontological analysis of taxonomic relationships
-
DOI 10.1016/S0169-023X(01)00030-1, PII S0169023X01000301
-
C. Welty and N. Guarino, "Supporting ontological analysis of taxonomic relationships, " Data and Knowledge Engineering, vol. 39, pp. 51-74, 2001. (Pubitemid 32935211)
-
(2001)
Data and Knowledge Engineering
, vol.39
, Issue.1
, pp. 51-74
-
-
Welty, C.1
Guarino, N.2
-
5
-
-
0036196102
-
MusicBrainz: A semantic web service
-
DOI 10.1109/5254.988466
-
A. Swartz, "Musicbrainz: A semantic web service." IEEE Intelligent Systems, vol. 17, no. 1, pp. 76-77, 2002. (Pubitemid 34265874)
-
(2002)
IEEE Intelligent Systems and Their Applications
, vol.17
, Issue.1
, pp. 76-77
-
-
Swartz, A.1
-
6
-
-
33646675765
-
-
Laboratory for Applied Ontology - ISTC-CNR, Trento, Italy, Tech. Rep
-
C. Masolo, S. Borgo, A. Gangemi, N. Guarino, and A. Oltramari, "Wonderweb deliverable d18: Ontology library (final), " Laboratory for Applied Ontology - ISTC-CNR, Trento, Italy, Tech. Rep., 2003.
-
(2003)
Wonderweb Deliverable D18: Ontology Library (Final)
-
-
Masolo, C.1
Borgo, S.2
Gangemi, A.3
Guarino, N.4
Oltramari, A.5
-
7
-
-
11144287594
-
The suggested upper merged ontology: A large ontology for the semantic web and its applications
-
in, Edmonton, Canada
-
A. Pease, I. Niles, and J. Li, "The Suggested Upper Merged Ontology: A large ontology for the semantic web and its applications, " in Working Notes of the AAAI-2002 Workshop on Ontologies and the Semantic Web, Edmonton, Canada, 2002.
-
(2002)
Working Notes of the AAAI-2002 Workshop on Ontologies and the Semantic Web
-
-
Pease, A.1
Niles, I.2
Li, J.3
-
8
-
-
0013450567
-
The ABC ontology and model
-
[Online], Available
-
C. Lagoze and J. Hunter, "The ABC ontology and model, " Journal of Digital Information, vol. 2, no. 2, 2001. [Online]. Available: http://jodi.ecs.soton.ac.uk/Articles/v02/i02/Lagoze/.
-
(2001)
Journal of Digital Information
, vol.2
, Issue.2
-
-
Lagoze, C.1
Hunter, J.2
-
9
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
B. Meltzer and D. Michie, Eds. Edinburgh University Press, [Online]
-
J. McCarthy and P. J. Hayes, "Some philosophical problems from the standpoint of artificial intelligence, " in Machine Intelligence, B. Meltzer and D. Michie, Eds. Edinburgh University Press, 1969, vol. 4, pp. 463- 502. [Online]. Available: http://www-formal. stanford.edu/jmc/mcchay69/mcchay69. html.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
10
-
-
0021466185
-
Towards a general theory of action and time
-
DOI 10.1016/0004-3702(84)90008-0
-
J. Allen, "Towards a general theory of action and time, " Artificial Intelligence, vol. 23, pp. 123-154, 1984. (Pubitemid 14646897)
-
(1984)
Artificial Intelligence
, vol.23
, Issue.2
, pp. 123-154
-
-
Allen James, F.1
-
12
-
-
0006748784
-
The logic of occurrence
-
A. Galton, Ed. London: Academic Press, ch. 5
-
A. Galton, "The logic of occurrence, " in Temporal Logics and their Applications, A. Galton, Ed. London: Academic Press, 1987, ch. 5, pp. 169-196.
-
(1987)
Temporal Logics and their Applications
, pp. 169-196
-
-
Galton, A.1
-
14
-
-
1642497296
-
The event calculus explained
-
M. J. Woolridge and M. Veloso, Eds. Springer
-
M. P. Shanahan, "The event calculus explained, " in Artificial Intelligence Today, Lecture Notes in AI no. 1600, M. J. Woolridge and M. Veloso, Eds. Springer, 1999, pp. 409-430.
-
(1999)
Artificial Intelligence Today, Lecture Notes in AI No. 1600
, pp. 409-430
-
-
Shanahan, M.P.1
-
15
-
-
0000503941
-
Reified temporal theories and how to unreify them
-
A. Galton, "Reified temporal theories and how to unreify them, " in Proceedings of IJCAI'91, 1991.
-
(1991)
Proceedings of IJCAI'91
-
-
Galton, A.1
-
16
-
-
0030142847
-
The token reification approach to temporal reasoning
-
DOI 10.1016/0004-3702(94)00093-X
-
L. Vila and H. Reichgelt, "The token reification approach to temporal reasoning, " Artificial Intelligence, vol. 83, no. 1, pp. 59-74, 1996. [Online]. Available: citeseer.ist.psu.edu/vila93token.html. (Pubitemid 126375459)
-
(1996)
Artificial Intelligence
, vol.83
, Issue.1
, pp. 59-74
-
-
Vila, L.1
Reichgelt, H.2
-
18
-
-
0012982558
-
-
Beckmann Institute, University of Illinois, Tech. Rep. UIUC-BI-AI-96-01
-
P. Hayes, "A catalog of temporal theories, " Beckmann Institute, University of Illinois, Tech. Rep. UIUC-BI-AI-96-01, 1995.
-
(1995)
A Catalog of Temporal Theories
-
-
Hayes, P.1
-
19
-
-
0028392588
-
A survey on temporal reasoning in artificial intelligence
-
L. Vila, "A survey on temporal reasoning in artificial intelligence, " AI Communications, vol. 7, no. 1, pp. 4-28, 1994.
-
(1994)
AI Communications
, vol.7
, Issue.1
, pp. 4-28
-
-
Vila, L.1
-
20
-
-
0028446160
-
XSB as an efficient deductive database engine
-
New York, NY, USA: ACM Press
-
K. Sagonas, T. Swift, and D. S. Warren, "XSB as an efficient deductive database engine, " in SIGMOD '94: Proceedings of the 1994 ACM SIGMOD international conference on Management of data. New York, NY, USA: ACM Press, 1994, pp. 442-453.
-
(1994)
SIGMOD '94: Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data
, pp. 442-453
-
-
Sagonas, K.1
Swift, T.2
Warren, D.S.3
-
21
-
-
84873541730
-
Theory and evaluation of a bayesian music structure extractor
-
J. D. Reiss and G. A. Wiggins, Eds
-
S. Abdallah, K. Noland, M. Sandler, M. Casey, and C. Rhodes, "Theory and evaluation of a bayesian music structure extractor, " in Proceedings of the Sixth International Conference on Music Information Retrieval, J. D. Reiss and G. A. Wiggins, Eds., 2005, pp. 420-425.
-
(2005)
Proceedings of the Sixth International Conference on Music Information Retrieval
, pp. 420-425
-
-
Abdallah, S.1
Noland, K.2
Sandler, M.3
Casey, M.4
Rhodes, C.5
|