Publikation: Industrial Applications of Answer Set P...
Stammdaten
Titel: | Industrial Applications of Answer Set Programming |
Untertitel: | |
Kurzfassung: | Automated problem solving in combination with declarative specifications of search-problems have shown to substantially improve the implementation and maintenance costs as well as the man-machine interaction of deployed industrial applications. The knowledge representation and reasoning (KRR) framework of answer set programming (ASP) offers a rich representation language and high performance solvers. Therefore, ASP has become very attractive for the representation and solving of search-problems both for academia and industry. This article focuses on the latest industrial applications of ASP. We do not only present successful applications of ASP but also describe the development process and the design of ASP programs in an industrial context. Finally, we discuss current approaches to tackle the most significant application challenges such as grounding and runtime improvements by heuristics. |
Schlagworte: | Answer set programing, Applications |
Publikationstyp: | Beitrag in Zeitschrift (Autorenschaft) |
Erscheinungsdatum: | 08.2018 (Print) |
Erschienen in: |
KI - Künstliche Intelligenz
KI - Künstliche Intelligenz
(
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Heftnummer: | Vol. 32 |
Erstveröffentlichung: | Ja |
Seite: | S. 165 - 176 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 08.2018 |
ISBN: | - |
ISSN: | - |
Homepage: | https://link.springer.com/article/10.1007/s13218-018-0548-6 |
AutorInnen
Andreas A. Falkner (extern) |
Gerhard Friedrich (intern) |
Konstantin Schekotihin (intern) |
Richard Taupe (intern) |
Erich Christian Teppan (intern) |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Zitationsindex |
Informationen zum Zitationsindex: Master Journal List
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
Siemens AG
|
AT - 9020 Klagenfurt |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |