Craig MacNish

According to our database, Craig MacNish authored at least 8 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Nonmonotonic Temporal Reasoning: a Logic-based Approach to Declarative Modeling.

Craig K. MacNish

Cybern. Syst., 1998

1996

Processing Natural Language Software Requirement Specifications.

Miles Osborne, Craig K. MacNish

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995

A Framework for Requirements Analysis Using Automated Reasoning

David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris

Proceedings of the Advanced Information Systems Engineering, 7th International Conference, 1995

1993

QSQR: Quantitatively Scoped Qualitative Reasoning.

Craig MacNish, Antony Galton, John Gooday

Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, 1993

1992

Nonmonotonic inference systems for modelling dynamic processes.

Craig Gordon MacNish

PhD thesis, 1992

Knowledge without Modality: A Simplified Framework for Chronological Ignorance.

Craig MacNish

Proceedings of the Logics in AI, European Workshop, 1992

1991

Hierarchical Default Logic.

Craig MacNish

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990

Temporal reasoning: a solution for multiple agent collision avoidance.

Craig MacNish, Frank Fallside

Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990