Michaël Thomazo

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!

Publication	Date of Publication	Type
Answering path queries under linear and guarded existential rules The Journal of Artificial Intelligence Research (JAIR)	2026-07-31	Paper
Compact query rewritings for ontology-based query answering	2025-06-17	Paper
A Single Approach to Decide Chase Termination on Linear Existential Rules (available as arXiv preprint)	2022-07-21	Paper
On the height of towers of subsequences and prefixes Information and Computation	2019-09-17	Paper
On the complexity of universality for partially ordered NFAs	2018-03-21	Paper
Complexity of universality and related problems for partially ordered NFAs Information and Computation	2017-08-08	Paper
Mixing materialization and query rewriting for existential rules	2017-07-18	Paper
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules Web Reasoning and Rule Systems	2017-06-20	Paper
On Boolean combinations forming piecewise testable languages Theoretical Computer Science	2017-06-15	Paper
On the complexity of k-piecewise testability and the depth of automata Developments in Language Theory	2015-11-10	Paper
What is a reasonable argumentation semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015-02-04	Paper
On the complexity of entailment in existential conjunctive first-order logic with atomic negation Information and Computation	2012-10-11	Paper

Research outcomes over time

This page was built for person: Michaël Thomazo