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:
Date Issued:  [2000 TO 2022]

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

PreviewAuthor(s)TitleTypeIssue Date
1Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Solving Configuration Problems with ASP and Declarative Domain Specific HeuristicsKonferenzbeitrag Inproceedings 2021
2Eiter, Thomas ; Ichise, Ryutaro ; Parreira, Josiane Xavier ; Schneider, Patrik ; Zhao, Lihua Deploying Spatial-Stream Query Answering in C-ITS ScenariosArtikel Article 2021
3Dodaro, Carmine ; Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin Managing Caching Strategies for Stream Reasoning with Reinforcement LearningArtikel Article 21-Sep-2020
4Eiter, Thomas ; Falkner, Andreas ; Schneider, Patrik ; Schüller, Peter ASP-Based Signal Plan Adjustments for Traffic Flow OptimizationKonferenzbeitrag Inproceedings 2020
5Bogaerts, Bart ; Marynissen, Simon ; Weinzierl, Antonius Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
6WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MoreArtikel Article 2020
7TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsArtikel Article 2020
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
10Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MorePräsentation Presentation2020
11Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsPräsentation Presentation2020
12Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
13Bomanson, Jori ; Janhunen, Tomi ; Weinzierl, Antonius Enhancing Lazy Grounding with Lazy Normalization in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2019
14Schüller, Peter The Hexlite SolverKonferenzbeitrag Inproceedings 2019
15Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas Abstraction for Non-ground Answer Set ProgramsKonferenzbeitrag Inproceedings 2019
16Saribatur, Zeynep Gözen ; Schüller, Peter ; Eiter, Thomas Abstraction for Non-Ground Answer Set ProgramsKonferenzbeitrag Inproceedings Nov-2018
17Schüller, Peter ; Benz, Mishal Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis GenerationArtikel Article 2018
18Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2018
19Schüller, Peter The Hexlite SolverKonferenzbeitrag Inproceedings2018