Mathematical Logic Foundations

Research Frontiers in Concrete Domains and Feature Logic

Studies feature logic with concrete domains for knowledge representation, combining symbolic reasoning with continuous constraint satisfaction.

All Mathematical Logic & Foundations PhD categories