Hojjat Ghaderi

Department of Computer Science
University of Toronto
10 King's College Road
Toronto, ON M5S 3G4, Canada

E-mail:  hojjat cs[dot]toronto[dot]edu
Office Phone: +1 (416) 978 8700
FAX: +1( 416) 978 1931
WWW: http://www.cs.toronto.edu/~hojjat/

Research Teaching Publications CV (available upon request)

I am a Ph.D candidate in the Department of Computer Science, University of Toronto with Prof.  Hector Levesque and Prof. Yves Lespérance; working on a logical formalization of coordination and joint ability in multi-agent systems. I am a member of the Knowledge Representation and Cognitive Robotics groups since 2000 and did my Master's degree with the late Prof. Raymond Reiter  in 2002 on efficient reasoning in the stochastic situation calculus. 

AAMAS2010: I am the webmaster of the AAMAS-2010. Questions regarding the website should be sent to my aamas2010@cse.yorku.ca address.

Commonsense 2009: I was the Local Arrangements Chair for the 9th International Symposium on Logical Formalizations of Commonsense Reasoning held in Toronto, June 1-3, 2009. Please send your symposium related questions to my cs09localchair at gmail address instead.
News: Here are the photos.

Research Interests

My research interests span over a wide range of Artificial Intelligence (AI) topics including knowledge representation and reasoning, multiagent systems, game theory, semantic web services and process modeling, reasoning about action and change, planning and decision making, constraint satisfaction problems, machine learning, commonsense reasoning, and cognitive robotics.

Recent Publications

  • Hojjat Ghaderi and Hector Levesque and Yves Lespérance, "On Joint Ability in the Presence of Sensing", The 9th International Symposium on Logical Formalizations of Commonsense Reasoning, University of Toronto, Canada, June 2009.

  • Hojjat Ghaderi and Hector Levesque and Yves Lespérance, "A Logical Theory of Coordination and Joint Ability", In Proc. of Twenty-Second Conference on Artificial Intelligence (AAAI'07), 421-426 ,Vancouver, BC, July 2007.

  • Hojjat Ghaderi and Hector Levesque and Yves Lespérance, "Towards a logical theory of coordination and joint ability", In Proc. of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS’07 (Poster), 532-534, Hawai'i, USA, May 2007.
    • A short version the above paper was one of 17 papers worldwide accepted for presentation in the Doctoral Symposium of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'07) , Hawai'i, USA, May 2007.

  • Hojjat Ghaderi and Hector Levesque and Yves Lespérance, "A logical theory of coordination and joint ability", The 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense’07), Stanford University, USA, March 2007.

  • Hojjat Ghaderi, "Handling initial uncertainty in the Stochastic Situation Calculus", MSc thesis,  Department of Computer Science, University of Toronto, August 2002.

Teaching

  • Instructorship:

  • Teaching Assistantship:

    • CSC324 (Principles of Programming Languages), UofT, Fall 2002 - Winter 2006 (8 semesters).

    • CSC108 (Introduction to Computer Programming), UofT, Winter 2003.

    • CSC270 (Algorithms and Data Structures), UofT, Fall 2000 - Winter 2002 (4 semesters).

    • CSC209 (Software Tools and Systems Programming), UofT, Winter 2001.

    • CSC238 (Discrete Mathematics for Computer Science), UofT, Summer 2003 and Summer 2002.

    • ECE242 (Algorithms and Data Structures), UofT, Winter 2001 - Winter 2004 (7 semesters).

    • Artificial Intelligence, Sharif University of Technology, 1997 and 1998.

 

Back to the top