Instance Class Optimization Version of Company Controls

Class Tree
Description See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/94
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • company/1
  • controller/1
  • onSale/4
  • owns/3
  • toBeControlled/1
Instances
1 - 5 of 5