Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
KI - Künstliche Intelligenz
Published in: KI - Künstliche Intelligenz 2-3/2018

14-05-2018 | Systems Description

The ASP System DLV: Advancements and Applications

Authors: Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Published in: KI - Künstliche Intelligenz | Issue 2-3/2018

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We briefly describe the answer set programming system DLV, focusing on some of its peculiar features and mentioning a number of successful applications.
previous article Industrial Applications of Answer Set Programming
next article The Potsdam Answer Set Solving Collection 5.0

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Show more products
Literature
1.
Alviano M, Calimeri F, Dodaro C, Fuscà D, Leone N, Perri S, Ricca F, Veltri P, Zangari J (2017) The ASP system DLV2. LPNMR, LNCS, vol 10377. Springer, New York, pp 215–221MATH
2.
Alviano M, Dodaro C, Leone N, Ricca F (2015) Advances in WASP. LPNMR, LNCS, vol 9345. Springer, New York, pp 40–54MATH
3.
Brewka G, Eiter T, Truszczynski M (2011) Answer set programming at a glance. Commun ACM 54(12):92–103CrossRef
4.
Calimeri F, Cozza S, Ianni G, Leone N (2008) Computable functions in ASP: theory and implementation. ICLP, LNCS, vol 5366. Springer, New York, pp 407–424MATH
5.
Calimeri F, Fuscà D, Perri S, Zangari J (2017) I-DLV: the new intelligent grounder of DLV. Intell Artif 11(1):5–20
6.
Dodaro C, Gasteiger P, Leone N, Musitsch B, Ricca F, Schekotihin K (2016) Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). TPLP 16(5–6):653–669MathSciNetMATH
7.
Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53–68CrossRef
8.
Febbraro O, Leone N, Grasso G, Ricca F (2012) JASP: a framework for integrating answer set programming with java. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press, pp 541–551
9.
Febbraro O, Reale K, Ricca F (2011) ASPIDE: integrated development environment for answer set programming. LPNMR, LNCS, vol 6645. Springer, New York, pp 317–330
10.
Fuscà D, Germano S, Zangari J, Anastasio M, Calimeri F, Perri S (2016) A framework for easing the development of applications embedding answer set programming. In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5–7, 2016. ACM, pp 38–49
11.
Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3/4):365–385CrossRefMATH
12.
Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F (2006) The DLV system for knowledge representation and reasoning. ACM ToCL 7(3):499–562MathSciNetCrossRefMATH
13.
Leone N, Ricca F (2015) Answer set programming: a tour from the basics to advanced development tools and industrial applications. RW. Web Logic Rules, Int. Summer School, LNCS, vol 9203. Springer, New York, pp 308–326
Metadata
Title
The ASP System DLV: Advancements and Applications
Authors
Weronika T. Adrian
Mario Alviano
Francesco Calimeri
Bernardo Cuteri
Carmine Dodaro
Wolfgang Faber
Davide Fuscà
Nicola Leone
Marco Manna
Simona Perri
Francesco Ricca
Pierfrancesco Veltri
Jessica Zangari
Publication date
14-05-2018
Publisher
Springer Berlin Heidelberg
Published in
KI - Künstliche Intelligenz / Issue 2-3/2018
Print ISSN: 0933-1875
Electronic ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-018-0533-0

Other articles of this Issue 2-3/2018

KI - Künstliche Intelligenz 2-3/2018 Go to the issue

Systems Description

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

Interview

Interview with Gerhard Brewka

Project Report

Design Space Exploration with Answer Set Programming

Technical Contribution

Answer Set Programming from a Logical Point of View

Technical Contribution

Industrial Applications of Answer Set Programming

Editorial

Special Issue on Answer Set Programming

Premium Partner

    Image Credits