Answer Set Solving in Practice

@inproceedings{Gebser2012AnswerSS,
  title={Answer Set Solving in Practice},
  author={Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
  booktitle={Answer Set Solving in Practice},
  year={2012}
}

• Martin Gebser, Roland Kaminski, +1 author Torsten Schaub
• Published 2012 in Answer Set Solving in Practice
• DOI:10.2200/S00457ED1V01Y201211AIM019

Answer set programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of knowledge representation and reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP,aiming at using ASP languages and systems for solving application problems. Starting from the… CONTINUE READING

Save to Library

Create Alert

Cite

View via Publisher