Definition: In this task, you are given a part of an article. Your task is to generate headline (title) for this text. Preferred headlines are under fifteen words.
Input: iv

A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics