# News

### Adding many exercises

### Meta programming

### Advanced encodings with pimping queens

### Just added some literature on grounding

### Conflict-driven ASP solving: finished uploading videos

### Just added some literature to some workspaces

### Uploaded slides and videos on Boolean constraints

### First bug fix

### Operational characterizations are up and running

### Happy new year with Melvin Fitting and some unfounded sets

### Characterizing stable models in terms of (propositional) formulas

### Wanna read more? Check out our bibliography!

### Computation from first principles: finished uploading videos

### Support needed..?

### Computation from first principles: started uploading videos

### Rule instantiation is ready to rock

### First version of grounding slides and videos up and running

### First project is up!

### The practice material on modeling is online

### Added practice material of the introduction

### First grounding material added

### First time adding exercises

### Finished publishing videos on language

### Started publishing videos on language

### Replaced buggy video introduction/language

### Basic modeling (and playlists) are up and running

### Added videos for n-queens puzzle and traveling salesperson problem

### Cheat slides added!

### Preliminary release of first three parts of our ASP course

### Migrated language extensions

### Welcome to Jekyll!

subscribe via RSS