Logic

Research Frontiers in Logic Programs and Negation as Failure

Studies semantics of logic programming with negation focusing on completion semantics and closed-world assumption.

All Logic PhD categories