Pierangelo Dell'Acqua

New address from September '99

Linköpings universitet, ITN
Campus Norrköping, 601 74 Norrköping.
Office Phone: 011 - 36 33 12
E-mail: pier@itn.liu.se
Fax: 011 - 36 32 70
Office: K5616

PhD Thesis

This is my PhD thesis ( Slides )

My courses

1. Artificial Intelligence II, DV2, 1994.
2. Artificial Intelligence II, DV2, 1995.
3. Knowledge representation and reasoning, DV1, 1996.
4. Database systems, PSV2, 1998.
5. Object-Oriented Programming, PSV1, 1999.

Invited talks

1. Max-Planck-Institute für Informatik, Saarbrücken, Germany, October 1998, Combining introspection and communication with rationality and reactivity in agents. ( Slides )
2. Dept. of Computing, Imperial College of Science, Technology and Medicine, University of London, January 1998, Metareasoning agents for query-answering system.
3. Dept. of Mathematics, University of Warsaw, Poland, June 1996, Extending Horn clause theories by reflection principles.
4. Dept. of Mathematics, University of Bialystok, Poland, June 1996, Extending Horn clause theories by reflection principles.
5. IASI-CNR, Rome, June 1995, SLD-resolution with reflection.

Selected publications

Theses

1. Dell'Acqua, P., SLD-resolution with Reflection. PhL thesis. Uppsala Theses in Computing Science No. 20/95.
2. Dell'Acqua, P., Reflection Principles in Computational Logic. PhD thesis. Uppsala Theses in Computing Science No. 30/98.

Publications in books

1. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G.A., Metareasoning agents for query-answering systems. In: Flexible Query-Answering Systems (eds. T. Andreasen and H. Christiansen and H. L. Larsen), pp. 103-122, Kluwer Academic Publishers, Mass., 1997.
2. Barklund, J., Boberg, K., Dell'Acqua, P. and Veanes, M., Metaprogramming with Theory Systems. In: Meta-logics and Logic Programming (eds. K. Apt and F. Turini), pp. 195-226, MIT Press, Cambridge, Mass., 1995. (Also available as UPMAIL Technical Report No. 106.)

Publications in journals and refereed conference proceedings

1. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Reflection Principles in Computational Logic. To appear: J. of Logic and Computation.
2. Dell'Acqua, P., Sadri, F. and Toni, F., Combining introspection and communication with rationality and reactivity in agents. In: Logics in Artificial Intelligence (eds. J. Dix, F.L. Del Cerro and U. Furbach), LNCS 1489, Springer-Verlag, Berlin, 1998.
3. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Multiple Metareasoning Agents for Flexible Query-Answering Systems. In: Proc. Workshop Flexible Query-Answering Systems (eds. H. Christiansen, H. L. Larsen and T. Andreasen).
4. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Semantical Properties of Encodings in Logic Programming. In: Logic Programming: Proc. 1995 Intl. Symp. (ed. J. W. Lloyd), pp. 288-302, MIT Press, Cambridge, Mass., 1995. (Also available as UPMAIL Technical Report No. 108.)
5. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., SLD-Resolution with Reflection. In: Logic Programming: Proc. 1994 Intl. Symp. (ed. M. Bruynooghe), pp. 554-568, MIT Press, Cambridge, Mass., 1994. (Also available as UPMAIL Technical Report No. 96.)
6. Barklund, J., Boberg, K. and Dell'Acqua, P., A Basis for a Multilevel Metalogic Programming Language. In: Proc. Intl. Workshop on Metaprogramming in Logic 1994, pp. 262-275, (eds. L. Fribourg and F. Turini), LNCS 883, Springer-Verlag, Berlin, 1994.
7. Costantini, S., Dell'Acqua, P. and Lanzarone, G.A., Extending Horn Clause Theories by Reflection Principles. In: Logics in Artificial Intelligence (eds. C. MacNish, D. Pearce and L. M. Pereira), LNAI 838, Springer-Verlag, Berlin, 1994. (Also available as UPMAIL Technical Report No. 81.)
8. Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Reflective Agents in Metalogic Programming. In: Meta-Programming in Logic (ed. A.Pettorossi), pp. 135-147, LNCS 649, Springer-Verlag, Berlin, 1992.
9. Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Higher-order Extensions to Prolog are Needed. In: Proc. 5th Italian Conf. on Logic Programming (ed. Annalisa Bossi), pp. 167-183, 1990.
10. Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Beyond Prolog. In: Proc. AICA, pp. 257-271, 1989.