Efficient retrieval from hierarchies of objects using lattice operations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 699 LNAI, Issue , 1993, Pages 274-293

  Ellis, Gerard ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Classification; Lattice operations; Subsumption; Term encoding

Indexed keywords

KNOWLEDGE REPRESENTATION;

CLASSIFICATION METHODS; COMPLEMENTATION; COMPLEX OBJECTS; HIERARCHICAL CLASSIFICATION; HIERARCHICAL STRUCTURES; LATTICE OPERATIONS; STORAGE AND RETRIEVALS; SUBSUMPTION;

CLASSIFICATION (OF INFORMATION);

EID: 85028850210     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56979-0_15     Document Type: Conference Paper

References (13)

1. Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. A GM Transactions on Programming Languages and Systems, 11(1):115-146, January 1989.
2. Hassan Aït-Kaci and Andreas Podelski. Towards a meaning of LIFE. In Jan Maluszyński and Maxtin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer-Vedag, LNCS 528, August 1991.
3. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, and Enrico Franconi. An empirical analysis of optimization techniques for terminological representation systems. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, October 1992.
4. Robert M. Colomb. Implementing persistent Prolog: large, dynamic, shared procedures in Prolog. Ellis Horwood series in computers and their applications. Ellis Horwood, New York, 1990.
5. Gerard Ellis. Compiled hierarchical retrieval. In [11], pages 285-310, 1991. Also in the proceedings of the Sixth Conceptual Graphs Workshop, pages 187-207.
6. Gerard Ellis and Robert A. Levinson, editors. Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench, 1992. Held in association with the Seventh Annual Workshop on Conceptual Graphs, Las Cruces, New Mexico, July 8-10. Available as University of Queensland Technical Report 241, anonymous ftp ftp.cs.uq.oz.au,/pub/pe2rce/TR0241.ps.Z.
7. Shmuel Kliger and Ehud Shapiro. From decision trees to decision graphs. In S. Debray and M. Hermengildo, editors, Proceedings of the North American Conference on Logic Programming, pages 97-116. MIT Press, 1990. Austin, Texas, 29 October-1 November.
8. Robert A. Levinson. A Self-Organizing Retrieval System for Graphs. PhD thesis, University of Texas, May 1985.
9. Robert A. Levinson. Pattern associativity and the retrieval of semantic networks. Computers? J Mathematics with Applications Journal, 23(2):573-600, 1992. Part 2 of special issue on Semantic Networks in Artificial Intelligence, Fritz Lehmann, Guest Editor, Pergamon Press. Also in Semantic Networks in Artificial lntelligenee, F. Lehmann, ed., Pergamon Press, Oxford, 1992. Also appears as Technical Report UCSC-CRL-90-30, University of California, Computer Research Laboratory, Santa Cruz, CA 95064.
10. Robert A. Levinson and Richaxd Snyder. Adaptive pattern oriented chess. In Proceedings of AAAI-91, pages 601-605. Morgan-Kaufman, 1991.
11. Tim Nagle, Jan Nagle, Laurie Gerholz, and Peter Eklund, editors. Conceptual Structures: Current Research and Practice. Ellis Horwood, 1992.
12. James G. Schmolze and Thomas A. Lipkis. Classification in the KL-ONE knowledge representation system. In Alan Bundy, editor, Proceedings of Eighth lnter. national Joint Conference on Artificial Intelligence, Los Altos, California, 1983. William Kanfmann Inc. 8-12th August, Kaslsruhe, West Germany.
13. John F. Sowa. Conceptual Ptructures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984.