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
9 papers · 1 filter
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…
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…
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).…
Rail Topology Ontology: A Rail Infrastructure Base Ontology
Stefan Bischof, Gottfried Schenner
Engineering projects for railway infrastructure typically involve many subsystems which need consistent views of the planned and built infrastructure and its underlying topology. C…
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Richard Taupe, Konstantin Schekotihin, Peter Schüller +2
Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific…
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy groundin…