Knowledge-based debugging

Robert Balzer began the session by presenting an overview of where debugging fits into knowledge-based programming systems. He distinguished between differences in paradigm (the tr...