Nombre de documents

23

CV de Mnacho Echenim


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 Propositional Schemata. 2011. <hal-00932855>
  • Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier. A Resolution Calculus for First-Order Schemata. 2011. <hal-00932856>

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>

Communication dans un congrès11 documents

  • Nicolas Peltier, Mnacho Echenim. The Binomial Pricing Model in Finance: A Formalization in Isabelle. Leonardo de Moura. CADE 26, 2017, Gothenburg, Sweden. Springer, 10395, pp.546-562, 2017, 26th International Conference on Automated Deduction. <hal-01562944>
  • 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 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. 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. 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>

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>

Article dans une revue6 documents