A formal and structured approach to the use of task analysis in accident modelling.

R. M. Botting Chris W. Johnson

Published in: Int. J. Hum. Comput. Stud. (1998)

Keyphrases

structured data
real world
data model
formal model
defeasible argumentation
image processing
xml documents
knowledge representation
logic programming
formal models