The following pages link to (Q2723419):
Displaying 6 items.
- Paracoherent answer set computation (Q2238696) (← links)
- Computational Space Efficiency and Minimal Model Generation for Guarded Formulae (Q2996155) (← links)
- (Q4037384) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)