An Approach to Abductive Reasoning in Equational Logic

Mnacho Echenim, Nicolas Peltier, Sophie Tourret. An Approach to Abductive Reasoning in Equational Logic. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 531-537, IJCAI/AAAI, 2013. [doi]

@inproceedings{EchenimPT13,
  title = {An Approach to Abductive Reasoning in Equational Logic},
  author = {Mnacho Echenim and Nicolas Peltier and Sophie Tourret},
  year = {2013},
  url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6624},
  researchr = {https://researchr.org/publication/EchenimPT13},
  cites = {0},
  citedby = {0},
  pages = {531-537},
  booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  editor = {Francesca Rossi},
  publisher = {IJCAI/AAAI},
  isbn = {978-1-57735-633-2},
}