1. Guest editors’ introduction: special issue for ISIP 2005

   • Mohand-Said Hacid
   • Nicolas Spyratos
   • Yuzuru Tanaka

   EditorialNotes 14 May 2008 Pages: 109 - 110

2. A framework for checking proofs naturally

   • Masahiko Sato

   OriginalPaper 06 June 2008 Pages: 111 - 125

   

3. Approximate schemas, source-consistency and query answering

   • Michel de Rougemont
   • Adrien Vieilleribière

   OriginalPaper 10 July 2008 Pages: 127 - 146

   

4. Building and using temporal knowledge in archaeological documentation

   • Tiphaine Accary-Barbier
   • Sylvie Calabretto

   OriginalPaper 10 May 2008 Pages: 147 - 159

   

5. A glimpse of symbolic-statistical modeling by PRISM

   • Taisuke Sato

   OriginalPaper 26 May 2008 Pages: 161 - 176

   

6. A note on phase transitions and computational pitfalls of learning from sequences

   • Antoine Cornuéjols
   • Michèle Sebag

   OriginalPaper 23 May 2008 Pages: 177 - 189