University of Huddersfield Logo

Portrait of Dr Lukas Chrpa Dr Lukas Chrpa

l.chrpa@hud.ac.uk | 01484 473396



Biography

In 2005 I obtained master degree (equivalent to MSc.) in Computer Science at Palacky University in Olomouc. After that I moved to Charles University in Prague for PhD study in Theoretical Computer Science. Main areas for my PhD studies were automated planning, logic, logic programming and machine learning. I was supervised by Dr. Roman Bartak who is a respected scientist in Artificial Intelligence, especially planning, scheduling and constraint satisfaction. In September 2009 I successfully defended my thesis entitled “Learning for Classical Planning”. After that I spent almost 2 years as a postdoc in Agent Technology Center at Czech Technical University in Prague where I performed application oriented research in path (trajectory) planning and multi-agent simulation. In November 2011 I joined University of Huddersfield as a research fellow in areas of automated planning, path planning, machine learning and knowledge engineering.

Research & Scholarship

My research interests are related to the field of Artificial Intelligence, namely: automated planning, machine learning, path planning, knowledge engineering, multi-agent planning, logic and logic programming, constraint satisfaction.

Publications and Other Research Outputs

Article

Chrpa, L. and Osborne, H. (2013) ‘Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit ConstraintsJournal of Intelligent and Robotic Systems . ISSN 0921-0296

Chrpa, L. and Novák, P. (2011) ‘Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban EnvironmentsLecture Notes in Computer Science , 6867, pp. 256-265. ISSN 0302-9743

Chrpa, L (2010) ‘Generation of macro-operators via investigation of action dependencies in plansThe Knowledge Engineering Review , 25 (03), pp. 281-297. ISSN 0269-8889

Book Section

Balyo, T., Chrpa, L. and Kilani, A. (2014) ‘On Different Strategies for Eliminating Redundant Actions from Plans’. In: Proceedings of the Seventh Annual Symposium on Combinatorial Search. Prague, Czech Republic: AAAI Press. pp. 10-18. ISBN 978-1-57735-676-9

Wickler, G., Chrpa, L. and McCluskey, T. (2014) ‘Creating Planning Domain Models in KEWI’. In: Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling. Portsmouth, USA: ICAPS . pp. 54-60.

Balyo, T. and Chrpa, L. (2014) ‘Eliminating All Redundant Actions from Plans Using SAT and MaxSAT’. In: Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling. Portsmouth, USA: ICAPS . pp. 16-22.

Vallati, M., Chrpa, L. and Crampton, A. (2013) ‘Underestimation vs Overestimation in SAT-based Planning’. In: Proceedings of the XIII Conference of the Italian Association for Artificial Intelligence (Ai*iA-13). Turin, Italy: Springer. pp. 276-287. ISBN 978-3-319-03524-6

Chrpa, L., Vallati, M. and Osborne, H. (2013) ‘Learnability of Specific Structural Patterns of Planning Problems’. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013). : Institute of Electrical and Electronics Engineers ( IEEE ). pp. 18-23. ISBN 9781479929719

Jimoh, F., Chrpa, L. and Vallati, M. (2013) ‘Autonomic System Architecture: An Automated Planning Perspective’. In: Artificial Intelligence Applications and Innovations 2013. Pahpos, Cyprus: Springer. pp. 121-130. ISBN 9783642411410

Jimoh, F., Chrpa, L., McCluskey, T. and Shah, M. (2013) ‘Towards Application of Automated Planning in Urban Traffic Control’. In: 2013 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013). : Institute of Electrical and Electronics Engineers ( IEEE ). pp. 985-990. ISBN 9781479929139

Chrpa, L., Vallati, M. and McCluskey, T. (2013) ‘Determining Linearity of Optimal Plans by Operator Schema Analysis’. In: Proceedings of the Tenth Symposium on Abstraction, Reformulation and Approximation. Leavenworth, Washington, USA: AAAI Press. pp. 34-41. ISBN 978-1-57735-630-1

Shah, M., Chrpa, L., Kitchin, D., McCluskey, T. and Vallati, M. (2013) ‘Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain’. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Beijing, China: AAAI Press / International Joint Conferences on Artificial Intelligence. pp. 2373-2379. ISBN 978-1-57735-633-2

Chrpa, L., Vallati, M., Kitchin, D. and McCluskey, T. (2013) ‘Generating Macro-operators by Exploiting Inner Entanglements’. In: Proceedings / The Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA 2013). Palo Alto, Calif: AAAI Press. . ISBN 9781577356301

Chrpa, L., McCluskey, T. and Osborne, H. (2012) ‘Determining Redundant Actions in Sequential Plans’. In: Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on . : IEEE. pp. 484-491. ISBN 9781479902279

Naveed, M., Kitchin, D., Crampton, A., Chrpa, L. and Gregory, P. (2012) ‘A Monte-Carlo Path Planner for Dynamic and Partially Observable Environments’. In: Computational Intelligence and Games (CIG), 2012 IEEE Conference on . : IEEE Computational Intelligence Society. pp. 211-218. ISBN 9781467311939

