Carlos Mencía

1 paper in the IJCAI proceedings

IJCAI 2020

Reasoning About Inconsistent Formulas

with Joao Marques-Silva

doi:10.24963/ijcai.2020/682

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings