464 citations
- Graz University of TechnologyAT18 papers
- Stellenbosch UniversityZA18 papers
- Lakeside LabsAT11 papers
- TU WienAT11 papers
- Max Planck Institute for Dynamics of Complex Technical SystemsDE8 papers
- Politecnico di MilanoIT8 papers
- TU Dortmund UniversityDE8 papers
- University of ViennaAT8 papers
- Technical University of MunichDE7 papers
- Universität InnsbruckAT7 papers
- University of SalzburgAT7 papers
- University of UdineIT7 papers
20 papers · 1 filter
Scalability of Reinforcement Learning Methods for Dispatching in Semiconductor Frontend Fabs: A Comparison of Open-Source Models with Real Industry Datasets
Patrick Stöckermann, Henning Südfeld, Alessandro Immordino +7
Benchmark datasets are crucial for evaluating approaches to scheduling or dispatching in the semiconductor industry during the development and deployment phases. However, commonly…
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin +1
Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integrate domain-specific heuristics with Answer Set Pro…
How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
Patrick Rodler
This work proposes a taxonomy for diagnosis computation methods which allows their standardized assessment, classification and comparison. The aim is to (i) give researchers and pr…
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
The Job-shop Scheduling Problem (JSP) is a well-known and challenging combinatorial optimization problem in which tasks sharing a machine are to be arranged in a sequence such that…
RBF-HS: Recursive Best-First Hitting Set Search
Patrick Rodler
Various model-based diagnosis scenarios require the computation of most preferred fault explanations. Existing algorithms that are sound (i.e., output only actual fault explanation…
ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser +7
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual…