Pages that link to "Item:Q2401937"
From MaRDI portal
The following pages link to \textsc{lp2normal} -- a normalization tool for extended logic programs (Q2401937):
Displayed 6 items.
- lp2normal (Q37243) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- (Q5020979) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)