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.
My research interests are knowledge representation and reasoning,
reasoning about actions and change, multiagent systems, coordination of
coalition of agents, commonsense reasoning, and logical foundations of game theory.
- Hojjat Ghaderi and Hector Levesque and Yves Lespérance,
"A Logical Theory of Coordination and Joint Ability", In
Proc. of 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.
- Instructorship:
- I am currently teaching:
- Courses that I have taught before:
- 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.
|