1. Constructive negation and constraint logic programming with sets

   • Agostino Dovier
   • Enrico Pontelli
   • Gianfranco Rossi

   Regular Paper Pages: 209 - 255

2. Cooperation of categorical and behavioral learning in a practical solution to the abstraction problem

   • Atsushi Ueno
   • Hideaki Takeda

   Regular Paper Pages: 257 - 282

3. Web security: Authentication protocols and their analysis

   • Wu Wen
   • Fumio Mizoguchi

   Tutorial Series on Web-computing 2 Pages: 283 - 299