Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'd like a recommendation from you guys. Where should I start reading and learning about Answer Set Programming. I have read a paper from Vladimir Lifschitz and Michael Gelfond, "The stable model semantics for logic programming". I'm very confused as my knowledge in this field is very scarce. I am a self-taught programmer with simple maths and logic knowledge.

Can you point me with basic references where I should start, or topics I should read, online tutorials, text-books, etc.


share|cite|improve this question

I would definitely recommend the book

Knowledge Representation, Reasoning and Declarative Problem Solving

by Chitta Baral. It covers both theory (syntax, semantics, expressiveness, ...) and practical (programming methodology) information. For understanding of the semantics, basic knowledge of math and logic is sufficient.

You should also google for these ASP developer's tools:

POTASSCO (where you can also find good lecture notes)


DLV System

JASP: A Framework for Integrating Answer Set Programming

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.