A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments.

Rob Weaver Jane Fenn Tim Kelly

Published in: SCS (2003)

Keyphrases

practical reasoning
argumentation schemes
formal theory
neural network
spatial reasoning
qualitative reasoning
argumentation systems
traffic accidents
supreme court
civil aviation
road safety
coal mining
database
legal reasoning
information security
control system
information retrieval
databases