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
 

Publications

Results 1-10 of 10 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bogaerts, Bart ; Marynissen, Simon ; Weinzierl, Antonius ; Martinez, Maria Vanina ; Varzinczak, Ivan Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
2Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2018
3Schüller, Peter The Hexlite SolverKonferenzbeitrag Inproceedings 2019
4Schüller, Peter The Hexlite SolverKonferenzbeitrag Inproceedings2018
5Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Solving Configuration Problems with ASP and Declarative Domain Specific HeuristicsKonferenzbeitrag Inproceedings 2021
6Bomanson, Jori ; Janhunen, Tomi ; Weinzierl, Antonius Enhancing Lazy Grounding with Lazy Normalization in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2019
7Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
8Eiter, Thomas ; Falkner, Andreas ; Schneider, Patrik ; Schüller, Peter ASP-Based Signal Plan Adjustments for Traffic Flow OptimizationKonferenzbeitrag Inproceedings 2020
9Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas ; Calimeri, Francesco ; Leone, Nicola ; Manna, Marco Abstraction for Non-ground Answer Set ProgramsKonferenzbeitrag Inproceedings 2019
10Saribatur, Zeynep Gözen ; Schüller, Peter ; Eiter, Thomas Abstraction for Non-Ground Answer Set ProgramsKonferenzbeitrag Inproceedings2018