-
1
-
-
84862441351
-
Resource description framework (rdf) schema specification
-
August
-
D. Brickley, R. Guha, and A. Layman. Resource description framework (rdf) schema specification. Working draft, W3C, August 1998. http://www.w3c.org/TR/ WD-rdf-schema.
-
(1998)
Working Draft
-
-
Brickley, D.1
Guha, R.2
Layman, A.3
-
3
-
-
84880655104
-
An analysis oftime-dependent planning
-
T. Dean and M. Boddy. An analysis oftime-dependent planning. In Proceedings of AAAI-88, pages 49-54, 1988.
-
(1988)
Proceedings of AAAI-88
, pp. 49-54
-
-
Dean, T.1
Boddy, M.2
-
4
-
-
0001776513
-
Reasoning in description logics
-
Gerhard Brewka, editor CSLI Publications
-
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. Reasoning in description logics. In Gerhard Brewka, editor, Principles of Knowledge Representation, Studies in Logic, Language and Information, pages 193-238. CSLI Publications, 1996.
-
(1996)
Principles of Knowledge Representation, Studies in Logic, Language and Information
, pp. 193-238
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Schaerf, A.4
-
6
-
-
0036199192
-
Ontology langauges for the semantic web
-
January/February
-
A. Gomez-Perez and O. Corcho. Ontology langauges for the semantic web. IEEE Intelligent Systems, January/February:54-60, 2002.
-
(2002)
IEEE Intelligent Systems
, pp. 54-60
-
-
Gomez-Perez, A.1
Corcho, O.2
-
9
-
-
0012256419
-
A conjunctive query language for description logic aboxes
-
Ian Horrocks and Sergio Tessaris. A conjunctive query language for description logic aboxes. In AAAI/IAAI, pages 399-404, 2000.
-
(2000)
AAAI/IAAI
, pp. 399-404
-
-
Horrocks, I.1
Tessaris, S.2
-
10
-
-
0029290445
-
Tractable reasoning via approximation
-
Marco Schaerfand Marco Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74(2):249-310, 1995.
-
(1995)
Artificial Intelligence
, vol.74
, Issue.2
, pp. 249-310
-
-
Marco Cadoli, M.S.1
-
11
-
-
0030102186
-
Knowledge compilation and theory approximation
-
March
-
B. Selman and H. Kautz. Knowledge compilation and theory approximation. Journal of the ACM, 43(2):193-224, March 1996.
-
(1996)
Journal of the ACM
, vol.43
, Issue.2
, pp. 193-224
-
-
Selman, B.1
Kautz, H.2
-
12
-
-
2342423150
-
Exploiting domain knowledge for approximate diagnosis
-
M. Pollack, editor Nagoya, Japan, August
-
A. ten Teije and F. van Harmelen. Exploiting domain knowledge for approximate diagnosis. In M. Pollack, editor, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), pages 454-459, Nagoya, Japan, August 1997.
-
(1997)
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97)
, pp. 454-459
-
-
Ten Teije, A.1
Van Harmelen, F.2
-
14
-
-
0002668912
-
Approximate reasoning using anytime algorithms
-
S. Natarajan, editor Kluwer Academic Publishers
-
S. Zilberstein and S.J. Russell. Approximate reasoning using anytime algorithms. In S. Natarajan, editor, Imprecise and Approximate Computation. Kluwer Academic Publishers, 1995.
-
(1995)
Imprecise and Approximate Computation
-
-
Zilberstein, S.1
Russell, S.J.2
|