Cezary Kaliszyk

2 papers in the IJCAI proceedings

IJCAI 2025

Automated Strategy Invention for Confluence of Term Rewrite Systems

with Liao Zhang, Fabian Mitterwallner, Jan Jakubuv

doi:10.24963/ijcai.2025/526

Details PDF

IJCAI 2022

Learning Higher-Order Logic Programs From Failures

with Stanisław J. Purgał, David M. Cerna

doi:10.24963/ijcai.2022/378

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings