The following pages link to (Q4506459):
Displayed 7 items.
- Compactly representing utility functions using weighted goals and the Max aggregator (Q622111) (← links)
- Compiling propositional weighted bases (Q814606) (← links)
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- In defense of PDDL axioms (Q2457650) (← links)
- Representing Utility Functions via Weighted Goals (Q3392304) (← links)