Martin Gebser
- An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming
2023/06/09 by Pierre Tassel, Tassel, Pierre, Martin Gebser +3 · 2 citations
Computer Science · Decision Sciences · Engineering · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Machine Learning (cs.LG) #Scheduling and Optimization Algorithms #Scheduling and Timetabling Solutions
- Grounding Recursive Aggregates: Preliminary Report
2016/03/12 by Martin Gebser, Roland Kaminski, Gebser, Martin +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
- Answer Set Programming for Stream Reasoning
2013/01/08 by Martin Gebser, Torsten Grote, Gebser, Martin +9 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
2022/05/16 by Mohammed M. S. El-Kholany, Martin Gebser, El-Kholany, Mohammed M. S. +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
- Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning
2023/02/14 by Pierre Tassel, Benjamin Kovács, Tassel, Pierre +9 · 1 citation
Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Flexible and Reconfigurable Manufacturing Systems #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #Scheduling and Optimization Algorithms