Title: Reasoning with assumptions, defeasibly, in model formulation
Subjects: Reasoning, Computer-aided design, Programming (Mathematics), Nonmonotonic reasoning