You will be given a definition of a task first, then some input of the task.
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.

We present probabilistic logic programming un der inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic de fault reasoning with conditional constraints. We analyze the semantic properties of the new en tailment relations. We also present algorithms for probabilistic logic prograrruning under inher itance with overriding, and we analyze its com plexity in the propositional case.
Output:
Probabilistic Logic Programming under Inheritance with Overriding