M.S. Flavio Everardo

Fax   +49-331-977-3122
Email  flavio.everardo@cs.uni-potsdam.de

Publications

2019

  1. Everardo, F., & Osorio, M. (2019). Towards an answer set programming methodology for constructing programs following a semi-automatic approach. In LANMR (Vol. 2585, pp. 61–72). CEUR-WS.org. [pdf] [bib]
  2. Everardo, F., & Osorio, M. (2019). Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. In LANMR (Selected Papers) (Vol. 354, pp. 29–44). Elsevier. [bib]
  3. Everardo, F., Janhunen, T., Kaminski, R., & Schaub, T. (2019). The Return of xorro. In LPNMR (Vol. 11481, pp. 284–297). Springer. [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 - preliminary report -. In LANMR (Vol. 1659, pp. 82–89). CEUR-WS.org. [pdf] [bib]