Compilation-Based Approaches to Parallel Planning: An Empirical Comparison
Automated planning deals with finding a sequence of actions, a plan, to reach a goal. One of the possible approaches to automated planning is a compilation of a planning problem to a Boolean satisfiability problem or to a constraint satisfaction problem, which takes direct advantage of the advanceme...
Saved in:
| Main Authors: | Kristýna Pantůčková, Roman Barták |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
LibraryPress@UF
2021-04-01
|
| Series: | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| Subjects: | |
| Online Access: | https://journals.flvc.org/FLAIRS/article/view/128537 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Hierarchical Plan Repair via Plan Recognition and Plan Correction
by: Kristýna Pantůčková, et al.
Published: (2025-05-01) -
Using Earley Parser for Verification of Totally Ordered Hierarchical Plans
by: Kristýna Pantůčková, et al.
Published: (2024-05-01) -
Practice of Settling Joint Property: A Review Based on The Islamic Law Compilation
by: Andra Sanjaya, et al.
Published: (2025-07-01) -
Efficient Detection of Microplastics on Edge Devices With Tailored Compiler for TinyML Applications
by: Alessandro Cerioli, et al.
Published: (2025-01-01) -
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint
by: Kristýna Pantůčková, et al.
Published: (2023-05-01)