Temporal reasoning: a solution for multiple agent collision avoidance. - Craig MacNish; Frank Fallside (ICRA, 1990)

Hierarchical Default Logic. - Craig MacNish (ECSQARU, 1991)

Knowledge without Modality: A Simplified Framework for Chronological Ignorance. - Craig MacNish (JELIA, 1992)

Nonmonotonic inference systems for modelling dynamic processes. - Craig Gordon MacNish (1992)

QSQR: Quantitatively Scoped Qualitative Reasoning. - Craig MacNish; Antony Galton; John Gooday (SCAI, 1993)

A Framework for Requirements Analysis Using Automated Reasoning - David A. Duffy; Craig MacNish; John A. McDermid; Philip Morris (CAiSE, 1995)

Processing Natural Language Software Requirement Specifications. - Miles Osborne; Craig K. MacNish (ICRE, 1996)

Nonmonotonic Temporal Reasoning: a Logic-based Approach to Declarative Modeling. - Craig K. MacNish (Cybern. Syst., 1998)