Konstantin Schekotihin

Orcid: 0000-0002-0286-0958

Affiliations:
  • Alpen-Adria Universität, Klagenfurt, Austria


According to our database1, Konstantin Schekotihin authored at least 75 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Grounding Stream Reasoning Research.
TGDK, 2024

Monitoring and Scheduling of Semiconductor Failure Analysis Labs.
Proceedings of the Logic Programming and Nonmonotonic 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
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.
J. Artif. Intell. Res., 2023

Relevance-Based Compression of Cataract Surgery Videos.
CoRR, 2023

Semiconductor Fab Scheduling With Self-Supervised And Reinforcement Learning.
Proceedings of the Winter Simulation 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

Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.
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

Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling.
Theory Pract. Log. Program., 2022

Lifting symmetry breaking constraints with inductive logic programming.
Mach. Learn., 2022

Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming.
CoRR, 2022

Decomposition-Based Job-Shop Scheduling with Constrained Clustering.
Proceedings of the Practical Aspects of Declarative Languages, 2022

Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021
Metric-Based Fault Prediction for Spreadsheets.
IEEE Trans. Software Eng., 2021

Product metrics for spreadsheets - A systematic review.
J. Syst. Softw., 2021

A Reinforcement Learning Environment For Job-Shop Scheduling.
CoRR, 2021

Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics.
Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

2020
Managing caching strategies for stream reasoning with reinforcement learning.
Theory Pract. Log. Program., 2020

2019
A Distributed Approach to LARS Stream Reasoning (System paper).
Theory Pract. Log. Program., 2019

Debugging Non-ground ASP Programs: Technique and Graphical Tools.
Theory Pract. Log. Program., 2019

Are query-based ontology debuggers really helping knowledge engineers?
Knowl. Based Syst., 2019

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Fragment-based spreadsheet debugging.
Autom. Softw. Eng., 2019

2018
Industrial Applications of Answer Set Programming.
Künstliche Intell., 2018

Combining Spreadsheet Smells for Improved Fault Prediction.
CoRR, 2018

Fritz: A Tool for Spreadsheet Quality Assurance.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

Combining spreadsheet smells for improved fault prediction.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

A Protégé Plug-In for Test-Driven Ontology Development.
Proceedings of the 9th International Conference on Biological Ontology (ICBO 2018), 2018

Test-Driven Ontology Development in Protégé.
Proceedings of the 9th International Conference on Biological Ontology (ICBO 2018), 2018

OntoDebug: Interactive Ontology Debugging Plug-in for Protégé.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

Parallel Model-Based Diagnosis.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis.
CoRR, 2017

A decomposition-based approach to spreadsheet testing and debugging.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Stream reasoning-based control of caching strategies in CCN routers.
Proceedings of the IEEE International Conference on Communications, 2017

Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Reducing Model-Based Diagnosis to Knowledge Base Debugging.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2016
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
Theory Pract. Log. Program., 2016

Parallel Model-Based Diagnosis on Multi-Core Computers.
J. Artif. Intell. Res., 2016

Scalable Computation of Optimized Queries for Sequential Diagnosis.
CoRR, 2016

An integrated Graphical User Interface for Debugging Answer Set Programs.
CoRR, 2016

Driving CDCL Search.
CoRR, 2016

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

OOASP: Connecting Object-Oriented and Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Interactive Debugging of Non-ground ASP Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Interactive Query-Based Debugging of ASP Programs.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Parallelized Hitting Set Computation for Model-Based Diagnosis.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Interactive Debugging of ASP Programs.
CoRR, 2014

Interactive Ontology Debugging using Direct Diagnosis.
Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings, 2014

Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
RIO: Minimizing User Interaction in Debugging of Knowledge Bases
CoRR, 2013

2012
Interactive ontology debugging: Two query strategies for efficient fault localization.
J. Web Semant., 2012

Direct computation of diagnoses for ontology debugging
CoRR, 2012

Direct computation of diagnoses for ontology alignment.
Proceedings of the 7th International Workshop on Ontology Matching, 2012

On Direct Debugging of Aligned Ontologies.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

RIO: minimizing user interaction in debugging of aligned ontologies.
Proceedings of the 7th International Workshop on Ontology Matching, 2012

RIO: Minimizing User Interaction in Ontology Debugging.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

2011
Query strategy for sequential ontology debugging
CoRR, 2011

2010
xCrawl: a high-recall crawling method for Web mining.
Knowl. Inf. Syst., 2010

Query Strategy for Sequential Ontology Debugging.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Diagnosis discrimination for ontology debugging.
Proceedings of the ECAI 2010, 2010

2009
Automated ontology instantiation from tabular web sources - The AllRight system.
J. Web Semant., 2009

Automated debugging of recommender user interface descriptions.
Appl. Intell., 2009

Argumentation Based Constraint Acquisition.
Proceedings of the ICDM 2009, 2009

2007
AllRight: Automatic Ontology Instantiation from Tabular Web Documents.
Proceedings of the Semantic Web, 2007

Clustering web documents with tables for information extraction.
Proceedings of the 4th International Conference on Knowledge Capture (K-CAP 2007), 2007

2006
Debugging user interface descriptions of knowledge-based recommender applications.
Proceedings of the 11th International Conference on Intelligent User Interfaces, 2006

NameIt: Extraction of product names.
Proceedings of the Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

2005
A General Diagnosis Method for Ontologies.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

2001
Knowledge-based Maintenance Environment for Large Information Handling Systems.
Proceedings of the Information Systems Technology and its Applications, 2001


  Loading...