Answer Set Programming

By Wolfgang Faber. Formal Methods in Computer-Aided Design, 2012

616 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/573e0d000c21d66f74454655c942337b3a12171e

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Marco Gavanelli
2. Nan Cao
3. Francesca Rossi
4. Xinyue Xu
5. Fuling Sun
6. Jiazhe Wang
7. Qing Chen
8. Zui Chen

Citations in the corpus

• Constraint Logic Programming (2010, background): “We will not give more details on ASP, since it is the subject of another chapter of this book [27].”
• VizLinter: A Linter and Fixer Framework for Data Visualization (2021, background): “…represents static code analysis tools to flag bugs or issues in the programming code, to detect violated rules in the visualization using Answer Set Programming (ASP) [31], a declarative constraint programming language which allows us to model high-level design knowledge into logical facts.”
• Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (2014, unknown): “Moreover there is the possibility of using a hybrid reasoning formalism such as HEX -programs (Eiter et al. 2005) that combine ASP with domain-specific C++ code (e.g., for graph processing).”