Publikation: Heuristic constraint answer set program...
Stammdaten
Titel: | Heuristic constraint answer set programming |
Untertitel: | |
Kurzfassung: | Constraint answer set programming (CASP) is a family of hybrid approaches integrating answer set programming (ASP) and constraint programming (CP). These hybrid approaches have already proven to be very successful in various domains. In this paper we present the CASP solver ASCASS (A Simple Constraint Answer Set Solver), which provides novel methods for defining and exploiting problem-dependent search heuristics. Beyond the possibility of using already built-in problem-independent heuristics, ASCASS allows on the ASP level the definition of problem-dependent variable selection, value selection and pruning strategies, which guide the search of the CP solver. The concepts are exemplified and evaluated with respect to the real world Partner Units Problem (PUP). Due to a sophisticated heuristic, which cannot be represented by other ASP or CASP solvers, ASCASS shows superior performance. |
Schlagworte: |
Publikationstyp: | Beitrag in Sammelwerk (Autorenschaft) |
Erscheinungsdatum: | 30.08.2016 (Online) |
Erschienen in: |
6th International Workshop on Combinations of Intelligent Methods and Applications (CIMA 2016)
6th International Workshop on Combinations of Intelligent Methods and Applications (CIMA 2016)
(
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 73 - 81 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 30.08.2016 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | - |
Homepage: | http://www.ecai2016.org/content/uploads/2016/08/W9-cima-2016.pdf |
Open Access |
|
AutorInnen
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 |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: |
|
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: |
|