Nadia Creignou

Aix Marseille Université , Université de Toulon , CNRS , LIS , Marseille , France

2 papers in the IJCAI proceedings

IJCAI 2018

Belief Update in the Horn Fragment

with Adrian Haret, Odile Papini, Stefan Woltran

doi:10.24963/ijcai.2018/246

Details PDF

IJCAI 2013

Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

with Reinhard Pichler, Stefan Woltran

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings