3 papers
cs.LO2024
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
Miquel Ramirez, Anubhav Singh, Peter Stuckey +1
Many automated planning methods and formulations rely on suitably designed abstractions or simplifications of the constrained dynamics associated with agents to attain computationa…
cs.AI2023
Lifted Sequential Planning with Lazy Constraint Generation Solvers
Anubhav Singh, Miquel Ramirez, Nir Lipovetzky +1
This paper studies the possibilities made open by the use of Lazy Clause Generation (LCG) based approaches to Constraint Programming (CP) for tackling sequential classical planning…
cs.AI2021
Approximate Novelty Search
Anubhav Singh, Nir Lipovetzky, Miquel Ramirez +1
Width-based search algorithms seek plans by prioritizing states according to a suitably defined measure of novelty, that maps states into a set of novelty categories. Space and tim…