default search action

combined dblp search
author search
venue search
publication search

ask others

Craig MacNish

Craig Gordon MacNish – Craig K. MacNish

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1992
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/MacNish92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/MacNish92
Craig Gordon MacNish:
Nonmonotonic inference systems for modelling dynamic processes. University of Cambridge, UK, 1992

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cas/MacNish98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cas/MacNish98
Craig K. MacNish:
Nonmonotonic Temporal Reasoning: a Logic-based Approach to Declarative Modeling. Cybern. Syst. 29(5): 425-459 (1998)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1996
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icre/OsborneM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icre/OsborneM96
Miles Osborne, Craig K. MacNish:
Processing Natural Language Software Requirement Specifications. ICRE 1996: 229-237
1995
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/DuffyMMM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/DuffyMMM95
David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris:
A Framework for Requirements Analysis Using Automated Reasoning. CAiSE 1995: 68-81
1993
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/scai/MacNishGG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scai/MacNishGG93
Craig MacNish, Antony Galton, John Gooday:
QSQR: Quantitatively Scoped Qualitative Reasoning. SCAI 1993: 30-37
1992
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/MacNish92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/MacNish92
Craig MacNish:
Knowledge without Modality: A Simplified Framework for Chronological Ignorance. JELIA 1992: 25-35
1991
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/MacNish91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/MacNish91
Craig MacNish:
Hierarchical Default Logic. ECSQARU 1991: 246-253
1990
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/MacNishF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/MacNishF90
Craig MacNish, Frank Fallside:
Temporal reasoning: a solution for multiple agent collision avoidance. ICRA 1990: 494-499

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

1994
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/1994
Craig MacNish, David Pearce, Luís Moniz Pereira:
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings. Lecture Notes in Computer Science 838, Springer 1994, ISBN 3-540-58332-7 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.