Hybrid planning for challenging construction problems: an answer set programming approach
From MaRDI portal
Publication:6161492
DOI10.1016/j.artint.2023.103902arXiv1903.00745MaRDI QIDQ6161492
Esra Erdem, Volkan Patoglu, Faseeh Ahmad
Publication date: 27 June 2023
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.00745
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantics and complexity of recursive aggregates in answer set programming
- Nonmonotonic causal theories
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- Prolegomena to a theory of mechanized formal reasoning
- On the complexity of blocks-world planning
- A computational model for the limit analysis of three-dimensional masonry structures
- Pushing blocks is hard.
- In defense of PDDL axioms
- Maximum Overhang
- Planning Among Movable Obstacles with Artificial Constraints
- Overhang
- Overhang
- Monadic generalized spectra
- Limit analysis of structures formed from rigid blocks
- Stability Characterizations of Rigid Body Contact Problems with Coulomb Friction
- Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning
- A model building framework for answer set programming with external computations
- KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner
- Tight logic programs
- Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
- Efficient HEX-Program Evaluation Based on Unfounded Sets
- Planning Algorithms
