Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. H. Aït-Kaci, R. Boyer, P. Lincoln, and R. Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages, 11(1):115–146, 1989.
2. H. Aït-Kaci and A. Podelski. Towards a meaning of LIFE. Journal of Logic Programming, 16(3/4):195, 1993.
3. J. Allen. Natural Language Understanding. Benjamin/Cummings Pub. Co, Redwood City, CA, 2 edition, 1995.
4. R. J. Brachman. What IS-A is and isn't: An analysis of taxonomic links in semantic networks. IEEE Computer, 16:30–36, 1983.
5. L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D. MacQueen, and G. Plotkin, editors, Semantics of Data Types. Springer Verlag, Berlin, 1984.