Pages that link to "Item:Q286083"
From MaRDI portal
The following pages link to On abstract modular inference systems and solvers (Q286083):
Displaying 6 items.
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
- Answers set programs for non-transferable utility games: expressiveness, complexity and applications (Q2060739) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
