Dynamic knowledge-based (re)configuration of cyber-physical systems

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
DynaCon
 
Project Title (de) Projekttitel (de)
Dynamic knowledge-based (re)configuration of cyber-physical systems
 
Project Title (en) Projekttitel (en)
Dynamic knowledge-based (re)configuration of cyber-physical systems
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FFG - Österr. Forschungsförderungs- gesellschaft mbH
Grant number Förderkennnummer
861263
 

Publications

Filter:
Author:  WEINZIERL, ANTONIUS

Results 1-12 of 12 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Comploi-Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic ApproachArticle Artikel 5-Jan-2023
2Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Solving Configuration Problems with ASP and Declarative Domain Specific HeuristicsKonferenzbeitrag Inproceedings 2021
3Bogaerts, Bart ; Marynissen, Simon ; Weinzierl, Antonius Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
4WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MoreArtikel Article 2020
5TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsArtikel Article 2020
6Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePräsentation Presentation2020
7Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPräsentation Presentation2020
8Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePreprint Preprint2020
9Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPreprint Preprint2020
10Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
11Bomanson, Jori ; Janhunen, Tomi ; Weinzierl, Antonius Enhancing Lazy Grounding with Lazy Normalization in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2019
12Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2018