Up a level
Export as [feed] RSS
Group by: Date | Creators | Item Type | Uncontrolled Keywords | No Grouping
Jump to: B | C | F | G | J | N | P | S | V | W
Number of items: 56.

B

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

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

C

Chrpa, Lukáš, McCluskey, T.L., Vallati, Mauro and Vaquero, Tiago (2017) The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends. AI Magazine, 38 (1). pp. 104-106. ISSN 0738-4602

Chrpa, Lukáš and Vallati, Mauro (2016) On the Exploitation of Automated Planning for Efficient Decision Making in Road Traffic Accident Management. In: 55th IEEE Conference on Decision and Control, 12-14 December 2016, Las Vegas, USA.

Chrpa, Lukáš, Magazzeni, Daniele, McCabe, Keith, McCluskey, T.L. and Vallati, Mauro (2016) Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. Intelligenza Artificiale, 10 (2). pp. 113-128. ISSN 1724-8035

Chrpa, Lukáš and Bartak, Roman (2016) Guiding Planning Engines by Transition-based Domain Control Knowledge. In: 15th International Conference on Principles of Knowledge Representation and Reasoning, 25-29th April 2016, Cape Town, South Africa.

Chrpa, Lukáš, Pinto, Jose, Ribeiro, Manuel, Py, Frederic, Sousa, Joao and Rajan, Kanna (2015) On Mixed-Initative Planning and Control for Autonomous Underwater Vehicles. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), 28th September - 2nd October 2015, Hamburg, Germany.

Chrpa, Lukáš, McCluskey, T.L. and Osborne, Hugh (2015) On the Completeness of Replacing Primitive Actions with Macro-actions and its Generalization to Planning Operators and Macro-operators. AI Communications, 29 (1). pp. 163-183. ISSN 0921-7126

Chrpa, Lukáš and Siddiqui, Fazlul (2015) Exploiting Block Deordering for Improving Planners Efficiency. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. AAAI Press, Buenos Aires, Argentina, pp. 1537-1543. ISBN 9781577357384

Chrpa, Lukáš, Vallati, Mauro and McCluskey, T.L. (2015) On the Online Generation of Effective Macro-operators. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. AAAI Press, pp. 1544-1550. ISBN 9781577357384

Chrpa, Lukáš, Scala, Enrico and Vallati, Mauro (2015) Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements. In: Symposium on Combinatorial Search (SoCS 2015), 11th-13th June 2015, Ein Gedi, The Dead Sea, Israel. (Unpublished)

Chrpa, Lukáš and Thorisson, Kristinn (2015) On Applicability of Automated Planning for Incident Management. In: The international Scheduling and Planning Applications woRKshop (SPARK 2015), 8th June 2015, Jerusalem, Israel.

Chrpa, Lukáš and Osborne, Hugh (2014) Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit Constraints. Journal of Intelligent and Robotic Systems, 75 (2). pp. 243-270. ISSN 0921-0296

