This repository accompanies of the PhD thesis manuscript of Mathieu Bolteau by providing illustrative notebooks of concepts presented in the manuscript.
This repository comprises 3 notebooks, each corresponding to an illustration of a program or a concept presented in the manuscript.
The first notebook illustrates the Program 3.1 of the manuscript.
The second notebook illustrates the Program 3.2 of the manuscript.
The third notebook illustrates the Constraint 2 of the program
To execute and test the ASP examples provided in the notebooks, we recommend using Binder, an online platform that provides access to an executable environment. Please click on the following link: https://mybinder.org/v2/gh/mathieubolteau/Bolteau_PhD_Thesis_Supplement/master.
In a notebook, to execute an ASP program, click on a cell and then on Run (or press Ctrl+Enter). The result will be printed below the cell.
Mathieu Bolteau
- @mathieubolteau
- mathieu.bolteau@ls2n.fr
- Nantes Université, Ecole Centrale Nantes, CNRS, LS2N, UMR 6004, F-44000, Nantes