| 1999 |
|---|
| 6 | | R. D. Dormer,
Craig MacNish:
The PAC-Learnability of Planning Algorithms: Investigating Simple Planning Domains.
Inf. Sci. 116(1): 83-95 (1999) |
| 1995 |
|---|
| 5 | | David A. Duffy,
Craig MacNish,
John A. McDermid,
Philip Morris:
A Framework for Requirements Analysis Using Automated Reasoning
CAiSE 1995: 68-81 |
| 1994 |
|---|
| 4 | | Craig MacNish,
David Pearce,
Luís Moniz Pereira:
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings
Springer 1994 |
| 1993 |
|---|
| 3 | | Craig MacNish,
Antony Galton,
John Gooday:
QSQR: Quantitatively Scoped Qualitative Reasoning.
SCAI 1993: 30-37 |
| 1992 |
|---|
| 2 | | Craig MacNish:
Knowledge without Modality: A Simplified Framework for Chronological Ignorance.
JELIA 1992: 25-35 |
| 1991 |
|---|
| 1 | | Craig MacNish:
Hierarchical Default Logic.
ECSQARU 1991: 246-253 |
