The following pages link to lp2normal (Q37243):
Displaying 7 items.
- Paracoherent answer set computation (Q2238696) (← links)
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings (Q2359449) (← 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)
- (Q5282991) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
