DLV [Lifschitz and Woo, 1992]

Updates [Eiter et al., 2002]

• Original source at:
  http://www.kr.tuwien.ac.at/staff/giuliana/project.html#Download
• Original engine with my web-interface at
  http://www2.in.tu-clausthal.de/~guadarrama/updates/upd.html

U�_Z(Π0, Π1) [Zhang, 2006]

• PLP interpreter
• Alternative compiler for PLP’s running on Prolog

Pairs of Updates [Guadarrama et al., 2005]

• Online at:
  http://www.in.tu-clausthal.de/~guadarrama/updates/seqs.html 

• Online at:
  http://www.in.tu-clausthal.de/~guadarrama/updates/o.html

ODLP [Brewka et al., 2002, 2004]

AGM [Benferhat et al., 2004]

• Available at:
  www.uni-koblenz.de/ag-ki/LP/system.SATEN.html