Encoding strategic-companies_decision.gringo

Name	strategic-companies_decision.gringo
Class Tree	[Root] Puzzles (51) StrategicCompanies (4) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of Strategic Comparies.
Created	2009-03-13 06:38
Modified	2009-04-09 20:42
Languages	Gringo 2.0.2
Language Features	Disjunction
Compatible Instance Classes	ASP Contest 09 (Strategic Companies)
Input Predicates	controlled_by/5 produced_by/5 query/2
Output Predicates	strategic/1
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	#hide. #show strategic/1. strategic(X1) \| strategic(X2) \| strategic(X3) \| strategic(X4) :- produced_by(X,X1,X2,X3,X4). strategic(W) :- controlled_by(W,X1,X2,X3,X4), strategic(X1), strategic(X2), strategic(X3), strategic(X4). :- query(C1,C2), not strategic(C1). :- query(C1,C2), not strategic(C2).

Actions