1. Aguado, F. et al. (2008) ‘Strongly Equivalent Temporal Logic Programs’, in Hölldobler, S. et al. (eds) Lecture Notes in Artificial Intelligence, 5293: 11th European Conference on Logics in Artificial Intelligence (JELIA’08) (Berlin: Springer), 8–20.
2. Banda, M. G., and Pontelli, E. (eds) (2008) Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9–13 2008 Proceedings (LNCS/Programming and Software Engineering), LNCS, 5366 (Berlin: Springer).
3. Baral, C. et al. (eds) (2005) Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005, LNCS, 3662 (Berlin: Springer).
4. Boolos, G. (1980) ‘On systems of modal logic with provability interpretations’, Theoria, 46, 7–18.
5. de Bruijn, J., Eiter, T., and Tompits, H. (2008) ‘Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic’, in G. Brewka, and J. Lang (eds) Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR2008, Sydney, Australia, September 16–19, 2008 (Chicago: AAAI Press).