Encoding lparse disjunctive encoding

Name	lparse disjunctive encoding
Class Tree	[Root] Puzzles (51) StrategicCompanies (4) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	n/a
Description	lparse disjunctive encoding of Strategic Companies
Created	2009-03-30 13:03
Modified	2009-11-25 20:09
Languages	lparse
Language Features	Disjunction
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	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). :- not strategic(1). :- not strategic(2).

Actions