Updates plus Preferences

Authors

José Júlio Alferes, M. O. Aciego, Luís Moniz Pereira, G. Brewka, Luís Moniz Pereira,