Pages that link to "Item:Q2890211"
From MaRDI portal
The following pages link to On the Parameterized Complexity of Default Logic and Autoepistemic Logic (Q2890211):
Displaying 8 items.
- Restricted default theories: expressive power and outlier detection tasks (Q483301) (← links)
- On the parameterized complexity of non-monotonic logics (Q494658) (← links)
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- Parameterized Complexity of CTL (Q2799205) (← links)
- (Q4246971) (← links)
- (Q4599212) (← links)
- Parametrised Complexity of Satisfiability in Temporal Logic (Q5278205) (← links)