A theory for the representation of knowledge

Matings in matrices

Communications of the ACM

Conceptual structures: information processing in mind and machine

Conceptual structures: information processing in mind and machine

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)

A prolog implementation of lexical functional grammar as a base for a natural language processing system

EACL '83 Proceedings of the first conference on European chapter of the Association for Computational Linguistics

Rules for pronominalization

EACL '83 Proceedings of the first conference on European chapter of the Association for Computational Linguistics

Functional Unification Grammar: a formalism for machine translation

ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics

Automatic construction of discourse representation structures

ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics

What's Important About Knowledge Representation?

Computer

What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks

Computer

Determining Type, Part, Color, and Time Relationships

Computer

Krypton: A Functional Approach to Knowledge Representation

Computer

Epistemological problems of artificial intelligence

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2