Construction
Available Examples
Labellings
Labellings finding algorithms:
Stage
Semi-stable
Stable
Prefered
Grounded
Eager
Ideal
Aggregation operators:
SCO
CO
SO
Other operators:
DA
UC
Labellings list
Clear list
Status
Type argument to see status.
Example title:
Comment, hints, notes ... if any:
save
cancel
ArguLab 0.2