Mnacho Echenim

2 papers · 2013–2018 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (5) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (12) 🚀 Conference Pioneer

Conferences

IJCAI (2)

Top co-authors

Sophie Tourret (2) Nicolas Peltier (2)

Keywords

automated reasoning (1) first-order logic (1) prime implicate (1) equational logic (1) superposition calculus (1)

Papers

Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018

An Approach to Abductive Reasoning in Equational Logic IJCAI 2013