Jens Claßen

2 papers in the IJCAI proceedings

IJCAI 2026

On the Size Complexity and Decidability of First-Order Progression

with Daxin Liu

doi:10.24963/ijcai.2026/423

Details PDF

IJCAI 2024

First-Order Progression beyond Local-Effect and Normal Actions

with Daxin Liu

doi:10.24963/ijcai.2024/385

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings