Title: Reasoning from incomplete knowledge in a procedural deduction system
Subjects: Artificial intelligence, Symbolic and mathematical Logic, Theory of Knowledge