C. Raymond Perrault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1975–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IJCAR | An Empirical Assessment of Progress in Automated Theorem Proving. | Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid |
| 1983 | ACL | On the Mathematical Properties of Linguistic Theories. | C. Raymond Perrault |
| 1979 | ACL | Plans, Inference, and Indirect Speech Acts. | James F. Allen, C. Raymond Perrault |
| 1977 | IJCAI | Overview of 'Planning Speech Acts' | C. Raymond Perrault, P. R. Kohen |
| 1975 | STOC | Intercalation Theorems for Tree Transducer Languages | C. Raymond Perrault |