Skip to main content
Erschienen in: KI - Künstliche Intelligenz 2-3/2018

01.08.2018 | Editorial

Special Issue on Answer Set Programming

verfasst von: Torsten Schaub, Stefan Woltran

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 …

Excerpt

“What is Answer Set Programming? And what can it do for me?” might have been the questions you had in mind when taking up this special issue. Let’s start with your first question. Answer Set Programming, or ASP for short, is a rule-based formalism for modeling and solving knowledge-intense combinatorial (optimization) problems. What makes ASP attractive is its combination of a declarative modeling language with highly effective solving engines. This allows you to concentrate on specifying—rather than programming the algorithm for solving—a problem at hand. Historically, ASP has its roots in deductive databases, logic programming, and non-monotonic reasoning; its solving engines draw on the same technology as solvers for satisfiability testing. Given this origin, ASP is tailored to support closed as well as open world reasoning, which makes it predestined for knowledge representation and reasoning tasks. …

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!

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.

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!

Weitere Produktempfehlungen anzeigen
Metadaten
Titel
Special Issue on Answer Set Programming
verfasst von
Torsten Schaub
Stefan Woltran
Publikationsdatum
01.08.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-0554-8

Weitere Artikel der Ausgabe 2-3/2018

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

News

News

Systems Description

The DLVHEX System

Premium Partner