Publications
References
References
LPNMR 2017: Mario Alviano and Francesco Calimeri and Carmine Dodaro and Davide Fuscà and Nicola Leone and Simona Perri and Francesco Ricca and Pierfrancesco Veltri and Jessica Zangari. The ASP System DLV2.
Künstliche Intelligenz: Weronika T. Adrian and Mario Alviano and Francesco Calimeri and Bernardo Cuteri and Carmine Dodaro and Wolfgang Faber and Davide Fuscà and Nicola Leone and Marco Manna and Simona Perri and Francesco Ricca and Pierfrancesco Veltri and Jessica Zangari. The ASP System DLV: Advancements and Applications.
Download material
Download material
All material for paper submitted at LPNMR 2017 can be downloaded here.
Example 1 of the LPNMR 2017 paper is the following ASP program:
The directive #propagator calls the python file prop.py reported below.