46 citations · 157 across the 30 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 3 cited
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Efficient omission of symmetric solution candidates is essential for combinatorial problem-solving. Most of the existing approaches are instance-specific and focus on the automatic…
cs.LO2010
Query strategy for sequential ontology debugging
Kostyantyn Shchekotykhin, Gerhard Friedrich, Philipp Fleiss +1
Debugging of ontologies is an important prerequisite for their wide-spread application, especially in areas that rely upon everyday users to create and maintain knowledge bases, as…