1. Everardo, F. (2017). Towards an Automated Multitrack Mixing Tool using Answer Set Programming. In SMC (pp. 422–428). Aalto University. [pdf] [bib]
  2. Everardo, F (2017). Sampling and Search Space with Answer Set Programming. In DC@LPNMR (pp. 1–4). [pdf] [bib]


  1. Muñoz, J., Everardo, F. (2016). Urban Land Use Planning using Answer Set Programming. LANMR 2016. Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning. CEUR-Workshop Proceedings Volume 1659. [pdf] [bib]


  1. Everardo, F. (2011). A Logical Approach for Melodic Variations. Latin American New Methods of Reasoning (LANMR) 2011 (November 7-8 Toluca Edo. de México) pages 141-149. [pdf] [bib]
  2. Everardo, F., Aguilera, A. (2011). Armin: Automatic Trance Music Composition using Answer Sets Programming. Journal of Fundamenta Informaticae in the Special issue on Logic, Algorithms and Non-monotonic Reasoning 113 v1 (2011). [pdf] [bib]
  3. Everardo, F. (2011). Armin: Automatic Trance Music Composition using Answer Sets Programming (Preliminary Work). XI Encuentro Internacional de Ciencias de la Computación ENC 11. Published in Research in Computer Science Journal (March 21-25 Toluca Edo. de México) pages.229-237.  [pdf] [bib]