Abstract
Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have