Konstantin Schekotihin

Available identifiers

zbMath Open schekotihin.konstantinMaRDI QIDQ2055803

List of research outcomes

Publication	Date of Publication	Type
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach	2023-01-09	Paper
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems	2022-09-30	Paper
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling	2022-09-30	Paper
Lifting symmetry breaking constraints with inductive logic programming	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020542	2022-01-06	Paper
Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP	2021-12-01	Paper
Managing caching strategies for stream reasoning with reinforcement learning	2020-12-13	Paper
A Distributed Approach to LARS Stream Reasoning (System paper)	2020-05-04	Paper
Debugging Non-ground ASP Programs: Technique and Graphical Tools	2019-09-19	Paper
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks	2016-11-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Konstantin Schekotihin