The following pages link to Strong inconsistency (Q2321259):
Displayed 9 items.
- Optimal-size problem kernels for \(d\)-Hitting Set in linear time and space (Q2203595) (← links)
- Handling and measuring inconsistency in non-monotonic logics (Q2211858) (← links)
- Enumeration of minimal models and MUSes in WASP (Q2694547) (← links)
- Inference to the stable explanations (Q2694572) (← links)
- Computing smallest MUSes of quantified Boolean formulas (Q2694579) (← links)
- Inconsistency Measurement (Q3297796) (← links)
- Serial and parallel kernelization of multiple hitting set parameterized by the Dilworth number, implemented on the GPU (Q6078297) (← links)
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks (Q6080638) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)