Problem Domains

Please find the list of problem domains below.

• House Reconfiguration Problem (H) submitted by Richard Taupe and Antonius Weinzierl
• Insurance Referees Assignment Problem (I) submitted by Anonymous
• Automated Warehouse Scenario (W) submitted by Martin Gebser and Philipp Obermeier
• Fastfood Problem (F) submitted by Jori Bomanson and Tomi Janhunen
• Checking Policies for Reactive Agents (P) submitted by Zeynep G Saribatur

List of updates of problem descriptions (date / problem):

• Feb 26 / I: Added a clarification of how the average is defined (truncated to an integer). Example 7 was corrected (the previous solution was not optimal).
• Feb 27 / H: Stated explicitly that predicate thingShort is optional and that the default costs are 0. Fix in instance hrp_example.asp.
• Mar 1 / P: Updated encodings to be compliant with ASP-Core-2 standard. Clarified the role of input predicates.

Each domain consists of the following elements:

• description.pdf: a problem description
• simpleInstances/: a folder containing 5 toy instances