Jeremy Frank

According to our database1, Jeremy Frank authored at least 57 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An On-Board Off-Board Framework for Online Replanning: Applied to UAVs in Urban Environments.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023
A Column Generation Approach to Correlated Simple Temporal Networks.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation (Extended Abstract).
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Explaining Soft-Goal Conflicts through Constraint Relaxations.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Solving Disjunctive Temporal Networks with Uncertainty under Restricted Time-Based Controllability Using Tree Search and Graph Neural Networks.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Time-based Dynamic Controllability of Disjunctive Temporal Networks with Uncertainty: A Tree Search Approach with Graph Neural Network Guidance.
CoRR, 2021

Soil Moisture Monitoring Using Autonomous and Distributed Spacecraft (D-Shield).
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

2020
Advancing the Scientific Frontier with Increasingly Autonomous Systems.
CoRR, 2020

Compact In-Run Navigation Grade IMU Based on Quartz MEMS.
Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2020

D-SHIELD: DISTRIBUTED SPACECRAFT WITH HEURISTIC INTELLIGENCE TO ENABLE LOGISTICAL DECISIONS.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

Planning for Compilation of a Quantum Algorithm for Graph Coloring.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2018
Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Approximation Algorithms and Heuristics for Classical Planning.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics, 2018

2017
Compiling Quantum Circuits to Realistic Hardware Architectures using Temporal Planners.
CoRR, 2017

Temporal Planning for Compilation of Quantum Approximate Optimization Circuits.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

An Investigation of Phase Transitions in Single-Machine Scheduling Problems.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Planning Time to Think: Metareasoning for On-Line Planning with Durative Actions.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
Comparing planning problem compilation approaches for quantum annealing.
Knowl. Eng. Rev., 2016

Revisiting dynamic constraint satisfaction for model-based planning.
Knowl. Eng. Rev., 2016

A Hybrid Quantum-Classical Approach to Solving Scheduling Problems.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Scheduling Ocean Color Observations for a GEO-Stationary Satellite.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem.
Proceedings of the Planning for Hybrid Systems, 2016

2015
Reactive execution for solving plan failures in planning control applications.
Integr. Comput. Aided Eng., 2015

Reflecting on Planning Models: A Challenge for Self-Modeling Systems.
Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015

2014
Robust Plan Execution in Multi-agent Environments.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Parametrized Families of Hard Planning Problems from Phase Transitions.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
The challenges of verification and validation of automated planning systems (keynote).
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Multi-agent Reactive Planning for Solving Plan Failures.
Proceedings of the Hybrid Artificial Intelligent Systems - 8th International Conference, 2013

Planning Solar Array Operations on the International Space Station.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2011
Planning solar array operations on the international space station.
ACM Trans. Intell. Syst. Technol., 2011

2007
Approximation Algorithms and Heuristics for Classical Planning.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

Using Data Mining to Enhance Automated Planning and Scheduling.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2007

Bounding the Resource Availability of Activities with Linear Resource Impact.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006
Tractable Optimal Competitive Scheduling.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

2005
Simulation-based planning for planetary rover experiments.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

High and dry: trading water vapor, fuel and observing time for airborne infrared astronmomy.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2005

Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

2004
Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact.
Proceedings of the Principles and Practice of Constraint Programming, 2004

PLASMA: A Constraint Based Planning Architecture.
Proceedings of the Principles and Practice of Constraint Programming, 2004

SOFIA's Choice: An AI Approach to Scheduling Airborne Astronomy Observations.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Constraint-Based Attribute and Interval Planning.
Constraints An Int. J., 2003

Scheduling in the Face of Uncertain Resource Consumption and Utility.
Proceedings of the Principles and Practice of Constraint Programming, 2003

SOFIA's Choice: Scheduling Observations for an Airborne Observatory.
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002
Universal Quantification in a Constraint-Based Planner.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2000
On Reformulating Planning as Dynamic Constraint Satisfaction.
Proceedings of the Abstraction, 2000

A Framework for Dynamic Constraint Reasoning using Procedural Constraints.
Proceedings of the ECAI 2000, 2000

1999
The CP'98 Workshop on Constraint Problem Reformulation.
AI Mag., 1999

1998
Passive optical network architecture based on waveguide grating routing.
IEEE J. Sel. Areas Commun., 1998

Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study.
Inf. Process. Lett., 1998

Using Collective Intelligence to Route Internet Traffic.
Proceedings of the Advances in Neural Information Processing Systems 11, [NIPS Conference, Denver, Colorado, USA, November 30, 1998

1997
When Gravity Fails: Local Search Topology.
J. Artif. Intell. Res., 1997

Learning Short-Term Weights for GSAT.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
Local Search and the Number of Solutions.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Weighting for Godot: Learning Heuristics for GSAT.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996


  Loading...