Books

Written Books

• José Júlio Alferes and D. Pearce, Semantics of Logic Programs and Non-monotonic Reasoning, (ESSLLI Course notes (287 pages)), FOLLI, 2000.

Book editions

• J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, Luís Moniz Pereira, Y. Sagiv and P. J. Stuckey, Computational Logic - CL 2000, Procs. of First International Conference on Computational Logic (CL 2000), , LNAI 1861, Springer, London, UK, July 2000.
• M. O. Aciego, I. P. de Guzmán, G. Brewka and Luís Moniz Pereira, Logics in Artificial Intelligence, Procs. of JELIA'00 European Workshop, , LNAI 1919, Springer, Málaga, Spain, 2000.