conftrace_

Nadia Creignou

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

Achievements

Jump to papers ↓

+2 more ↓

🏃 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