-
1
-
-
0024304651
-
Efficient implementation of lattice operations
-
January
-
Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11 (1):115-146, January 1989.
-
(1989)
ACM Transactions on Programming Languages and Systems
, vol.11
, Issue.1
, pp. 115-146
-
-
Aït-kaci, H.1
Boyer, R.2
Lincoln, P.3
Nasr, R.4
-
2
-
-
0008953405
-
An empirical analysis of optimization techniques for terminological representation systems
-
B. Nebel, C. Rich, and W. Swartout, editors, Cambridge, MA, USA, October, Morgan Kaufmann
-
Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, and Enrico Franconi. An empirical analysis of optimization techniques for terminological representation systems. In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, pages 270-281, Cambridge, MA, USA, October 1992. Morgan Kaufmann.
-
(1992)
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning
, pp. 270-281
-
-
Baader, F.1
Hollunder, B.2
Nebel, B.3
Profitlich, H.-J.4
Franconi, E.5
-
3
-
-
84976775922
-
Efficient handling of multiple inheritance hierarchies
-
Washington, DC, USA, September
-
Yves Caseau. Efficient handling of multiple inheritance hierarchies. In Proceedings of OOPSLA '93, pages 271-287, Washington, DC, USA, September 1993.
-
(1993)
Proceedings of OOPSLA '93
, pp. 271-287
-
-
Caseau, Y.1
-
5
-
-
85028850210
-
Efficient retrieval from hierarchies of objects using lattice operations
-
Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors, number 699 in Lecture Notes in Artificial Intelligence, Berlin, Springer-Verlag
-
Gerard Ellis. Efficient retrieval from hierarchies of objects using lattice operations. In Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors, Conceptual Graphs for Knowledge Representation, number 699 in Lecture Notes in Artificial Intelligence, pages 274-293, Berlin, 1993. Springer-Verlag.
-
(1993)
Conceptual Graphs for Knowledge Representation
, pp. 274-293
-
-
Ellis, G.1
-
6
-
-
0042857192
-
Managing Complex Objects
-
Computer Science Department, The University of Queensland, Queensland, Australia, February
-
Gerard Ellis. Managing Complex Objects. PhD thesis, Computer Science Department, The University of Queensland, 4072, Queensland, Australia, February 1995.
-
(1995)
PhD thesis
, vol.4072
-
-
Ellis, G.1
-
8
-
-
0002992006
-
Embedding partially ordered sets into chain-products
-
University of California, Santa Cruz, August 11-13
-
Michel Habib, Marianne Huchard, and Lhouari Nourine. Embedding partially ordered sets into chain-products. In Proceedings of International KRUSE’95 Conference: Knowledge Use, Retrieval and Storage for Efficiency, pages 147-161. University of California, Santa Cruz, August 11-13 1995.
-
(1995)
Proceedings of International KRUSE’95 Conference: Knowledge Use, Retrieval and Storage for Efficiency
, pp. 147-161
-
-
Habib, M.1
Huchard, M.2
Nourine, L.3
-
9
-
-
0020979057
-
A self-organizing retrieval system for graphs
-
Austin, Texas, AAAI Press, Menlo Park
-
Robert A. Levinson. A self-organizing retrieval system for graphs. In The 3rd National Conference of the American Association for Artificial Intelligence, pages 203-206, Austin, Texas, 1984. AAAI Press, Menlo Park.
-
(1984)
The 3rd National Conference of the American Association for Artificial Intelligence
, pp. 203-206
-
-
Levinson, R.A.1
-
10
-
-
3042916751
-
A KL-ONE classifier
-
James G. Schmolze and Ronald J. Brachman, editors, Cambridge, MA, June, Published as Bolt Beranek and Newmann Inc. BBN Report № 4842 and Fairchild Technical Report № 618
-
Thomas A. Lipkis. A KL-ONE classifier. In James G. Schmolze and Ronald J. Brachman, editors, 1981 KL-ONE Workshop, pages 128-145, Cambridge, MA, June 1982. Published as Bolt Beranek and Newmann Inc. BBN Report № 4842 and Fairchild Technical Report № 618.
-
(1982)
1981 KL-ONE Workshop
, pp. 128-145
-
-
Lipkis, T.A.1
-
11
-
-
84990565121
-
A deductive pattern matcher
-
Saint Paul, MI, AAAI Press, Menlo Park
-
Robert MacGregor. A deductive pattern matcher. In The 7th National Conference of the American Association for Artificial Intelligence, pages 403-408, Saint Paul, MI, 1988. AAAI Press, Menlo Park.
-
(1988)
The 7th National Conference of the American Association for Artificial Intelligence
, pp. 403-408
-
-
MacGregor, R.1
-
13
-
-
84949017448
-
Conceptual scaling
-
Technische Hochschule Darmstadt, D-6100 Darmstadt, Schlossgartenstrasse
-
Bernhard Ganter & Rudolf Wille. Conceptual scaling. Technical Report 1174, Technische Hochschule Darmstadt, D-6100 Darmstadt, Schlossgartenstrasse 7, 1988.
-
(1988)
Technical Report 1174
, vol.7
-
-
Ganter, B.1
Wille, R.2
|