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}
}
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
Highly Influential
This paper has highly influenced 37 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 476 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 232 extracted citations

Analyzing XACML policies using answer set programming

International Journal of Information Security • 2018
View 10 Excerpts
Method Support
Highly Influenced

Model Level Design Pattern Instance Detection Using Answer Set Programming

2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE) • 2016
View 6 Excerpts
Highly Influenced

Inductive Logic Programming

Lecture Notes in Computer Science • 2013
View 17 Excerpts
Method Support
Highly Influenced

Handbook of Parallel Constraint Reasoning

Springer International Publishing • 2018
View 10 Excerpts
Highly Influenced

Achievements in answer set programming

TPLP • 2017
View 2 Excerpts
Highly Influenced

Relational data factorization

View 9 Excerpts
Highly Influenced

476 Citations

050'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 476 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 60 references

Logic Programming and Knowledge Representation

Lecture Notes in Computer Science • 1997
View 6 Excerpts
Highly Influenced

Computing answer sets using program completion

Y. Babovich, V. Lifschitz
Unpublished draft, • 2003
View 6 Excerpts
Highly Influenced

Answer Set Solving in Practice

M. Gebser, R. Kaminski, B. Kaufmann, T. Schaub
Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers, • 2012