Shah, M., Chrpa, L., Gregory, P., McCluskey, T. and Jimoh, F. (2012) ‘OCL Plus:Processes and Events in Object-Centred Planning’. In: Frontiers in Artificial Intelligence and Applications. Monpellier, France: IOS Press. pp. 282-293. ISBN 978-1-61499-095-6

Chrpa, L. and McCluskey, T. (2012) ‘On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements’. In: Frontiers in Artificial Intelligence and Applications: Proceedings of ECAI 2012 . : IOS Press. pp. 240-245. ISBN 978-1-61499-097-0

Chrpa, L., McCluskey, T. and Osborne, H. (2012) ‘Optimizing Plans through Analysis of Action Dependencies and Independencies’. In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. California, USA: AAAI Press. pp. 338-342. ISBN 978-1-57735-562-5

Chrpa, L., McCluskey, T. and Osborne, H. (2012) ‘Reformulating Planning Problems: A Theoretical Point of View’. In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference. Palo Alto, CA: AAAI Press. . ISBN 978-1-57735-558-8

Chrpa, L (2011) ‘Trajectory Planning on Grids: Considering Speed Limit Constraints’. In: Frontiers in Artificial Intelligence and Applications. Trondheim, Norway: IOS press. pp. 60-69. ISBN 9781607507536

Chrpa, L (2010) ‘Combining Learning Techniques for Classical Planning: Macro-operators and Entanglements’. In: Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on . Arras, France: IEEE. pp. 79-86. ISBN 9781424488179

Chrpa, L., Surynek, P. and Vysko?il, J. (2009) ‘Encoding of Planning Problems and Their Optimizations in Linear Logic’. In: Lecture Notes in Computer Science. London: Springer. pp. 54-68. ISBN 978-3-642-00674-6

Chrpa, L. and Bartak, R. (2009) ‘Reformulating Planning Problems by Eliminating Unpromising Actions’. In: Proceedings, the Eighth Symposium on Abstraction, Reformulation and Approximation . California, USA: AAAI Press. pp. 50-57. ISBN 9781577354338

Chrpa, L. and Bartak, R. (2008) ‘Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies’. In: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference. Florida, USA: AAAI Press. pp. 531-536. ISBN 9781577353652

Conference Item

Wickler, G., Chrpa, L. and McCluskey, T. (2014) ‘KEWI: A Knowledge Engineering Tool for Modelling AI Planning Tasks’. In: 6th International Conference on Knowledge Engineering and Ontology Development, 21st-24th October 2014, Rome, Italy

Jimoh, F., Chrpa, L. and McCluskey, T. (2014) ‘The Application of Planning to Urban Traffic Control’. In: 24th International Conference on Automated Planning and Scheduling, 21st to 26th of June 2014, Portsmouth, NH, USA.

Chrpa, L., Vallati, M. and McCluskey, T. (2014) ‘MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use’. In: The 24th International Conference on Automated Planning and Scheduling (ICAPS), 21st-26th June 2014, Portsmouth, USA

Gregory, P. and Chrpa, L. (2014) ‘Abstract Augmented Lazy Theta*: Applying Graph Abstractions to Trajectory Planning with Speed-Limit Constraints’. In: 31st Workshop of the UK Planning & Scheduling Special Interest Group (PlanSIG 2013), 29-30 January 2014, Edinburgh, UK

Vallati, M., Chrpa, L. and Cerutti, F. (2013) ‘Towards Automated Planning Domain Models Generation ’. In: The 5th Italian Workshop on Planning and Scheduling, 4th December 2013, Turin, Italy

Vallati, M., Chrpa, L. and Kitchin, D. (2013) ‘An Automatic Algorithm Selection Approach for Planning’. In: IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - 2013, November 4th - 6th 2013, Washington DC, USA

Chrpa, L. and Vallati, M. (2013) ‘Revisiting Inner Entanglements in Classical Planning’. In: Scandinavian Conference on Artificial Intelligence, 20-22 November 2013, Aalborg, Denmark

Jimoh, F., McCluskey, T., Chrpa, L. and Gregory, P. (2012) ‘Enabling Autonomic Properties in Road Transport System’. In: 30th Workshop of the UK Planning And Scheduling Special Interest Group PLANSIG 2012, 13th and 14th of December 2012, Teeside University

Naveed, M., Kitchin, D., Crampton, A., Chrpa, L. and Gregory, P. (2012) ‘A Monte-Carlo Path Planner for Dynamic and Partially Observable Environments’. In: Computing in Games (CIG) 2012, 11-14 September 2012, Granada, Spain

Last updated Thursday 6 March 2014
Thank you for your feedback.

Your feedback has been sent to the University Web/E-Marketing Team.

Excellent
Good
Satisfactory
Needs improvement

Excellent
Good
Satisfactory
Needs improvement

Excellent
Good
Satisfactory
Needs improvement

VAT registration number 516 3101 90

All rights reserved ©