1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.AI2018
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and m…
cs.CC2017
The Hardness of Embedding Grids and Walls
Yijia Chen, Martin Grohe, Bingkai Lin
The dichotomy conjecture for the parameterized embedding problem states that the problem of deciding whether a given graph from some class of "pattern graphs" can be embedd…
cs.CC2016★ 1 cited
Some lower bounds in parameterized
Yijia Chen, Joerg Flum
We demonstrate some lower bounds for parameterized problems via parameterized classes corresponding to the classical . Among others, we derive such a lower bound for al…