Logic

Research Frontiers in Abductive Reasoning and Hypothesis Selection

Studies formal methods for inferring likely explanations from observations with application to diagnosis and discovery.

All Logic PhD categories