asp

Model expansion engine for FO(·) with back-end ASP solver Clingo.

A collection of Answer Set Programming exercises. This repository is intended to be a place to store consolidated lessons on Knowledge Representation and Reasoning.

asp.net