M.S. Flavio Everardo

University of Potsdam
Institute of Computer Science
August-Bebel-Str. 89
D-14482 Potsdam

Office complex III, House 4, Room 02.07
directly at the Griebnitzsee S-Bahn station

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



  1. Everardo, F., Janhunen, T., Kaminski, R., & Schaub, T. (2019). The Return of xorro. In LPNMR (Vol. 11481, pp. 284–297). Springer. [pdf] [bib]
  2. 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. [bib]
  3. Everardo, F., & Osorio, M. (2019). Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach. In LANMR (Vol. TBD, p. TBD). CEUR-WS.org. [pdf] [bib]


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


  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]