Lukás Chrpa

Orcid: 0000-0001-9713-7748

Affiliations:
  • Czech Technical University in Prague


According to our database1, Lukás Chrpa authored at least 113 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Learning Planning Action Models from State Traces.
CoRR, 2024

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Process.
CoRR, 2024

A Framework for Centralized Traffic Routing in Urban Areas.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

On Verifying Linear Execution Strategies in Planning Against Nature.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023
Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version).
CoRR, 2023

Towards an Effective Framework Combining Planning and Scheduling [Extended Abstract].
Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement.
Proceedings of the RoboCup 2023: Robot World Cup XXVI [Bordeaux, France, 4-10 July, 2023]., 2023

Improving the Scalability of Automated Planning-based Vehicle Routing via Smart Routes Identification.
Proceedings of the 8th International Conference on Models and Technologies for Intelligent Transportation Systems, 2023

Comparing Planning Domain Models Using Answer Set Programming.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Enhancing Temporal Planning by Sequential Macro-Actions.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Centralised Vehicle Routing for Optimising Urban Traffic: A Scalability Perspective.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

In Defence of Good Old-Fashioned Artificial Intelligence Approaches in Intelligent Transportation Systems.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract).
Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Towards a Framework for Intelligent Urban Traffic Routing.
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

2022
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning.
IEEE Trans. Knowl. Data Eng., 2022

Planning and acting in dynamic environments: identifying and avoiding dangerous situations.
J. Exp. Theor. Artif. Intell., 2022

Planning with Critical Section Macros: Theory and Practice.
J. Artif. Intell. Res., 2022

Urban Traffic Control via Planning with Global State Constraints (Extended Abstract).
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Deep RRT.
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Effective Planning in Resource-Competition Problems by Task Decomposition.
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.
Proceedings of the Practical Aspects of Declarative Languages, 2022

Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries.
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

On Speeding Up Methods for Identifying Redundant Actions in Plans.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Optimal Mixed Strategies for Cost-Adversarial Planning Games.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
Theory Pract. Log. Program., 2021

On the Importance of Domain Model Configuration for Automated Planning Engines.
J. Autom. Reason., 2021

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
CoRR, 2021

Adversary Strategy Sampling for Effective Plan Generation.
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Effective Real-Time Urban Traffic Routing: An Automated Planning Approach.
Proceedings of the 7th International Conference on Models and Technologies for Intelligent Transportation Systems, 2021

On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Universal and Uniform Action Reversibility.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2020
MEvo: a framework for effective macro sets evolution.
J. Exp. Theor. Artif. Intell., 2020

Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions.
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020

On the Reversibility of Actions in Planning.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Determining Action Reversibility in STRIPS Using Answer Set Programming.
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Automated Acquisition of Control Knowledge for Classical Planners.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions.
Proceedings of the AI 2020: Advances in Artificial Intelligence, 2020

Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study.
Proceedings of the AI 2020: Advances in Artificial Intelligence, 2020

Planning and Acting with Non-Deterministic Events: Navigating between Safe States.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Planning in a Real-World Application: An AUV Case Study.
Proceedings of the Knowledge Engineering Tools and Techniques for AI Planning, 2020

Modeling Planning Tasks: Representation Matters.
Proceedings of the Knowledge Engineering Tools and Techniques for AI Planning, 2020

2019
Inner entanglements: Narrowing the search in classical planning by problem reformulation.
Comput. Intell., 2019

On the predictability of domain-independent temporal planners.
Comput. Intell., 2019

Exploiting automated planning for efficient centralized vehicle routing and mitigating congestion in urban road networks.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge.
Proceedings of the 10th International Conference on Knowledge Capture, 2019

Appropriate Expressiveness of Planning Domain Models: An Urban Traffic Control Case Study.
Proceedings of the 10th International Conference on Knowledge Capture, 2019

Using Classical Planning in Adversarial Problems.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning.
Proceedings of the Computational Science - ICCS 2019, 2019

