Proceedings

Salvador Lucas

1 paper in the IJCAI proceedings

IJCAI 2020

Proving Semantic Properties as First-Order Satisfiability (Extended Abstract)
doi:10.24963/ijcai.2020/710
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards