3 citations · 9 across the 10 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024
Spectra of Cardinality Queries over Description Logic Knowledge Bases
Quentin Manière, Marcin Przybyłko
Recent works have explored the use of counting queries coupled with Description Logic ontologies. The answer to such a query in a model of a knowledge base is either an integer or…
cs.FL2024★ 2 cited
Computing measures of weak-MSO definable sets of trees
Damian Niwiński, Marcin Przybyłko, Michał Skrzypczak
This work addresses the problem of computing measures of recognisable sets of infinite trees. An algorithm is provided to compute the probability measure of a tree language recogni…