ASP Chef is a simple, intuitive web app for analysing answer sets without having to deal with complex tools or programming languages... well, excluding ASP! ASP Chef is...

Generative Datalog is an extension of Datalog that incorporates constructs for referencing parameterized probability distributions. This augmentation transforms the evaluation...