Craig MacNish
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1990–1995
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | CaiSE | A Framework for Requirements Analysis Using Automated Reasoning | David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris |
| 1992 | JELIA | Knowledge without Modality: A Simplified Framework for Chronological Ignorance. | Craig MacNish |
| 1991 | ECSQARU | Hierarchical Default Logic. | Craig MacNish |
| 1990 | ICRA | Temporal reasoning: a solution for multiple agent collision avoidance. | Craig MacNish, Frank Fallside |