The ASP System DLV: Advancements and Applications

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

Computing, Computer Science, Computer Systems +11

The DLV system for knowledge representation and reasoning

Nicola Leone, Gerald Pfeifer, Wolfgang Faber et al. · ACM Transactions on Computational Logic · 2006 · 1.2K citations · Full text

Computing, Computer Science, Knowledge Representation +9

Answer set programming at a glance

Gerhard Brewka, Thomas Eiter, Mirosław Truszczyński · Communications of the ACM · 2011 · 924 citations

Computing, Computer Science, Programming Languages +3

Applications of Answer Set Programming

Esra Erdem, Michael Gelfond, Nicola Leone · AI Magazine · 2016 · 208 citations · Full text

Computing, Bioinformatics, Computer Science +13

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)

Carmine Dodaro, Philip Gasteiger, Nicola Leone et al. · Theory and Practice of Logic Programming · 2016 · 48 citations

Computing, Computer Science, Industrial Engineering +9