Answer set solving in practice
HomeNewsSupportResourcesAbout

News

  • 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!

subscribe via RSS

Answer set solving in practice
Privacy

Potassco's ASP course, everything about ASP