Problems used in the paper: Grounding Bound Founded Answer Set Programs [PDF]

Problem encodings

• Utilitarian policies
• Road construction
• Company controls

Problem instances.

Problems used in the paper: Stable Model Semantics for Founded Bounds [PDF]

All problem encodings and instances

Problem encodings

• Utilitarian policies (MiniZinc)
• Utilitarian policies (Gringo)
• Road construction (MiniZinc)
• Road construction (Gringo)
• Shortest path (MiniZinc)
• Shortest path (Gringo)
• Shortest path (MiniZinc, without founded integers)
• Company controls (MiniZinc)
• Company controls (Gringo)

Problem instances

• Utilitarian policies
• Road construction
• Shortest path
• Company controls