189 citations
- Infineon Technologies (Austria)AT8 papers
- University of KlagenfurtAT4 papers
- TU WienAT3 papers
- Graz University of TechnologyAT2 papers
- Infineon Technologies (Germany)DE2 papers
- Universität InnsbruckAT2 papers
- Aalto UniversityFI1 paper
- AIT Austrian Institute of Technology GmbHAT1 paper
- Alpine Quantum Technologies (Austria)AT1 paper
- Austrian Academy of SciencesAT1 paper
- Carl von Ossietzky Universität OldenburgDE1 paper
- Christian Doppler Laboratory for ThermoelectricityAT1 paper
21 papers
Smart Expansion Techniques for ASP-based Interactive Configuration
Lucia Balážová, Richard Comploi-Taupe, Susana Hahn +2
Product configuration is a successful application of Answer Set Programming (ASP). However, challenges are still open for interactive systems to effectively guide users through the…
SigSPARQL: Signals as a First-Class Citizen When Querying Knowledge Graphs
Tobias Schwarzinger, Gernot Steindl, Thomas Frühwirth +4
Purpose: Cyber-Physical Systems (CPSs) integrate computation and physical processes, producing time series data from thousands of sensors. Knowledge graphs can contextualize these…
Inductive Learning of Declarative Domain-Specific Heuristics for ASP
Richard Comploi-Taupe
Domain-specific heuristics are a crucial technique for the efficient solving of problems that are large or computationally hard. Answer Set Programming (ASP) systems support declar…
Skyrmion automotion in confined counter-sensor device geometries
Kilian Leutner, Thomas Brian Winkler, Johannes Güttinger +2
Magnetic skyrmions are topologically stabilized quasi-particles and are promising candidates for energy-efficient applications, such as storage but also logic and sensing. Here we…
Velocity Reconstruction in Puffing Pool Fires with Physics-Informed Neural Networks
Michael Philip Sitte, Nguyen Anh Khoa Doan
Pool fires are canonical representations of many accidental fires, which can exhibit an unstable unsteady behaviour, known as puffing, which involves a strong coupling between the…
Applying Incremental Answer Set Solving to Product Configuration
Richard Comploi-Taupe, Giulia Francescutto, Gottfried Schenner
In this paper, we apply incremental answer set solving to product configuration. Incremental answer set solving is a step-wise incremental approach to Answer Set Programming (ASP).…