On Using Conditional Definitions in Formal Theories.

Jean-Raymond Abrial Louis Mussat

Published in: ZB (2002)

Keyphrases

formal models
ontological engineering
theoretical framework
cognitive psychology
real time
artificial intelligence
case study
machine learning
defeasible logic
random field model