Rule Engines and Knowledge-Intensive Processing with Answer Set Programming
Answer Set Programming (ASP) is a software paradigm that can be used to represent knowledge and to solve combinatorial and information-intensive problems. Combinatorial search problems are those believed to not have an efficient way to reduce the spa...