reasoning in Logic Programming. Media seminar series (ITN), 10.11.04. [Slides]
Specification, Inference, Applications. Dagstuhl seminar Nº 04271, 27.06.-02.07.04. [Slides]
agents - ITN research presentations - April 28th, 2003. [Slides]
für Informatik, Saarbrücken, Germany, October 1998, Combining
introspection and communication
rationality and reactivity in agents. [Slides]
Computing, Imperial College of Science, Technology and Medicine,
University of London, January 1998,
agents for query-answering system.
Mathematics, University of Warsaw, Poland, June 1996, Extending Horn
clause theories by reflection principles.
Mathematics, University of Bialystok, Poland, June 1996, Extending
Horn clause theories by reflection principles.
Rome, June 1995, SLD-resolution with reflection.