About ASP∀
Answer Set Programming “For All.”
ASP∀ started with a scattered collection of solutions to problems in logical languages that were stored across a single professor’s computer, which he sought to organize in an online repository. After the study of formal logic and logical programs in graduate school he decided to incorporate these languages and systems in several courses including Artificial Intelligence and Programming Language Paradigms.
As the solutions repository continued to grow he noticed growing organic traffic and watchers, so the project pivoted into a full-fledged Open Educational Resource (OER) on github.com, ASP∀: Answer Set Programming “Algorithms.” With the help of two undergraduate advisees, we were able to publish our first paper regarding the OER at the Florida AI Research Symposium (FLAIRS-39, 2026, Marco Island).
The response was overwhelmingly positive, and the connections made at the conference, as well as existing connections, emboldened us to pull our efforts together as a more formal research group.
Along with expanding the existing repository, we hope to continue to discover and share efficient solutions to computationally difficult problems, create new and related open educational resources, and spread a love of declarative programming.
Trust us, we really wan’t to talk about logic programming. To a fault. it may actually be a bad idea.
ASP∀: The Answer Set Programming Research Group 