Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1401.5857
Cited By
COLIN: Planning with Continuous Linear Numeric Change
Journal of Artificial Intelligence Research (JAIR), 2012
23 January 2014
A. Coles
A. Coles
M. Fox
D. Long
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"COLIN: Planning with Continuous Linear Numeric Change"
18 / 18 papers shown
ExoPredicator: Learning Abstract Models of Dynamic Worlds for Robot Planning
Yichao Liang
Dat Nguyen
Cambridge Yang
Tianyang Li
J. Tenenbaum
Carl Edward Rasmussen
Adrian Weller
Zenna Tavares
Tom Silver
Kevin Ellis
LM&Ro
281
4
0
30 Sep 2025
A User Study on Contrastive Explanations for Multi-Effector Temporal Planning with Non-Stationary Costs
IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2024
Xiaowei Liu
Kevin McAreavey
Weiru Liu
232
1
0
20 Sep 2024
A Metric Hybrid Planning Approach to Solving Pandemic Planning Problems with Simple SIR Models
Ari Gestetner
Buser Say
257
0
0
18 Sep 2024
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications
IEEE International Conference on Robotics and Automation (ICRA), 2023
Enrico Saccon
Ahmet Tikna
Davide De Martini
Edoardo Lamon
Marco Roveri
Luigi Palopoli
LM&Ro
305
6
0
26 Sep 2023
A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
Artificial Intelligence (AIJ), 2023
Shiwali Mohan
W. Piotrowski
Roni Stern
Sachin Grover
Sookyung Kim
Jacob Le
Johan de Kleer
AI4CE
229
10
0
09 Jun 2023
A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving
IEEE Robotics and Automation Letters (RA-L), 2022
Joaquim Ortiz de Haro
E. Karpas
Michael Katz
Marc Toussaint
200
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
209
11
0
30 Aug 2022
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters
Kebing Jin
H. Zhuo
Zhanhao Xiao
Hai Wan
Subbarao Kambhampati
344
10
0
19 Oct 2021
Improving Search by Utilizing State Information in OPTIC Planners Compilation to LP
E. Denenberg
A. Coles
D. Long
155
0
0
15 Jun 2021
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking
IEEE Transactions on Artificial Intelligence (IEEE TAI), 2021
Josef Bajada
M. Fox
D. Long
201
1
0
21 May 2021
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
International Conference on Hybrid Systems: Computation and Control (HSCC), 2021
Jingkai Chen
B. Williams
Chuchu Fan
269
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
176
20
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
563
657
0
02 Oct 2020
Synthesizing Action Sequences for Modifying Model Decisions
AAAI Conference on Artificial Intelligence (AAAI), 2019
Goutham Ramakrishnan
Yun Chan Lee
Aws Albarghouthi
553
37
0
30 Sep 2019
Timeline-based Planning and Execution with Uncertainty: Theory, Modeling Methodologies and Practice
A. Umbrico
136
0
0
14 May 2019
Efficiently Exploring Ordering Problems through Conflict-directed Search
Jingkai Chen
Cheng Fang
David Wang
Andrew J. Wang
B. Williams
171
2
0
15 Apr 2019
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems
D. Bryce
Sergiy Bogomolov
A. Heinz
Christian Schilling
134
0
0
13 Sep 2016
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning
Journal of Artificial Intelligence Research (JAIR), 2014
A. Coles
A. Coles
M. Fox
D. Long
414
58
0
04 Feb 2014
1
Page 1 of 1
