Logicke programovani s omezujicimi podminkami

	Logické programování s omezujícími podmínkami

	Financování: Fond rozvoje vysokých škol, FRVŠ - 0748/1998
	Datum zahájení: 1.ledna 1998
	Doba trvání: 1 rok
	Koordinátor: Luděk Matyska (FI)

Popis projektu	Hlavním cílem projektu je rozvinutí tvůrčí činnosti spoluřešitelky studentky PGS studia Mgr. Hany Rudové a zlepšení podmínek pro práci na disertační práci. Spoluřešitelka pracuje na katedře informačních technologií a zabývá se studiem v oblasti logického programování s omezujícími podmínkami. Na konkrétních příkladech profesionální sazby dokumentů a tvorby rozvrhů jsou zkoumány příliš podmíněné systémy. V současné době spoluřešitelka studuje strategii konstrukce hierarchie omezení. Získané poznatky budou tvořit náplň disertační práce a budou prezentovány na lokální a zahraniční konferenci. Podrobnější informace o projektu jsou zde (zadání projektu).

Výstupy	Prezentace na mezinárodní a lokální konferenci Prezentace na Semináři FI Technická zpráva FI Závěrečná zpráva

Kontaktní osoba	Hana Rudová

Spoluřešitelé	Luděk Matyska Hana Rudová

Publikace	Hana Rudová. Constraints with Variables' Annotations. V Henri Prade, editor, 13th European Conference on Artificial Intelligence Proceedings (ECAI-98), strana 261-262. John Wiley & Sons, Ltd., srpen 1998. Hana Rudová. Constraints with Variables' Annotations and Constraint Hierarchies. V Branislav Rovan, editor, SOFSEM'98: Theory and Practice of Informatics, strana 409-418. Springer-Verlag LNCS 1521, listopad 1998. Hana Rudová. Constraints with Variables' Annotations. Technická zpráva FIMU-RS-98-04, 14 stran. Fakulta informatiky Masarykovy university , květen 1998. PostScript, PDF

Další informace	Hana Rudová. Omezení s anotovanými proměnnými. Prezentace na Semináři FI (průsvitky). duben 1998. Hana Rudová. Constraint programming on ECAI-98 -- student's view. Vybráno pro publikaci v AI Communications, 11 (3,4), strana 225-228, IOS Press, 1998 a v The Newsletter of the European Network in Computational Logic (článek), prosinec 1998.

Další odkazy	Hana Rudova's Bookmarks - programování s omezujícími podmínkami, logické programování, zajímavé konference, časopisy, odkazy na výzkumné skupiny a konkrétní osoby, ... Bibliografie (BibTeX, Post Script)



	webmaster@informatics.muni.cz