Konstantin Schekotihin

61 papers A* 5A 1B 5C 3Misc 1Journal 38Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Explainable AI for reinforcement learning based dynamic scheduling solutions in semiconductor manufacturing.
J. Intell. Manuf.
Alessandro Immordino, Patrick Stöckermann, Niels Hayen, Thomas Altenmüller, Gian Antonio Susto, Martin Gebser, Konstantin Schekotihin, Georg Seidel
2025 J jnl
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling.
Log. Methods Comput. Sci.
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
2025 — conf
Energy-Aware Double-Flexible Job Shop Scheduling with Machine Modes and Setup Times: A Real-World Industrial Case Study using Constraint Programming.
CAIPI@ECAI
Francesco Zuccato, Patrick Rodler, Gerhard Friedrich, Konstantin Schekotihin, Richard Comploi-Taupe
2025 J jnl
Introducing Agent Personality in Crowd Simulation Improves Social Presence and Experienced Realism in Immersive VR.
IEEE Trans. Vis. Comput. Graph.
Massimiliano Pascoli, Fabio Buttussi, Konstantin Schekotihin, Luca Chittaro
2025 J jnl
Managing Complex Failure Analysis Workflows with LLM-based Reasoning and Acting Agents.
CoRR
Aline Dobrovsky, Konstantin Schekotihin, Christian Burmer
2025 J jnl
Scalability of Reinforcement Learning Methods for Dispatching in Semiconductor Frontend Fabs: A Comparison of Open-Source Models with Real Industry Datasets.
CoRR
Patrick Stöckermann, Henning Südfeld, Alessandro Immordino, Thomas Altenmüller, Marc Wegmann, Martin Gebser, Konstantin Schekotihin, Georg Seidel, Chew Wye Chan, Feifei Zhang
2024 A conf
Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing.
ECAI
Andreas Laber, Martin Gebser, Konstantin Schekotihin
2024 J jnl
Grounding Stream Reasoning Research.
TGDK
Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, Giacomo Ziffer
2024 B conf
Monitoring and Scheduling of Semiconductor Failure Analysis Labs.
LPNMR
Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin
2023 A* conf
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming.
ICAPS
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
2023 J jnl
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming.
CoRR
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
2023 J jnl
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.
J. Artif. Intell. Res.
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
2023 A* conf
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.
AAAI
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law
2023 J jnl
Relevance-Based Compression of Cataract Surgery Videos.
CoRR
Natalia Mathá, Klaus Schoeffmann, Konstantin Schekotihin, Stephanie Sarny, Doris Putzgruber-Adamitsch, Yosuf El-Shabrawi
2023 Misc conf
Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning.
WSC
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
2023 J jnl
Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning.
CoRR
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
2022 A* conf
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach.
ASE
Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa, Konstantin Schekotihin
2022 C conf
Decomposition-Based Job-Shop Scheduling with Constrained Clustering.
PADL
Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser
2022 J jnl
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems.
Theory Pract. Log. Program.
Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law
2022 J jnl
Efficient lifting of symmetry breaking constraints for complex combinatorial problems.
CoRR
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin
2022 J jnl
Lifting symmetry breaking constraints with inductive logic programming.
Mach. Learn.
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2022 J jnl
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling.
CoRR
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
2022 J jnl
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling.
Theory Pract. Log. Program.
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
2022 A* conf
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling.
ICAPS
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein
2022 J jnl
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming.
CoRR
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
2021 J jnl
A Reinforcement Learning Environment For Job-Shop Scheduling.
CoRR
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
2021 A* conf
Lifting Symmetry Breaking Constraints with Inductive Logic Programming.
IJCAI
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2021 J jnl
Lifting Symmetry Breaking Constraints with Inductive Logic Programming.
CoRR
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
2021 J jnl
Metric-Based Fault Prediction for Spreadsheets.
IEEE Trans. Software Eng.
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa
2021 J jnl
Product metrics for spreadsheets - A systematic review.
J. Syst. Softw.
Birgit Hofer, Dietmar Jannach, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
2021 — conf
Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics.
ConfWS
Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
2021 B conf
Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP.
JELIA
Giulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany
2021 J jnl
Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP.
CoRR
Giulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany
2020 J jnl
Managing caching strategies for stream reasoning with reinforcement learning.
CoRR
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2020 J jnl
Managing caching strategies for stream reasoning with reinforcement learning.
Theory Pract. Log. Program.
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2019 J jnl
A Distributed Approach to LARS Stream Reasoning (System paper).
CoRR
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2019 J jnl
A Distributed Approach to LARS Stream Reasoning (System paper).
Theory Pract. Log. Program.
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2019 J jnl
Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?
CoRR
Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss
2019 J jnl
Are query-based ontology debuggers really helping knowledge engineers?
Knowl. Based Syst.
Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss
2019 J jnl
Debugging Non-ground ASP Programs: Technique and Graphical Tools.
Theory Pract. Log. Program.
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2019 — conf
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP.
ICLP Technical Communications
Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
2019 J jnl
Fragment-based spreadsheet debugging.
Autom. Softw. Eng.
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa
2018 — conf
A Protégé Plug-In for Test-Driven Ontology Development.
ICBO
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
2018 J jnl
Combining Spreadsheet Smells for Improved Fault Prediction.
CoRR
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa
2018 — conf
Combining spreadsheet smells for improved fault prediction.
ICSE (NIER)
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz
2018 J jnl
Debugging Non-Ground ASP Programs: Technique and Graphical Tools.
CoRR
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2018 B conf
Fritz: A Tool for Spreadsheet Quality Assurance.
VL/HCC
Patrick W. Koch, Konstantin Schekotihin
2018 J jnl
Industrial Applications of Answer Set Programming.
Künstliche Intell.
Andreas A. Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, Erich Christian Teppan
2018 — conf
OntoDebug: Interactive Ontology Debugging Plug-in for Protégé.
FoIKS
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid
2018 — conf
Test-Driven Ontology Development in Protégé.
ICBO
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
2017 J jnl
A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis.
CoRR
Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
2017 B conf
A decomposition-based approach to spreadsheet testing and debugging.
VL/HCC
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
2017 C conf
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis.
DX
Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
2017 J jnl
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis.
CoRR
Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
2017 C conf
Reducing Model-Based Diagnosis to Knowledge Base Debugging.
DX
Patrick Rodler, Konstantin Schekotihin
2017 — conf
Stream reasoning-based control of caching strategies in CCN routers.
ICC
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
2016 J jnl
An integrated Graphical User Interface for Debugging Answer Set Programs.
CoRR
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2016 J jnl
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
Theory Pract. Log. Program.
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016 J jnl
Driving CDCL Search.
CoRR
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016 B conf
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
JELIA
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
2016 J jnl
Stream Reasoning-Based Control of Caching Strategies in CCN Routers.
CoRR
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin