从一个国外同行那里转来的广告。提供这个MS课程的法国的Université d'Artois in
Lens, France，这个研究组在人工智能，尤其是知识表示，逻辑AI领域具有极高的研究
实力和声誉，感兴趣的同学可以考虑申请。
但是他们不提供奖学金，所以可以考虑结合国家公派申请。
如果有同学感兴趣或者想咨询问题，请联系漆桂林(qiguilin@googlemail.com)
The programme is detailed on the web page of our lab, but it is in french !
Here: http://www.cril.univ-artois.fr/spip/spip.php?article114
It could be useful to have it in english, but it is not the case yet
(an important point: the lectures are in french ! It can evole to
english-speaking lectures, but it is not the case yet)
So here is just a short summary (title of the lectures, and brief content):
* Formal Tools (15h)
Logic (propositional, first order, modal, multi-valued)
Computational Complexity
* Knowledge Representation and Reasoning (20h)
Non-monotonic inference relations, default logic, closed-world
assumptions, inference from stratified knowledge bases
* Uncertainty (15h)
Possibilistic logic, Probabilistic logic, Demster/Shafer, Bayesian networks
* Satisfaction and Constraints (20h)
Algorithms for SAT and CSP
* Information Systems and Internet (15h)
Modelization of information systems (UML, etc.)
* Planning (20h)
Representation of actions and plans.
Planning Algorithms
* Advanced Tools (20h)
Introduction to Belief Revision, Social Choice Theory, Game Theory
This is the program of the 2nd year of Master. The first year of
Master is much more "conventional computer science".
-Funding: we have no funding available. I suppose (but I do not know)
that it is possible to look for international cooperation projects.
We have some fundings for PhD thesis, but we usually do not have
fundings for Masters. Usually foreign students have fundings from
their countries...
-What research topics are avaible ?
For the master thesis, all the research topics of the CRIL lab are
possible. Briefly it is either KR topics, or SAT/CSP ones.
This mainly depends of the supervisors research topics.
-Who will supervise the students ?
The supervisors of the master thesis are people from our lab., usually
involving a Professor, so there is for instance:
* Salem Benferhat
* Pierre Marquis
* Eric Gregoire
* Lakdhar Sais
* Christophe Lecoutre
* Sebastien Konieczny
* Souhila Kaci
* ....
-Background of the students:
The main common points of the lectures (and of the master thesis
subjects) are logic and/or algorithmic.
So, for mathematicians, at least a background in logic is required for
KR subjects. But the ideal is to have a computer science / logic
background.
[返回] 中文XML论坛 - 专业的XML技术讨论区 →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → [MS position]Computer Science in Université d'Artois, FR
(订阅本版)
2008/6/23 0:19:00
新浪微博
[MS position]Computer Science in Université d'Artois, FR
