Title: Abductive inference models for diagnostic problem-solving
Subjects: Abduction (Logic), Artificial intelligence, Problem solving, Reasoning