Nadia Creignou

3 papers · 2013–2023 · 2 conferences · across top CS/AI conferences

Achievements

🏃 Academic Marathon (10) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14) 🌍 Conference Polyglot (2) 🌉 Interdisciplinary Bridge 🚀 Conference Pioneer ❓ The Questioner

Conferences

IJCAI (2) AAAI (1)

Top co-authors

Stefan Woltran (2) Johannes Schmidt (1) Odile Papini (1) Adrian Haret (1) Reinhard Pichler (1) Frédéric Olive (1)

Keywords

propositional logic (2) knowledge base (1) automated reasoning (1) belief change (1) belief update (1) horn fragment (1) schaefer's framework (1) computational complexity (1) cardinality minimality (1)

Papers

Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023

Belief Update in the Horn Fragment IJCAI 2018

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