research
∙
06/22/2023
Relevance-Based Compression of Cataract Surgery Videos
In the last decade, the need for storing videos from cataract surgery ha...
share
research
∙
06/09/2023
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming
Constraint Programming (CP) is a declarative programming paradigm that a...
research
∙
02/14/2023
Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning
Semiconductor manufacturing is a notoriously complex and costly multi-st...
research
∙
09/19/2022
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Domain-specific heuristics are an essential technique for solving combin...
research
∙
05/16/2022
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
The Job-shop Scheduling Problem (JSP) is a well-known and challenging co...
research
∙
05/14/2022
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Many industrial applications require finding solutions to challenging co...
research
∙
12/22/2021
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Efficient omission of symmetric solution candidates is essential for com...
research
∙
04/08/2021
A Reinforcement Learning Environment For Job-Shop Scheduling
Scheduling is a fundamental task occurring in various automated systems ...
research
∙
01/25/2021
Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP
Many complex activities of production cycles, such as quality control or...
research
∙
08/07/2020
Managing caching strategies for stream reasoning with reinforcement learning
Efficient decision-making over continuously changing data is essential f...
research
∙
09/18/2019
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Domain-specific heuristics are an important technique for solving combin...
research
∙
07/29/2019
A Distributed Approach to LARS Stream Reasoning (System paper)
Stream reasoning systems are designed for complex decision-making from p...
research
∙
04/02/2019
Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?
Real-world semantic or knowledge-based systems, e.g., in the biomedical ...
research
∙
08/01/2018
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Answer Set Programming (ASP) is one of the major declarative programming...
research
∙
05/26/2018
Combining Spreadsheet Smells for Improved Fault Prediction
Spreadsheets are commonly used in organizations as a programming tool fo...
research
∙
11/15/2017
A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis
Model-Based Diagnosis deals with the identification of the real cause of...
research
∙
05/28/2017
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis
In this work we present strategies for (optimal) measurement selection i...
research
∙
11/16/2016
Driving CDCL Search
The CDCL algorithm is the leading solution adopted by state-of-the-art s...
research
∙
11/15/2016
An integrated Graphical User Interface for Debugging Answer Set Programs
Answer Set Programming (ASP) is an expressive knowledge representation a...
research
∙
10/13/2016