News

Nov 11, 2023
Adding slides on systems and logical foundations
May 23, 2022
Controlling
Feb 3, 2021
Adding many exercises
Jan 30, 2021
Meta programming
Jan 24, 2021
Advanced encodings with pimping queens
Jan 23, 2021
Just added some literature on grounding
Jan 22, 2021
Conflict-driven ASP solving: finished uploading videos
Jan 17, 2021
Just added some literature to some workspaces
Jan 12, 2021
Uploaded slides and videos on Boolean constraints
Jan 6, 2021
First bug fix
Jan 6, 2021
Operational characterizations are up and running
Jan 4, 2021
Happy new year with Melvin Fitting and some unfounded sets
Dec 23, 2020
Characterizing stable models in terms of (propositional) formulas
Dec 19, 2020
Wanna read more? Check out our bibliography!
Dec 19, 2020
Computation from first principles: finished uploading videos
Dec 16, 2020
Support needed..?
Dec 16, 2020
Computation from first principles: started uploading videos
Dec 12, 2020
Rule instantiation is ready to rock
Dec 12, 2020
First version of grounding slides and videos up and running
Dec 8, 2020
First project is up!
Dec 7, 2020
The practice material on modeling is online
Dec 4, 2020
Added practice material of the introduction
Dec 1, 2020
First grounding material added
Nov 25, 2020
First time adding exercises
Nov 19, 2020
Finished publishing videos on language
Nov 17, 2020
Started publishing videos on language
Nov 17, 2020
Replaced buggy video introduction/language
Nov 7, 2020
Basic modeling (and playlists) are up and running
Nov 6, 2020
Added videos for n-queens puzzle and traveling salesperson problem
Nov 5, 2020
Cheat slides added!
Nov 4, 2020
Preliminary release of first three parts of our ASP course
Nov 3, 2020
Migrated language extensions
Nov 3, 2020
Welcome to Jekyll!