Encoding company-controls_decision.gringo

Name	company-controls_decision.gringo
Class Tree	[Root] Unclassified (114) Company Controls (3) Decision Version of Company Controls (2)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of Company Controls. (No search needed)
Created	2009-03-13 06:16
Modified	2009-05-10 18:17
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Weight constraints
Compatible Instance Classes	Decision Version of Company Controls
Input Predicates	checkForMaxControls/1 company/1 owns/3
Output Predicates	controls/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser) No Search (Martin Gebser)
Attributes
Content	#hide. #show controls(X,Y). pcontrollable(Y) :- company(Y), 51 [ owns(X,Y,N) : owns(X,Y,N) = N ]. pcontroller(X) :- owns(X,Y,M), 51 [ owns(X,Y,N) : owns(X,Y,N) = N ]. reach(X,Y) :- pcontrollable(X;Y), owns(X,Y,N), N > 0. reach(X,Y) :- pcontroller(X), pcontrollable(Y), owns(X,Y,N), N > 0. reach(X,Z) :- pcontroller(X), pcontrollable(Y;Z), owns(X,Y,N), N > 0, reach(Y,Z). % controlls(X,X) :- pcontroller(X), company(X). controls(X,Z) :- pcontroller(X), reach(X,Z), 51 [ owns(X,Z,O) : owns(X,Z,O) = O, controls(X,Y) : X != Y : owns(Y,Z,N) = N ]. % controls(X,Y) :- controlls(X,Y), X != Y. :- checkForMaxControls(X), pcontroller(Y), X != Y, not 0 [ controls(X,U) : reach(X,U) = 1, controls(Y,V) : reach(Y,V) = -1 ]. :- checkForMaxControls(X), not pcontroller(X), pcontroller(Y).

Actions