Research

Publications

Publications

2018

  1. Everardo, F. (2018). From Music Production to Sampling and Navigation with XOR Constraints in Answer Set Programming. In Workshop on Trends and Applications of Answer Set Programming (TAASP 18). Technischen Universität Wien. [pdf] [bib]

2017

  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]

2016

  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]

2011

  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]