System

Implemented Systems:

1. groc2 – A first-order answer set solver by translating normal logic program with convex aggregates to their ordered completion (with Vernon Asuncion, Yin Chen and Yan Zhang)

2. groc – A first-order answer set solver by translating logic program to their ordered completion (with Vernon Asuncion and Yan Zhang)

3. dl2asp – A default logic solver by translating into answer set programming (with Yin Chen, Hai Wan and Yan Zhang).

4. asp2sat – A answer set solver by translating into classical propositional logic (with Vernon Asuncion and Yan Zhang).

5. CTLupdater – A local model updater of updating tree-like counterexamples for ACTL formulas (with Michael Kelly and Yan Zhang).