research
∙
07/27/2023
Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)
Modern semiconductor manufacturing involves intricate production process...
share
research
∙
07/22/2023
Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)
Temporal planning is an extension of classical planning involving concur...
research
∙
07/15/2023
Elementary Sets for Logic Programs
By introducing the concepts of a loop and a loop formula, Lin and Zhao s...
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
∙
08/04/2022
Proceedings 38th International Conference on Logic Programming
ICLP is the premier international event for presenting research in logic...
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
∙
09/17/2021
Aggregate Semantics for Propositional Answer Set Programs
Answer Set Programming (ASP) emerged in the late 1990ies as a paradigm f...
research
∙
04/08/2021
A Reinforcement Learning Environment For Job-Shop Scheduling
Scheduling is a fundamental task occurring in various automated systems ...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
04/19/2019
The Seventh Answer Set Programming Competition: Design and Results
Answer Set Programming (ASP) is a prominent knowledge representation lan...
research
∙
12/11/2018
plasp 3: Towards Effective ASP Planning
We describe the new version of the PDDL-to-ASP translator plasp. First, ...
research
∙
04/27/2018
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Automated storage and retrieval systems are principal components of mode...
research
∙
04/26/2018
Experimenting with robotic intra-logistics domains
We introduce the asprilo [1] framework to facilitate experimental studie...
research
∙
05/27/2017
Multi-shot ASP solving with clingo
We introduce a new flexible paradigm of grounding and solving in Answer ...
research
∙
03/12/2016
Grounding Recursive Aggregates: Preliminary Report
Problem solving in Answer Set Programming consists of two steps, a first...
research
∙
05/14/2014
The Design of the Fifth Answer Set Programming Competition
Answer Set Programming (ASP) is a well-established paradigm of declarati...
research
∙
12/20/2013
A System for Interactive Query Answering with Answer Set Programming
Reactive answer set programming has paved the way for incorporating onli...
research
∙
12/20/2013
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Encoding finite linear CSPs as Boolean formulas and solving them by usin...
research
∙
01/08/2013
Answer Set Programming for Stream Reasoning
The advance of Internet and Sensor technology has brought about new chal...
research
∙
10/11/2012
Multi-threaded ASP Solving with clasp
We present the new multi-threaded version of the state-of-the-art answer...
research
∙
09/01/2011
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
We present the Linux package configuration tool aspcud based on Answer S...
research
∙
07/28/2011
Complex Optimization in Answer Set Programming
Preference handling and optimization are indispensable means for address...
research
∙
12/28/2010
On Elementary Loops of Logic Programs
Using the notion of an elementary loop, Gebser and Schaub refined the th...
research
∙
05/11/2010
