What Is Answer Set Programming?
Abstract
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.
Cite
Text
Lifschitz. "What Is Answer Set Programming?." AAAI Conference on Artificial Intelligence, 2008.Markdown
[Lifschitz. "What Is Answer Set Programming?." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/lifschitz2008aaai-answer/)BibTeX
@inproceedings{lifschitz2008aaai-answer,
title = {{What Is Answer Set Programming?}},
author = {Lifschitz, Vladimir},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2008},
pages = {1594-1597},
url = {https://mlanthology.org/aaai/2008/lifschitz2008aaai-answer/}
}