Publications

of Manuel V. Hermenegildo

Articles in journal, book chapters

  1. Philipp Körner, Michael Leuschel, Joăo Barbosa, Větor Santos Costa, Manuel V. Hermenegildo, Jose Morales, Jan Wielemaker, Giovanni Ciatto, Verónica Dahl, Daniel Diaz, and Salvador Abreu. 50 Years of Prolog and Beyond. arXiv preprint arXiv:2201.10816, 2022. Keyword(s): Prolog, logic programming systems, portability, rationale, evolution, vision.

Conference articles

  1. R. Haemmerlé, P. Lopez-Garcia, and M.V. Hermenegildo. CLP Projection for Constraint Handling Rules. In Michael Hanus, editor, PPDP11l, pages 137-148, July 2011. ACM. [doi:10.1145/2003476.2003496] Keyword(s): semantics, related formalisms, termination, confluence.

BACK TO INDEX