- changed milestone to Later
emulating ASP problems
Issue #146
invalid
To handle problems from the asp competition as directly as possible, it would be great to just take their benchmarks, change the syntax and run it. Closest (cleanest) way to handle this: Add all rules to one definition. Add all facts to an aspstructure. Create a new inference "aspmodelexpand", which treats all atoms as defined and takes their truth value to be true if they are in the structure and false if there is no rule which can make it true.
Comments (3)
-
reporter -
reporter - changed status to invalid
-
reporter - removed milestone
Removing milestone: Later (automated comment)
- Log in to comment