My e-mail address is ssardina at cs. toronto.edu

I am a PhD student at the Department of Computer Science. My research interest is the area of reasoning about action, in particular, formal approaches to intelligent agents. I did my BS at the Universidad Nacional del Sur in Bahia Blanca, Argentina. I moved to Canada in August 1998 and I got my MSc at the University of Toronto in November 2000. My supervisor is Hector Levesque

I am particulary interested in the following topics:

• ability and knowledge precondition for (agent) programs;
• formal models of deliberation/planning with sensing;
• modeling rational agent behavior using declarative goals and procedural hierarchical tasks/procedures;
• implementation of agent systems in logic programming and constraint logic programming

My papers are available online here