Logic

Research Frontiers in Markov Logic Networks and Weighted Formulas

Explores logical systems combining first-order logic with probabilistic weights to enable statistical relational learning and inference.

All Logic PhD categories