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

11.05.2018 | Project Report

Design Space Exploration with Answer Set Programming

verfasst von: Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko

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

The aim of our project design space exploration with answer set programming is to develop a general framework based on Answer Set Programming (ASP) that finds valid solutions to the system design problem and simultaneously performs Design Space Exploration (DSE) to find the most favorable alternatives. We leverage recent developments in ASP solving that allow for tight integration of background theories to create a holistic framework for effective DSE.
Vorheriger Artikel ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution
Nächster Artikel Answer Set Programming Applied to Coreference Resolution and Semantic Similarity

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.
Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Wanko P (2016) Theory solving made easy with clingo 5. In: Carro M, King A (eds) Technical communications of the thirty-second international conference on logic programming (ICLP’16), vol. 52. OASIcs, pp 2:1–2:15
2.
Janhunen T, Kaminski R, Ostrowski M, Schaub T, Schellhorn S, Wanko P (2017) Clingo goes linear constraints over reals and integers. Theory Pract Log Program 17(5–6):872–888MathSciNetCrossRefMATH
3.
Neubauer K, Haubelt C, Wanko P, Schaub T (2018) Systematic test case instance generation for the assessment of system-level design space exploration approaches. In: 21st workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’18). To appear
4.
Neubauer K, Haubelt C, Wanko P, Schaub T (2018) Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. In: Proceedings of the 23rd Asia and South Pacific design automation conference (ASP-DAC’18), pp 434–439. IEEE
5.
Neubauer K, Wanko P, Schaub T, Haubelt C (2017) Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. In: Proceedings of the 20th conference on design, automation and test in Europe (DATE’17), pp 306–309. IEEE
6.
Neubauer K, Wanko P, Schaub T, Haubelt C (2018) Exact multi-objective design space exploration using ASPmT. In: Proceedings of design, automation and test in Europe (DATE’18). To appear
7.
Pimentel A (2017) Exploring exploration: a utorial introduction to embedded systems design space exploration. IEEE Des Test 34(1):77–90CrossRef
8.
Romero J, Schaub T, Wanko P (2016) Computing diverse optimal stable models. In: Carro M, King A (eds) Technical communications of the thirty-second international conference on logic programming (ICLP’16), vol. 52. OASIcs, pp 3:1–3:14
Metadaten
Titel
Design Space Exploration with Answer Set Programming
verfasst von
Christian Haubelt
Kai Neubauer
Torsten Schaub
Philipp Wanko
Publikationsdatum
11.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-0530-3

Weitere Artikel der Ausgabe 2-3/2018

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

Technical Contribution

Answer Set Programming in Linguistics

Technical Contribution

Answer Set Programming

Systems Description

Developing ASP Programs with ASPIDE and Lo IDE

Editorial

Special Issue on Answer Set Programming

Systems Description

The DLVHEX System

Interview

Interview with Gerhard Brewka