Nombre de documents

22

About


I am an assistant professor in Grenoble INP-Ensimag. I am a member of the CAPP group of the Grenoble Informatics Laboratory (LIG).


Article dans une revue6 documents

Communication dans un congrès10 documents

  • Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Quantifier-Free Equational Logic and Prime Implicate Generation. Amy P. Felty and Aart Middeldorp. CADE-25, Jul 2015, Berlin, Germany. Springer, 9195, pp.311-325, 2015, 25th International Conference on Automated Deduction. <10.1007/978-3-319-21401-6_21>. <hal-01363987>
  • Mnacho Echenim, Nicolas Peltier, Sophie Tourret. A Rewriting Strategy to Generate Prime Implicates in Equational Logic. Stéphane Demri, Deepak Kapur and Christoph Weidenbach. IJCAR 2014, Jul 2014, Vienna, Austria. Springer, 8562, pp.137-151, 2014, Lecture Notes in Computer Science. <hal-01018692>
  • Mnacho Echenim, Nicolas Peltier, Sophie Tourret. A Rewriting Strategy to Generate Prime Implicates in Equational Logic. IJCAR 2014, Jul 2014, Vienna, Austria. Springer, 8562, pp.137-151, 2014, Automated Reasoning - 7th International Joint Conference. <hal-01132797>
  • Mnacho Echenim, Nicolas Peltier, Sophie Tourret. A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. PAAR 2014, Jul 2014, Vienna, Austria. 4th Workshop on Practical Aspects of Automated Reasoning. <hal-01132801>
  • Mnacho Echenim, Nicolas Peltier, Sophie Tourret. A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic. ADDTC 2014, Jul 2014, Vienna, Austria. 2014, Automated Deduction: Decidability, Complexity, Tractability. <hal-01132800>
  • Mnacho Echenim, Nicolas Peltier, Sophie Tourret. An Approach to Abductive Reasoning in Equational Logic. Francesca Rossi. IJCAI 2013 - International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. AAAI Press, pp.531-537, 2013. <hal-00934278>
  • Mnacho Echenim, Nicolas Peltier, Sophie Tourret. A Superposition Strategy for Abductive Reasoning in Ground Equational Logic. Maria Paola Bonacina and Maribel Fern andez. IWS 2012 - International Workshop on Strategies in Rewriting, Proving and Programming (IJCAR 2012 workshop ), Jul 2012, Manchester, United Kingdom. pp.4-11, 2012. <hal-00933582>
  • Mnacho Echenim, Nicolas Peltier. Reasoning on Schemata of Formulæ. Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. AISC 2012 - Artificial Intelligence and Symbolic Computation (Part of CICM 2012), Jul 2012, Bremen, Germany. Springer, 7362, pp.310-325, 2012, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-31374-5_21>. <hal-00933516>
  • Mnacho Echenim, Nicolas Peltier. A Calculus for Generating Ground Explanations. Bernhard Gramlich, Dale Miller, Uli Sattler. IJCAR 2012 - International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. Springer, pp.194-209, 2012, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-31365-3_17>. <hal-00933272>
  • Mnacho Echenim, Nicolas Peltier. Instantiation of SMT Problems Modulo Integers. Autexier, Serge and Calmet, Jacques and Delahaye, David and Ion, PatrickD.F. and Rideau, Laurence and Rioboo, Renaud and Sexton, AlanP. International Conference on Artificial Intelligence and Symbolic Computation, 2010, Paris, France. Springer Berlin Heidelberg, 6167, pp.49-63, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-14128-7_6>. <hal-00940668>

Pré-publication, Document de travail2 documents

  • Thierry Boy de La Tour, Mnacho Echenim. Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries. 18 pages. 2011. <hal-00940852>
  • Mnacho Echenim, Nicolas Peltier. Instantiation of SMT problems modulo Integers. Research report, long version of our AISC 2010 paper. 2010. <hal-00940677>

Rapport3 documents

  • Mnacho Echenim, Nicolas Peltier. A Calculus for Generating Ground Explanations (Technical Report). 2012. <hal-00933750>
  • Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier. A Resolution Calculus for First-Order Schemata. 2011. <hal-00932856>
  • Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier. A Resolution Calculus for Propositional Schemata. 2011. <hal-00932855>

Thèse1 document

  • Mnacho Echenim. Déduction et Unification dans les Théories Permutatives. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français. <tel-00011236>