Constraint Logic Programming

	Constraint Logic Programming

	Funding: Fund for Development of Universities, FRVS - 0748/1998
	Starting Date: January 1, 1998
	Duration: 1 year
	Project Leader: Ludek Matyska (FI)

Description	The main purpose of this project is the support of Mgr. Hana Rudova as a PhD student through development of her creativity and improvement of her work conditions. Hana Rudova works in the Department of Information Technology at the Faculty of Informatics in the area of logic programming, with the special emphasis on constraint programming. She studies the strategies for solving over-constrained problems on concrete problems in the time tabling and in the digital typesetting. Results achieved in these areas will be presented in foreign international and local conferences and will create a part of her PhD thesis. For more details see complete project description (in Czech)

Deliverables	Presentation in foreign and local conferences Presentation in Seminar on Informatics (FI) Technical report at FI MU Report Series Final report (in Czech)

Contact	Hana Rudova

People	Ludek Matyska Hana Rudova

Publications	Hana Rudova. Constraints with Variables' Annotations. In Henri Prade, editor, 13th European Conference on Artificial Intelligence Proceedings (ECAI-98), pages 261-262. John Wiley & Sons, Ltd., August 1998. Hana Rudova. Constraints with Variables' Annotations and Constraint Hierarchies. In Branislav Rovan, editor, SOFSEM'98: Theory and Practice of Informatics, pages 409-418. Springer-Verlag LNCS 1521, November 1998. Hana Rudova. Constraints with Variables' Annotations. Technical Report FIMU-RS-98-04, 14 pages. Faculty of Informatics, Masaryk University , May 1998. PostScript, PDF

Other Information	Hana Rudova. Constraints with Variables' Annotations. Presentation in Seminar on Informatics (slides). April 1998. Hana Rudova. Constraint programming on ECAI-98 -- student's view. Selected for publication in AI Communications, 11 (3,4), pages 225-228, IOS Press, 1998 and in The Newsletter of the European Network in Computational Logic (see for article), December 1998.

Other Links	Hana Rudova's Bookmarks - constraint programming, logic programming, interesting conferences, journals, database of research groups and peoples from CP and LP, ... Bibliography on CLP (BibTeX, Post Script)



	webmaster@informatics.muni.cz