The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.
Jan GacnikHenning JostFrank KösterMartin FränzlePublished in: FORMS/FORMAT (2010)
Keyphrases
- lessons learned
- domain knowledge
- meta level
- future directions
- formal models
- case study
- knowledge representation
- formal model
- reasoning processes
- reasoning process
- reasoning systems
- knowledge base
- logical reasoning
- prior knowledge
- design science
- formal ontologies
- neural network
- knowledge acquired
- design methodology
- domain theory
- automated reasoning
- participatory design
- grounded theory
- legal argument
- domain specific knowledge
- domain experts
- domain specific
- information systems
- real world