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


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
 
Funder/Funding Agency Fördergeber
FFG - Österr. Forschungsförderungs- gesellschaft mbH
Grant number Förderkennnummer
861263
 

Results 1-20 of 20 (Search time: 0.006 seconds).

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