COLIN: Planning with Continuous Linear Numeric Change

COLIN: Planning with Continuous Linear Numeric Change

23 January 2014

ArXiv (abs)PDF HTML

Papers citing "COLIN: Planning with Continuous Linear Numeric Change"

17 / 17 papers shown

Title
A User Study on Contrastive Explanations for Multi-Effector Temporal Planning with Non-Stationary Costs Xiaowei Liu Kevin McAreavey Weiru Liu 52 0 0 20 Sep 2024
A Metric Hybrid Planning Approach to Solving Pandemic Planning Problems with Simple SIR Models Ari Gestetner Buser Say 38 0 0 18 Sep 2024
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications Enrico Saccon Ahmet Tikna Davide De Martini Edoardo Lamon Marco Roveri Luigi Palopoli LM&Ro 83 2 0 26 Sep 2023
A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds Shiwali Mohan W. Piotrowski Roni Stern Sachin Grover Sookyung Kim Jacob Le Johan de Kleer AI4CE 64 7 0 09 Jun 2023
A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving Joaquim Ortiz de Haro E. Karpas Michael Katz Marc Toussaint 59 10 0 28 Nov 2022
System Resilience through Health Monitoring and Reconfiguration Ion Matei W. Piotrowski Alexandre Perez Johan de Kleer J. Tierno Wendy Mungovan Vance Turnewitsch 65 7 0 30 Aug 2022
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters Kebing Jin H. Zhuo Zhanhao Xiao Hai Wan Subbarao Kambhampati 62 9 0 19 Oct 2021
Improving Search by Utilizing State Information in OPTIC Planners Compilation to LP E. Denenberg A. Coles D. Long 14 0 0 15 Jun 2021
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking Josef Bajada M. Fox D. Long 16 1 0 21 May 2021
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems Jingkai Chen B. Williams Chuchu Fan 79 8 0 16 Feb 2021
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning Arthur Bit-Monnot M. Ghallab F. Ingrand David E. Smith AI4TS 13 16 0 25 Oct 2020
Integrated Task and Motion Planning Caelan Reed Garrett Rohan Chitnis Rachel Holladay Beomjoon Kim Tom Silver L. Kaelbling Tomás Lozano-Pérez 104 502 0 02 Oct 2020
Synthesizing Action Sequences for Modifying Model Decisions Goutham Ramakrishnan Yun Chan Lee Aws Albarghouthi 121 33 0 30 Sep 2019
Timeline-based Planning and Execution with Uncertainty: Theory, Modeling Methodologies and Practice A. Umbrico 15 0 0 14 May 2019
Efficiently Exploring Ordering Problems through Conflict-directed Search Jingkai Chen Cheng Fang David Wang Andrew J. Wang B. Williams 34 2 0 15 Apr 2019
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems D. Bryce Sergiy Bogomolov A. Heinz Christian Schilling 21 0 0 13 Sep 2016
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning A. Coles A. Coles M. Fox D. Long 93 57 0 04 Feb 2014