Benchmarks

xorro benchmarks

To measure xorro performance we used 126 instances from eight classes (5 tight, 3 non-tight) where clingo’s solving time surpasses one second. These benchmarks problems were taken from the second ASP competition, using encodings by the Potassco team.

No encoding or instance has been modified, just parity constraints are appended.

The collection of all problem encodings and instances can be downloaded here:

Extended benchmarks and experiment results

Teaching

ASP Course

ASP Course

Goal: Introduce ASP for the first time to Computer Science students (Bachelor/Master) in a practical way. They should be able to install clingo, build their own programs and learn the basics of using clingo with Python.

Content:

  • Introduction/motivation about what ASP is, workflow and basic example programs. (slides.pdf)
  • Examples: graph_coloring, tsp, n-queens, sudoku
  • The grounding process and output formats (aspif for example).
  • Advanced examples like Hanoi Towers and Incremental Hanoi Towers.
  • Introduce python functionalities for clingo
  • Understand the basics of the solving process by means of exploring clingo’s theory propagator and clingo-python API.
  • Learn the insights of watching literals, checking truth values of literals, get the models in python and implement some integrity constraints in a lazy way.
  • And more…

Material

Resources (Coming Soon)

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]