Konstantin Schekotihin

From MaRDI portal
(Redirected from Person:2055803)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
Journal of Artificial Intelligence Research
2023-01-09Paper
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
Theory and Practice of Logic Programming
2022-09-30Paper
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Theory and Practice of Logic Programming
2022-09-30Paper
Lifting symmetry breaking constraints with inductive logic programming
Machine Learning
2022-08-10Paper
scientific article; zbMATH DE number 7453100 (Why is no real title available?)2022-01-06Paper
scientific article; zbMATH DE number 7453100 (Why is no real title available?)
(available as arXiv preprint)
2022-01-06Paper
Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
(available as arXiv preprint)
2021-12-01Paper
Managing caching strategies for stream reasoning with reinforcement learning
Theory and Practice of Logic Programming
2020-12-13Paper
A distributed approach to LARS stream reasoning (system paper)
Theory and Practice of Logic Programming
2020-05-04Paper
Debugging non-ground ASP programs: technique and graphical tools
Theory and Practice of Logic Programming
2019-09-19Paper
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Logics in Artificial Intelligence
2016-11-30Paper


Research outcomes over time


This page was built for person: Konstantin Schekotihin