1. A new modal logic for reasoning about space: spatial propositional neighborhood logic

   • Antonio Morales
   • Isabel Navarrete
   • Guido Sciavicco

   OriginalPaper 03 October 2007 Pages: 1 - 25

2. On variable-weighted exact satisfiability problems

   • Stefan Porschen

   OriginalPaper 10 October 2007 Pages: 27 - 54

3. On a decision procedure for quantified linear programs

   • K. Subramani

   OriginalPaper 11 October 2007 Pages: 55 - 77