Simona Ondrcková

According to our database, Simona Ondrcková authored at least 9 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods.

Simona Ondrcková, Roman Barták

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

On the Impact of Grounding on HTN Plan Verification via Parsing.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint.

Kristýna Pantucková, Simona Ondrcková, Roman Barták

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.

Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Correcting Hierarchical Plans by Action Deletion.

Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

On the Verification of Totally-Ordered HTN Plans.

Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

A Novel Parsing-based Approach for Verification of Hierarchical Plans.

Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020