Technology
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language
Nash-Webber, Bonnie, Reiter, Raymond
Proc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977.
A general backtrack algorithm that eliminates most redundant tests
In IJCAI-77, p. 457.
Human engineering for applied natural language processing
Proc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977, pp. 183-191.
Levels of complexity in discourse for anaphora disambiguation and speech act interpretation
Also found at aminer.orgProc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977, pp.43-49
Meta-level knowledge: Overview and applications
"We define the concept of meta-level Knowledge, and illustrate it by briefly reviewing four examples that have been described in detail elsewhere. The examples include applications of the idea to tasks such as transfer of expertise from a domain expert to a program, and the maintenance and use of large Knowledge bases. We explore common themes that arise from these examples, and examine broader implications of the idea, in particular its impact on the design and construction of large programs."IJCAI 5, 920-927
Representation of knowledge in a geometry machine
In E. W. Elcock and D. Michie (Eds.), Machine intelligence 8. New York: Wiley, 11-29.
In defence of logic
Proc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977, pp.559-565.
Realizable configurations of lines in pictures of polyhedra
In E. W. Elcock and D. Michie (Eds.), Machine intelligence 8. New York: Wiley.
Good and bad arguments about semantic primitives
Research Rep. 42, Dept. of Artificial Intelligence, University of Edinburgh.