Taxonomy of Improvement Operators and the Problem of Minimal Change. - Sébastien Konieczny; Mattia Medina Grespan; Ramón Pino Pérez (KR, 2010)

Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study. - Mattia Medina Grespan; Ashim Gupta; Vivek Srikumar (IJCAI, 2021)

Logic-driven Indirect Supervision: An Application to Crisis Counseling. - Mattia Medina Grespan; Meghan Broadbent; Xinyao Zhang; Katherine Axford; Brent Kious; Zac E. Imel; Vivek Srikumar (ACL (1), 2023)