Prof. Jan Sefranek from Comenius University Bratislava will speak the work of his group on "Logic program updates from the viewpoint of dependencies".- Jan Sefranek -
group are attending the AAMAS 2005 conference organized this year in Utrecht, Netherlands. Moreover, Prof. Dix is serving as a chair of doctoral mentoring programme and also he is one of the organizers of
Between 5.-8. September Prof. Juergen Dix is attending 8th International Conference on Logic Programming and Non Monotonic Reasoningconference in Italy.
Central and Eastern European Conference on Multi-Agent Systems, where he also presents paper by him and Prof. Dix: "Do Agents Make Model Checking Explode (Computationally)?".
The 17th Belgian-Dutch Conference on Artificial Intelligence and present there a paper by him and Prof. Dix: "Turning Game Models Turn-Based for Model Checking Properties of Agents".- BNAIC 2005 -
Person/Speaker: Frank Michael Schleif Place: T4, Tannenhoehe, CLZFrank Michael Schleif, invited by Prof. Hammer will speak on "Fishing for bio-marker candidates in ms-data by use of Learning Vector Qua
Deutsch
English