Encoding company-controls_decision-facts.gringo

Name company-controls_decision-facts.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Company Controls. (Grounded into facts, but less efficient than Gringo encoding with weight constraints)
Created 2009-03-27 12:58
Modified 2009-05-10 18:18
Language Features
Compatible Instance Classes
Input Predicates
  • checkForMaxControls/1
  • company/1
  • owns/3
Output Predicates
  • controls/2
Encoding Parameter
    Standalone Help No
    • No Search (Martin Gebser)