1. An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs

   • Miguel F. Anjos

   OriginalPaper 30 January 2007 Pages: 1 - 14

2. Mechanizing common knowledge logic using COQ

   • Pierre Lescanne

   OriginalPaper 07 March 2007 Pages: 15 - 43

3. A split-combination approach to merging knowledge bases in possibilistic logic

   • Guilin Qi
   • Weiru Liu
   • David A. Bell

   OriginalPaper 09 January 2007 Pages: 45 - 84

4. Learning parallel portfolios of algorithms

   • Marek Petrik
   • Shlomo Zilberstein

   OriginalPaper 25 May 2007 Pages: 85 - 106