Accepted papers

The recently accepted papers in TPLP are the following:

Regular Papers

  1. ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
    Claire Lefèvre, Christopher Bèatrix, Igor Stèphan and Laurent Garcia
  2. Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter.
    Marcello Balduccini and Yuliya Lierler
  3. A Linear Algebraic Approach to Datalog Evaluation
    Taisuke Sato
  4. On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories.
    Yuliya Lierler, Benjamin Susman
  5. Contractibility for Open Global Constraints.
    Michael J. Maher


Accepted Technical Notes/Rapid Publication Papers

  • <none>

Accepted Book Reviews

  • <none>