Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
KI - Künstliche Intelligenz
Erschienen in: KI - Künstliche Intelligenz 2-3/2018

14.05.2018 | Systems Description

The ASP System DLV: Advancements and Applications

verfasst von: 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

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 2-3/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.
Vorheriger Artikel Industrial Applications of Answer Set Programming
Nächster Artikel The Potsdam Answer Set Solving Collection 5.0

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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.

Jetzt informieren

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!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Literatur
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
Metadaten
Titel
The ASP System DLV: Advancements and Applications
verfasst von
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
Publikationsdatum
14.05.2018
Verlag
Springer Berlin Heidelberg
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 2-3/2018
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-018-0533-0

Weitere Artikel der Ausgabe 2-3/2018

KI - Künstliche Intelligenz 2-3/2018 Zur Ausgabe

Project Report

Advanced Solving Technology for Dynamic and Reactive Applications

Editorial

AI in Germany: Well-Prepared and Eager to Do Something

Systems Description

Dynamic Programming on Tree Decompositions with D-FLAT

Systems Description

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

Project Report

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution

Project Report

ArgueApply: Abstract Argumentation at Your Fingertips