Mathematical Logic Foundations

Research Frontiers in Closed-World Assumption and Negation-as-Failure

Examines logical foundations of negation-as-failure and closed-world assumptions in logic programming and their connections to stable semantics.

All Mathematical Logic & Foundations PhD categories