Craig MacNish

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

David A. Duffy, Craig MacNish, John Alexander McDermid, Philip Morris
A Framework for Requirements Analysis Using Automated Reasoning CAiSE (1995)
Craig MacNish, Antony Galton, John Gooday
QSQR: Quantitatively Scoped Qualitative Reasoning. SCAI (1993)
Craig MacNish
Knowledge without Modality: A Simplified Framework for Chronological Ignorance. JELIA (1992)
Craig MacNish
Hierarchical Default Logic. ECSQARU (1991)
Craig MacNish, Frank Fallside
Temporal reasoning: a solution for multiple agent collision avoidance. ICRA (1990)