Miki Hermann

LIX , CNRS ,; École Polytechnique , Institut Polytechnique de Paris , France

2 papers in the IJCAI proceedings

IJCAI 2024

Primal Grammars Driven Automated Induction

with Adel Bouhoula

doi:10.24963/ijcai.2024/361

Details PDF

IJCAI 2007

Counting Complexity of Propositional Abduction

with Reinhard Pichler

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings