Logic

Research Frontiers in Default Logic and Inheritance Hierarchies

Formalizes default reasoning with exceptions and inheritance in knowledge representation systems using non-monotonic logical frameworks.

All Logic PhD categories