Chrpa, Lukáš, Vallati, Mauro and McCluskey, T.L. (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. (Unpublished)

Cenamor, Isabel, Chrpa, Lukáš, Jimoh, Falilat, McCluskey, T.L. and Vallati, Mauro (2014) Planning & Scheduling Applications in Urban Traffic Management. In: The UK Planning and Scheduling Special Interest Group (UK PlanSIG) 2014, 15th December 2014, Teeside, UK.

Chrpa, Lukáš, Vallati, Mauro and Osborne, Hugh (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

Chrpa, Lukáš and Vallati, Mauro (2013) Revisiting Inner Entanglements in Classical Planning. In: Scandinavian Conference on Artificial Intelligence, 20-22 November 2013, Aalborg, Denmark. (Unpublished)

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

Chrpa, Lukas, Vallati, Mauro, Kitchin, Diane E. and McCluskey, Thomas Leo (2013) Generating Macro-operators by Exploiting Inner Entanglements. In: Proceedings / The Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA 2013). AAAI Press, Palo Alto, Calif. ISBN 9781577356301

Chrpa, Lukáš, McCluskey, T.L. and Osborne, Hugh (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

Chrpa, Lukáš and McCluskey, T.L. (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, Lukáš, McCluskey, T.L. and Osborne, Hugh (2012) Optimizing Plans through Analysis of Action Dependencies and Independencies. In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. ICAPS 2012 . AAAI Press, California, USA, pp. 338-342. ISBN 978-1-57735-562-5

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

Chrpa, Lukáš and Novák, Peter (2011) Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban Environments. Lecture Notes in Computer Science, 6867. pp. 256-265. ISSN 0302-9743

Chrpa, Lukáš (2011) Trajectory Planning on Grids: Considering Speed Limit Constraints. In: Frontiers in Artificial Intelligence and Applications. Eleventh Scandinavian Conference on Artificial Intelligence - SCAI 2011, 227 . IOS press, Trondheim, Norway, pp. 60-69. ISBN 9781607507536

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

Chrpa, Lukáš (2010) Generation of macro-operators via investigation of action dependencies in plans. The Knowledge Engineering Review, 25 (03). pp. 281-297. ISSN 0269-8889

Chrpa, Lukáš, Surynek, Pavel and Vyskočil, Jiří (2009) Encoding of Planning Problems and Their Optimizations in Linear Logic. In: Lecture Notes in Computer Science. Springer, London, pp. 54-68. ISBN 978-3-642-00674-6

Chrpa, Lukáš and Bartak, Roman (2009) Reformulating Planning Problems by Eliminating Unpromising Actions. In: Proceedings, the Eighth Symposium on Abstraction, Reformulation and Approximation. Symposium on Abstraction, Reformulation and Approximation (SARA 2009) . AAAI Press, California, USA, pp. 50-57. ISBN 9781577354338

Chrpa, Lukáš and Bartak, Roman (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. FLAIRS 2008 . AAAI Press, Florida, USA, pp. 531-536. ISBN 9781577353652

F

Fuentetaja, Raquel, Chrpa, Lukáš, McCluskey, T.L. and Vallati, Mauro (2015) Exploring the Synergy between two Modular Learning Techniques for Automated Planning. In: Symposium on Combinatorial Search (SoCS 2015), 11th-13th June 2015, Ein Gedi, The Dead Sea, Israel. (Unpublished)

G

Gregory, Peter and Chrpa, Lukáš (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.

J

Jimoh, Falilat, Chrpa, Lukáš and McCluskey, T.L. (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.. (Unpublished)

Jimoh, Falilat, Chrpa, Lukáš and Vallati, Mauro (2013) Autonomic System Architecture: An Automated Planning Perspective. In: Artificial Intelligence Applications and Innovations 2013. IFIP Advances in Information and Communication Technology, 412 (121). Springer, Pahpos, Cyprus, pp. 121-130. ISBN 9783642411410

Jimoh, Falilat, Chrpa, Lukas, McCluskey, T.L. and Shah, Mohammad Munshi Shahin (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

Jimoh, Falilat, McCluskey, T.L, Chrpa, Lukas and Gregory, Peter (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.

N

Naveed, Munir, Kitchin, Diane E., Crampton, Andrew, Chrpa, Lukáš and Gregory, Peter (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

Naveed, Munir, Kitchin, Diane E., Crampton, Andrew, Chrpa, Lukáš and Gregory, Peter (2012) A Monte-Carlo Path Planner for Dynamic and Partially Observable Environments. In: Computing in Games (CIG) 2012, 11-14 September 2012, Granada, Spain. (Unpublished)

P

Parkinson, Simon, Longstaff, Andrew P., Fletcher, Simon, Vallati, Mauro and Chrpa, Lukáš (2017) On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). Association for the Advancement of Artificial Intelligence AAAI, pp. 400-408.

Parkinson, Simon, Vallati, Mauro, Chrpa, Lukáš, Longstaff, Andrew P. and Fletcher, Simon (2016) Planning Machine Activity Between Manufacturing Operations: Maintaining Accuracy While Reducing Energy Consumption. In: 10th Scheduling and Planning Applications woRKshop (SPARK), 14th June 2016, Kings College, London. (Unpublished)

S

Shah, Mohammad Munshi Shahin, Chrpa, Lukáš, Kitchin, Diane E., McCluskey, T.L. and Vallati, Mauro (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. IJCAI 3-9 August 2013 . AAAI Press / International Joint Conferences on Artificial Intelligence, Beijing, China, pp. 2373-2379. ISBN 978-1-57735-633-2

Shah, Mohammad Munshi Shahin, Chrpa, Lukáš, Gregory, Peter, McCluskey, T.L. and Jimoh, Falilat (2012) OCL Plus:Processes and Events in Object-Centred Planning. In: Frontiers in Artificial Intelligence and Applications. STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, 241 . IOS Press, Monpellier, France, pp. 282-293. ISBN 978-1-61499-095-6

V

Vallati, Mauro, Chrpa, Lukáš and McCluskey, T.L. (2018) What You Always Wanted to Know about the Deterministic Part of IPC 2014 (But Were too Afraid to Ask). The Knowledge Engineering Review, 33 (e3). ISSN 0269-8889

Vallati, Mauro, Chrpa, Lukáš and Serina, Ivan (2017) On the Evolution of Planner-Specific Macro Sets. In: AI*AI 2017 Advances in Artificial Intelligence : International Conference of the Italian Association for Artificial Intelligence. Lecture Notes in Artificial Intelligence (LNAI) (10640). Springer, pp. 443-454. ISBN 9783319701684

Vallati, Mauro, Chrpa, Lukáš and McCluskey, T.L. (2017) Improving a planner’s performance through online heuristic configuration of domain models. In: Proceedings of the 10th International Symposium on Combinatorial Search (SoCS). AAAI Press, pp. 171-172. ISBN 978-1577357902

Vallati, Mauro, Magazzeni, Daniele, De Schutter, Bart, Chrpa, Lukáš and McCluskey, T.L. (2016) Efficient Macroscopic Urban Traffic Models for Reducing Congestion: a PDDL+ Planning Approach. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). AAAI Press, Phoenix, Arizona USA, pp. 3188-3194.

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane E. (2015) Portfolio-based Planning: State of the Art, Common Practice and Open Challenges. AI Communications, 28 (4). pp. 717-733. ISSN 0921-7126

Vallati, Mauro, Hutter, Frank, Chrpa, Lukáš and McCluskey, T.L. (2015) On the Effective Configuration of Planning Domain Models. In: International Joint Conference on Artificial Intelligence, 25th - 31st July, 2015, Argentina.

Vallati, Mauro, Chrpa, Lukáš, Grzes, Marek, McCluskey, T.L., Roberts, Mark and Sanner, Scott (2015) The 2014 International Planning Competition: Progress and Trends. AI Magazine, 36 (3). pp. 90-98. ISSN 0738-4602

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane E. (2014) ASAP: An Automatic Algorithm Selection Approach for Planning. International Journal on Artificial Intelligence Tools, 23 (6). p. 1460032. ISSN 0218-2130

Vallati, Mauro, Chrpa, Lukáš and Cerutti, Federico (2013) Towards Automated Planning Domain Models Generation. In: The 5th Italian Workshop on Planning and Scheduling, 4th December 2013, Turin, Italy.

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane (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. (Unpublished)

Vallati, Mauro, Chrpa, Lukáš and Crampton, Andrew (2013) Underestimation vs Overestimation in SAT-based Planning. In: Proceedings of the XIII Conference of the Italian Association for Artificial Intelligence (Ai*iA-13). Lecture Notes in Computer Science, 8249 . Springer, Turin, Italy, pp. 276-287. ISBN 978-3-319-03524-6

W

Wickler, Gerhard, Chrpa, Lukáš and McCluskey, T.L. (2015) Ontological support for modelling planning knowledge. In: Knowledge Discovery, Knowledge Engineering and Knowledge Management - 6th International Joint Conference, {IC3K} 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers. Communications in Computer and Information Science, 553 . Springer-Verlag, pp. 293-312. ISBN 978-3-319-25840-9

Wickler, Gerhard, Chrpa, Lukáš and McCluskey, T.L. (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.

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

This list was generated on Fri Mar 29 10:55:12 2024 UTC.