Konstantin Schekotihin

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 53

Top Topics

Symmetry Breaking Constraints

Answer Set Programming

Scheduling Problem

Reinforcement Learning

Top Venues

Theory Pract. Log. Program.

Publications

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
Grounding Stream Reasoning Research. TGDK 2 (1) (2024)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming. AAAI (2023)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning. WSC (2023)
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach. J. Artif. Intell. Res. 76 (2023)
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. ICAPS (2023)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel
Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning. CoRR (2023)
Natalia Mathá, Klaus Schoeffmann, Konstantin Schekotihin, Stephanie Sarny, Doris Putzgruber-Adamitsch, Yosuf El-Shabrawi
Relevance-Based Compression of Cataract Surgery Videos. CoRR (2023)
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming. CoRR (2023)
Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming. CoRR (2022)
Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser
Decomposition-Based Job-Shop Scheduling with Constrained Clustering. PADL (2022)
Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa, Konstantin Schekotihin
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach. ASE (2022)
Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Theory Pract. Log. Program. 22 (4) (2022)
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin
Efficient lifting of symmetry breaking constraints for complex combinatorial problems. CoRR (2022)
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling. ICAPS (2022)
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. CoRR (2022)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting symmetry breaking constraints with inductive logic programming. Mach. Learn. 111 (4) (2022)
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. Theory Pract. Log. Program. 22 (4) (2022)
Giulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany
Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP. CoRR (2021)
Birgit Hofer, Dietmar Jannach, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
Product metrics for spreadsheets - A systematic review. J. Syst. Softw. 175 (2021)
Richard Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics. ConfWS (2021)
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa
Metric-Based Fault Prediction for Spreadsheets. IEEE Trans. Software Eng. 47 (10) (2021)
Giulia Francescutto, Konstantin Schekotihin, Mohammed M. S. El-Kholany
Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP. JELIA (2021)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting Symmetry Breaking Constraints with Inductive Logic Programming. IJCAI (2021)
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Lifting Symmetry Breaking Constraints with Inductive Logic Programming. CoRR (2021)
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
A Reinforcement Learning Environment For Job-Shop Scheduling. CoRR (2021)
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
Managing caching strategies for stream reasoning with reinforcement learning. CoRR (2020)
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
Managing caching strategies for stream reasoning with reinforcement learning. Theory Pract. Log. Program. 20 (5) (2020)
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa
Fragment-based spreadsheet debugging. Autom. Softw. Eng. 26 (1) (2019)
Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss
Are query-based ontology debuggers really helping knowledge engineers? Knowl. Based Syst. 179 (2019)
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
A Distributed Approach to LARS Stream Reasoning (System paper). CoRR (2019)
Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. ICLP Technical Communications (2019)
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
A Distributed Approach to LARS Stream Reasoning (System paper). Theory Pract. Log. Program. 19 (5-6) (2019)
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-ground ASP Programs: Technique and Graphical Tools. Theory Pract. Log. Program. 19 (2) (2019)
Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss
Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers? CoRR (2019)
Patrick W. Koch, Konstantin Schekotihin
Fritz: A Tool for Spreadsheet Quality Assurance. VL/HCC (2018)
Andreas A. Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, Erich Christian Teppan
Industrial Applications of Answer Set Programming. Künstliche Intell. 32 (2-3) (2018)
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
A Protégé Plug-In for Test-Driven Ontology Development. ICBO (2018)
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid
OntoDebug: Interactive Ontology Debugging Plug-in for Protégé. FoIKS (2018)
Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR (2018)
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz
Combining spreadsheet smells for improved fault prediction. ICSE (NIER) (2018)
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa
Combining Spreadsheet Smells for Improved Fault Prediction. CoRR (2018)
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
Test-Driven Ontology Development in Protégé. ICBO (2018)
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Stream reasoning-based control of caching strategies in CCN routers. ICC (2017)
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
A decomposition-based approach to spreadsheet testing and debugging. VL/HCC (2017)
Patrick Rodler, Konstantin Schekotihin
Reducing Model-Based Diagnosis to Knowledge Base Debugging. DX (2017)
Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. CoRR (2017)
Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. DX (2017)
Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis. CoRR (2017)
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. JELIA (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Driving CDCL Search. CoRR (2016)
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Theory Pract. Log. Program. 16 (5-6) (2016)
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Stream Reasoning-Based Control of Caching Strategies in CCN Routers. CoRR (2016)
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
An integrated Graphical User Interface for Debugging Answer Set Programs. CoRR (2016)