We are ASP∀: The Answer Set Programming Research Group. We are a group of computer scientists, mathematicians, and practitioners of related disciplines who enjoy the challenge of solving problems in declarative/logical languages like SAT solvers and Answer Set Programming Languages. More specifically, we seek to create educational materials and solutions to computationally difficult problems (NP-Complete and NP-Hard) in CS, math, and AI. While many contemporary tools and formalisms lack efficiency, one of the goals of our work is to discover usable solutions to academic and real-world problems that are solved as fast and efficiently as possible.
If you happen to be interested in these wonderful tools, hope that our software, educational resources, and publications may be of use to you!
If you have any questions about the languages, materials provided, etc., please reach out to us.
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 