Pages that link to "Item:Q5240206"
From MaRDI portal
The following pages link to Computing Diverse Optimal Stable Models (Q5240206):
Displaying 4 items.
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Computing Diverse Optimal Stable Models (Q5240206) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
