Interactive System for Updates and Conflict Resolution in ASP
Gitea
Home
Experiment
Input Program
Empty program
Preset program 1
Preset program 2
Preset program:
Solve
Default Rules
Empty
Answer sets
Empty
Preferred Models
Empty
No model selected
Graph for model:
Fit
Causes of incoherence
Empty
Amendments
None
Enforcement
Evening up
Pacification
Filter by type:
Original
New
Type
Empty
Empty
Program History