Compiling Planning Problems with Non-deterministic Events into FOND Planning.
Proceedings of the Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), 2019

Improving Domain-Independent Planning via Critical Section Macro-Operators.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask).
Knowl. Eng. Rev., 2018

Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms.
J. Exp. Theor. Artif. Intell., 2018

Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks.
Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018

Automated Training Plan Generation for Athletes.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

A Principled Analysis of the Interrelation between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Determining Representativeness of Training Plans: A Case of Macro-Operators.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation.
Proceedings of the Computational Science - ICCS 2018, 2018

2017
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Sci. Comput. Program., 2017

The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends.
AI Mag., 2017

Improving a Planner's Performance through Online Heuristic Configuration of Domain Models.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Mixed-initiative planning, replanning and execution: From concept to field testing using AUV fleets.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Handling non-local dead-ends in Agent Planning Programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Towards a Safer Planning and Execution Concept.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

On the Evolution of Planner-Specific Macro Sets.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations.
Intelligenza Artificiale, 2016

On the completeness of replacing primitive actions with macro-actions and its generalization to planning operators and macro-operators.
AI Commun., 2016

Proposing of Planning System for Sports Domain: A Tool for Professional Coaches.
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016

Guiding Planning Engines by Transition-Based Domain Control Knowledge.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

On the exploitation of Automated Planning for efficient decision making in road traffic accident management.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
The 2014 International Planning Competition: Progress and Trends.
AI Mag., 2015

Portfolio-based planning: State of the art, common practice and open challenges.
AI Commun., 2015

Exploring the Synergy between Two Modular Learning Techniques for Automated Planning.
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements.
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

On mixed-initiative planning and control for Autonomous underwater vehicles.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

On the Effective Configuration of Planning Domain Models.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Online Generation of Effective Macro-Operators.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Exploiting Block Deordering for Improving Planners Efficiency.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit Constraints.
J. Intell. Robotic Syst., 2014

ASAP: An Automatic Algorithm Selection Approach for Planning.
Int. J. Artif. Intell. Tools, 2014

On Different Strategies for Eliminating Redundant Actions from Plans.
Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

Ontological Support for Modelling Planning Knowledge.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014

KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks.
Proceedings of the KEOD 2014, 2014

MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Revisiting Inner Entanglements in Classical Planning.
Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013

Generating Macro-Operators by Exploiting Inner Entanglements.
Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Determining Linearity of Optimal Plans by Operator Schema Analysis.
Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Towards application of automated planning in urban traffic control.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain.
Proceedings of the IJCAI 2013, 2013

Autonomic System Architecture: An Automated Planning Perspective.
Proceedings of the Artificial Intelligence Applications and Innovations, 2013

An Automatic Algorithm Selection Approach for Planning.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Learnability of Specific Structural Patterns of Planning Problems.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Underestimation vs. Overestimation in SAT-Based Planning.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012
OCL Plus: Processes and Events in Object-Centred Planning.
Proceedings of the STAIRS 2012, 2012

Determining Redundant Actions in Sequential Plans.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Reformulating Planning Problems: A Theoretical Point of View.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements.
Proceedings of the ECAI 2012, 2012

A Monte-Carlo path planner for dynamic and partially observable environments.
Proceedings of the 2012 IEEE Conference on Computational Intelligence and Games, 2012

Optimizing Plans through Analysis of Action Dependencies and Independencies.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Trajectory Planning on Grids: Considering Speed Limit Constraints.
Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence, 2011

Smoothed Hex-grid Trajectory Planning using Helicopter Dynamics.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban Environments.
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2011

2010
Generation of macro-operators via investigation of action dependencies in plans.
Knowl. Eng. Rev., 2010

Combining Learning Techniques for Classical Planning: Macro-operators and Entanglements.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009
Reformulating Planning Problems by Eliminating Unpromising Actions.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008
Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies.
Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008

Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007
Encoding of Planning Problems and Their Optimizations in Linear Logic.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Solving Difficult Problems by Viewing them as Structured Dense Graphs.
Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007


  Loading...