Towards a Logical Framework for Engineering Design Processes.
Filippo A. SalustriPublished in: Knowledge Intensive CAD (2000)
Keyphrases
- engineering design
- logical framework
- conceptual design
- inference rules
- artificial intelligence
- engineering problems
- design processes
- belief revision
- design process
- reasoning tasks
- engineering education
- automated design
- computer science and artificial intelligence
- linear logic
- design theory
- real world
- normative systems
- logic programming
- argumentation frameworks
- epistemic logic