TY  - GEN
A1  - Neubauer, Kai
A1  - Wanko, Philipp
A1  - Schaub, Torsten
A1  - Haubelt, Christian
T1  - Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation
T2  - Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017
N2  - The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined Answer Set Programming (ASP) and Quantifier Free Integer Difference Logic (QF-IDL) solving has been shown to be a promising approach in system synthesis. However, this approach still has several restrictions limiting its applicability. In the paper at hand, we propose a novel ASP modulo Theories (ASPmT) system synthesis approach, which (i) supports more sophisticated system models, (ii) tightly integrates the QF-IDL solving into the ASP solving, and (iii) makes use of partial assignment checking. As a result, more realistic systems are considered and an early exclusion of infeasible solutions improves the entire system synthesis.
Y1  - 2017
SN  - 978-3-9815370-9-3
U6  - https://doi.org/10.23919/DATE.2017.7927005
SN  - 1530-1591
SP  - 306
EP  - 309
PB  - IEEE
CY  - New York
ER  - 
TY  - JOUR
A1  - Mai, Laura
A1  - Elsässer, Joshua Philipp
T1  - Orchestrating global climate governance through data
BT  - the UNFCCC secretariat and the global climate action platform
JF  - Global environmental politics
N2  - Since the adoption of the Paris Agreement, the focus of the United Nations climate regime has shifted from forging consensus among national governments toward animating implementation activity across multiple levels. 
Based on a case study of the Global Climate Action Portal-an online database designed to document nonstate actor climate commitments and implementation efforts-we trace, conceptualize, and assess how the roles of data, data infrastructures, and actor constellations have changed as a result of this shift. 
We argue that in the pre-COP21 negotiation phase, the United Nations Climate Secretariat strategically used the database to orchestrate and leverage nonstate actor commitments to exert pressure on intergovernmental negotiations. 
By contrast, in the post-COP21 implementation phase, the Secretariat, in collaboration with climate data specialists, is seeking to develop the portal to track and animate implementation activity. 
Given these developments, we discuss the potential and limitations of data-driven climate governance and set out avenues for future research.
Y1  - 2022
U6  - https://doi.org/10.1162/glep_a_00667
SN  - 1526-3800
SN  - 1536-0091
VL  - 22
IS  - 4
SP  - 151
EP  - 172
PB  - MIT Press
CY  - Cambridge
ER  -