Temas para Exposición

1. Logic Programming and Negation: a Survey
   K.R.Apt, R.N.Bol

2. Logic Programming and Knowledge Representation
   C.Baral, M.Gelfond

3. The S-Semantics Approach: Theory and Applications
   A.Bossi, M.Gabbrielli, G.Levi, M.Martelli

4. Termination of Logic Programs: the Never-ending Story
   D.De Schreye, S.Decorte

5. Transformation of Logic Programs: Foundations and Techniques
   A.Pettorossi, M.Proietti

6. Logic Program Synthesis
   Y.Deville, K.Lau

7. Logic Programming Environments: Dynamic Program Analysis and Debugging
   M.Ducassé, J.Noyé