Martin Gebser
Orcid: 0000-0002-8010-4752Affiliations:
- University of Klagenfurt, Department of Applied Informatics, Austria
- Graz University of Technology, Institute of Software Technology, Austria
- Aalto University, Department of Computer Science, Espoo, Finland
- University of Potsdam, Institute of Computer Science, Germany (PhD 2011)
According to our database1,
Martin Gebser
authored at least 143 papers
between 2005 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
2025
0
5
10
15
1
1
1
3
3
1
3
2
4
2
5
4
2
5
2
5
1
2
3
9
3
1
1
2
1
7
7
5
8
2
9
4
9
6
11
3
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on aau.at
-
on orcid.org
-
on d-nb.info
On csauthors.net:
Bibliography
2025
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments.
Artif. Intell., 2025
2024
Operating room scheduling via answer set programming: Improved encoding and test on real data.
J. Log. Comput., 2024
A Greedy Search Based Ant Colony Optimization Algorithm for Large-Scale Semiconductor Production.
Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
2023
Theory Pract. Log. Program., 2023
Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version).
CoRR, 2023
CoRR, 2023
Proceedings of the Winter Simulation Conference, 2023
Dispatching in Real Frontend Fabs With Industrial Grade Discrete-Event Simulations by Deep Reinforcement Learning with Evolution Strategies.
Proceedings of the Winter Simulation Conference, 2023
Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement.
Proceedings of the RoboCup 2023: Robot World Cup XXVI [Bordeaux, France, 4-10 July, 2023]., 2023
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper).
Proceedings of the Practical Aspects of Declarative Languages, 2023
Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems.
Theory Pract. Log. Program., 2022
Theory Pract. Log. Program., 2022
Mach. Learn., 2022
Proceedings of the Winter Simulation Conference, 2022
Proceedings of the Practical Aspects of Declarative Languages, 2022
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Digital Transformation, 2022
2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Theory Pract. Log. Program., 2020
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem.
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020
2019
2018
Theory Pract. Log. Program., 2018
Theory Pract. Log. Program., 2018
High-level synthesis of on-chip multiprocessor architectures based on answer set programming.
J. Parallel Distributed Comput., 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
2017
Stat. Comput., 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
2016
Artif. Intell., 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Theory Pract. Log. Program., 2015
Theor. Comput. Sci., 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the 17th International Configuration Workshop, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
2014
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
ACM Trans. Comput. Log., 2013
CoRR, 2013
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Extending the Metabolic Network of <i>Ectocarpus Siliculosus</i> Using Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01561-8, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
2011
Theory Pract. Log. Program., 2011
Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011
AI Commun., 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
2009
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.
Int. J. Reconfigurable Comput., 2009
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009
2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.
Proceedings of the Foundations of Information and Knowledge Systems, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
What's a Head Without a Body?
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Answer Set Programming, 2005