Martin Gebser | DeepAI

DeepAI AI Chat

Featured Co-authors

Torsten Schaub
48 publications
Joohyung Lee
32 publications
Carmine Dodaro
26 publications
Mario Alviano
26 publications
Francesco Ricca
25 publications
Javier Romero
23 publications
Yuliya Lierler
22 publications
Konstantin Schekotihin
20 publications
Marco Maratea
20 publications
Tran Cao Son
19 publications
Wolfgang Faber
19 publications

∙ 07/27/2023

Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)

Modern semiconductor manufacturing involves intricate production process...

0 Mohammed M. S. El-Kholany, et al. ∙

∙ 07/22/2023

Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)

Temporal planning is an extension of classical planning involving concur...

0 Marco De Bortoli, et al. ∙

∙ 07/15/2023

Elementary Sets for Logic Programs

By introducing the concepts of a loop and a loop formula, Lin and Zhao s...

0 Martin Gebser, et al. ∙

∙ 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...

0 Pierre Tassel, et al. ∙

∙ 02/14/2023

Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning

Semiconductor manufacturing is a notoriously complex and costly multi-st...

0 Pierre Tassel, et al. ∙

∙ 08/04/2022

Proceedings 38th International Conference on Logic Programming

ICLP is the premier international event for presenting research in logic...

0 Yuliya Lierler, et al. ∙

∙ 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...

0 Mohammed M. S. El-Kholany, et al. ∙

∙ 05/14/2022

Efficient lifting of symmetry breaking constraints for complex combinatorial problems

Many industrial applications require finding solutions to challenging co...

0 Alice Tarzariol, et al. ∙

∙ 12/22/2021

Lifting Symmetry Breaking Constraints with Inductive Logic Programming

Efficient omission of symmetric solution candidates is essential for com...

0 Alice Tarzariol, et al. ∙

∙ 09/17/2021

Aggregate Semantics for Propositional Answer Set Programs

Answer Set Programming (ASP) emerged in the late 1990ies as a paradigm f...

0 Mario Alviano, et al. ∙

∙ 04/08/2021

A Reinforcement Learning Environment For Job-Shop Scheduling

Scheduling is a fundamental task occurring in various automated systems ...

0 Pierre Tassel, et al. ∙

∙ 11/11/2019

ASP-Core-2 Input Language Format

Standardization of solver input languages has been a main driver for the...

5 Francesco Calimeri, et al. ∙

∙ 04/19/2019

The Seventh Answer Set Programming Competition: Design and Results

Answer Set Programming (ASP) is a prominent knowledge representation lan...

0 Martin Gebser, et al. ∙

∙ 12/11/2018

plasp 3: Towards Effective ASP Planning

We describe the new version of the PDDL-to-ASP translator plasp. First, ...

0 Yannis Dimopoulos, et al. ∙

∙ 04/27/2018

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Automated storage and retrieval systems are principal components of mode...

0 Martin Gebser, et al. ∙

∙ 04/26/2018

Experimenting with robotic intra-logistics domains

We introduce the asprilo [1] framework to facilitate experimental studie...

0 Martin Gebser, et al. ∙

∙ 05/27/2017

Multi-shot ASP solving with clingo

We introduce a new flexible paradigm of grounding and solving in Answer ...

0 Martin Gebser, et al. ∙

∙ 03/12/2016

Grounding Recursive Aggregates: Preliminary Report

Problem solving in Answer Set Programming consists of two steps, a first...

0 Martin Gebser, et al. ∙

∙ 05/14/2014

The Design of the Fifth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-established paradigm of declarati...

0 Francesco Calimeri, et al. ∙

∙ 12/20/2013

A System for Interactive Query Answering with Answer Set Programming

Reactive answer set programming has paved the way for incorporating onli...

0 Martin Gebser, et al. ∙

∙ 12/20/2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

Encoding finite linear CSPs as Boolean formulas and solving them by usin...

0 Mutsunori Banbara, et al. ∙

∙ 01/08/2013

Answer Set Programming for Stream Reasoning

The advance of Internet and Sensor technology has brought about new chal...

0 Martin Gebser, et al. ∙

∙ 10/11/2012

Multi-threaded ASP Solving with clasp

We present the new multi-threaded version of the state-of-the-art answer...

0 Martin Gebser, et al. ∙

∙ 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...

0 Martin Gebser, et al. ∙

∙ 07/28/2011

Complex Optimization in Answer Set Programming

Preference handling and optimization are indispensable means for address...

0 Martin Gebser, et al. ∙

∙ 12/28/2010

On Elementary Loops of Logic Programs

Using the notion of an elementary loop, Gebser and Schaub refined the th...

0 Martin Gebser, et al. ∙

∙ 05/11/2010

Heuristics in Conflict Resolution

Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programmi...

0 Christian Drescher, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world