ISMVL 2005, 35th Int'l Symp. on Multiple-Value Logic