Instance Class Decision Version of Company Controls

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