Email (best way to reach me): mes (at) cs (dot) ryerson (dot) ca
(Warning: sometimes email may not reach my mailbox due to spam filters.
Usually, I read all email and reply as many as I can.)
Skype: time for a talk is to be arranged by email.
245 Church Street, room 275 (NE corner, the 2nd floor)
Computer Science is located in George Vari ENG building.
Phone: (416) 979 5000 ext 7954 (leave voicemail)
Fax: (416) 979-5064
Ms. Lori Fortune (416) 979-5000 ext.7411
or Ms. Lucia Flaim (416) 979-5000 ext.6977
245 Church Street, ENG281
Department of Computer Science
Toronto, Ontario, M5B 2K3, Canada
Artificial Intelligence , an undergraduate course.
Algorithms and Computability, a graduate course.
Analysis of algorithms , an undergraduate course.
Undergraduate Thesis (Fall 2012), a two-term course.
Directed Studies in Computer Science (Fall 2012),
a graduate course.
CP8314 (Advanced AI) / CPS841:
Dynamic Systems in Artificial Intelligence
A graduate / advanced undergraduate course (Winter 2012).
Foundations of Semantic Technologies
(Winter 2011), an undergraduate/graduate course.
a calendar description for a new course CPS603.
Selected Topics in Artificial Intelligence
CPS 530: Component and Network Programming with
Java (Fall 2003).
Artificial Intelligence: in particular, I'm interested in
Knowledge Representation and Reasoning.
Reasoning about actions and events in
space and time. Recently, my work concentrates on developing
modular and taxonomic representations that can facilitate implementing
large-scale logical theories for reasoning about effects of
actions/events. These representations have to guarantee
decidability and, when possible, computational efficiency of this
reasoning. In particular, I explore representations based on
modern semantic technologies. One of the tasks here is to reason
about a sequence of actions/events when their participants and
properties of interests are characterized using terms defined in
ontologies. The meaning of these terms is static and does not
change after executing actions, but actions can have effects
on dynamic properties of an application domain.
high-level programming languages
with applications to design of complex controllers for software agents and
mobile robots. A Prolog interface to
Sony's AIBO robots. Execution Monitoring of high-level programs.
Logical formalizations of common-sense reasoning with applications to
high-level robot control.
- Markov Decision Processes with constraints: Decision-Theoretic Golog
and its applications.
Some of my
- Hardware: I worked in the end of 1990s with a
B21 robot manufactured by RWI.
The control of low-level functions was provided by the
the team from the Institute of Computer Science III at the
University of Bonn for another B21 robot (called
A more recent open-source version of this software is known as
CARMEN Robot Navigation
- The high-level control was implemented in Prolog using ECLiPSe,
the ECRC constraint logic programming system. It has been developed by a team from IC-Parc
at Imperial College, London, UK (and previously at the European Community Research Center).
Currently, it is available from this Web page.