Logic

Research Frontiers in Non-Monotonic Logic and Default Reasoning

Develops logical frameworks accommodating defeasible inferences and exceptions in knowledge representation systems.

All Logic PhD categories