Lukas Chrpa's homepage



Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics
Charles University, Prague

Occupation: PhD student (just finished)
Supervisor: Doc. RNDr Roman Bartak, Ph.D
Dissertation topic: Learning for Classical Planning
Email:chrpa AT ktiml DOT mff DOT

Computer science interests: Linear Logic, AI Planning, Logic programming (including Linear logic programming), Constraint programming, Mathematical logic, Artificial intelligence in general, AI in games
Last update 12.10.2009