The following pages link to (Q3970695):
Displaying 4 items.
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Interpretations of open default theories in non-monotonic logics (Q1353871) (← links)
- On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
