The following is a list of areas I may be interested in guiding examination projects in:
- Formal reasoning with limited resources;
- Knowledge representation using active logic;
- Semantic web techniques;
- Robot navigation.
There are currently three projects defined in more detail:
- Automatic Planning,
- Robot Action Planning using Active Logic,
- Semantic Knowledge Base for Automation.
You are expected to have taken AI course before beginning your examination project with me. Besides, you have to convince me about your interest in the topic. If you are interested in one of the areas above or if you have your own suggestions I may seem likely to get interested in, then please contact me: Jacek Malec.