Travelled to:2 × France
Collaborated with:H.Barringer S.Tessaris I.Horrocks
Talks about:algorithm (1) modular (1) tempor (1) system (1) semant (1) driven (1) verif (1) evalu (1) abox (1)
Person: Graham Gough
DBLP: Gough:Graham
Contributed to:
2002
1988Wrote 2 papers:
- KR-2002-TessarisHG #algorithm #composition
- Evaluating a Modular Abox Algorithm (ST, IH, GG), pp. 227–238.
- ESOP-1988-GoughB #semantics #verification
- A Semantics Driven Temporal Verification System (GG, HB), pp. 21–33.