Related Work (cont.)
Abstraction
- Theory of abstraction
- Giunchiglia &.Walsh (1992), Knoblock (1994), Bacchus & Yang (1994)
- Using Relevance
Reasoning about Designs
- Representing designs
- Sembugamoorthy & Chandrasekaran (1986), Chandrasekaran (1994]), Goel (1992) (1998), Bhatta (1994)