Derek Long

Orcid: 0000-0002-5720-9265

According to our database1, Derek Long authored at least 114 papers between 1988 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
AdductHunter: identifying protein-metal complex adducts in mass spectra.
J. Cheminformatics, December, 2024

Explaining Plan Quality Differences.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023
Conflict-Based Task and Motion Planning for Multi-Robot, Multi-Goal Problems.
Proceedings of the 21st International Conference on Advanced Robotics, 2023

2022
Efficient Temporal Piecewise-Linear Numeric Planning With Lazy Consistency Checking.
IEEE Trans. Artif. Intell., 2022

Autonomous Passage Planning for a Polar Vessel.
CoRR, 2022

Reasoning and interaction for social artificial intelligence.
AI Commun., 2022

Understanding a Robot's Guiding Ethical Principles via Automatically Generated Explanations.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021
Contrastive Explanations of Plans through Model Restrictions.
J. Artif. Intell. Res., 2021

Non-invasive hemodynamic analysis for aortic regurgitation using computational fluid dynamics and deep learning.
CoRR, 2021

Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans.
CoRR, 2021

Improving Search by Utilizing State Information in OPTIC Planners Compilation to LP.
CoRR, 2021

D-VAL: An automatic functional equivalence validation tool for planning domain models.
CoRR, 2021

2020
Towards Contrastive Explanations for Comparing the Ethics of Plans.
CoRR, 2020

2018
Opportunistic Planning in Autonomous Underwater Missions.
IEEE Trans Autom. Sci. Eng., 2018

2017
Explainable Planning.
CoRR, 2017

Combining temporal planning with probabilistic reasoning for autonomous surveillance missions.
Auton. Robots, 2017

Boosting Search Guidance in Problems with Semantic Attachments.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

PDDL+ Planning with Temporal Pattern Databases.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Deterministic versus Probabilistic Methods for Searching for an Evasive Target.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Toward persistent autonomous intervention in a subsea panel.
Auton. Robots, 2016

Pattern Based Temporal Inference In Forward Search Temporal Planning.
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016

Planning Using Actions with Control Parameters.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Temporal Planning with Constants in Context.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Row and water front detection from UAV thermal-infrared imagery for furrow irrigation monitoring.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2016

Heuristic Planning for PDDL+ Domains.
Proceedings of the Planning for Hybrid Systems, 2016

Heuristic Planning for Hybrid Systems.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A Compilation of the Full PDDL+ Language into SMT.
Proceedings of the Planning for Hybrid Systems, 2016

2015
An extension of metric temporal planning with application to AC voltage control.
Artif. Intell., 2015

Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

ROSPlan: Planning in the Robot Operating System.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Planning with Numeric Timed Initial Fluents.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Policy learning for autonomous feature tracking.
Auton. Robots, 2014

A Cost-Based Relaxed Planning Graph Heuristic for Enhanced Metric Sensitivity.
Proceedings of the STAIRS 2014, 2014

Temporal Plan Quality Improvement and Repair using Local Search.
Proceedings of the STAIRS 2014, 2014

AUV mission control via temporal planning.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Scaled Entity Search: A method for media historiography and response to critiques of big humanities data research.
Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014

Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning.
J. Artif. Intell. Res., 2013

Load modelling and simulation of household electricity consumption for the evaluation of demand-side management strategies.
Proceedings of the 4th IEEE PES Innovative Smart Grid Technologies Europe, 2013

Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Challenge: Modelling Unit Commitment as a Planning Problem.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Autonomous Search and Tracking via Temporal Planning.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
Plan-based Policies for Efficient Multiple Battery Load Management.
J. Artif. Intell. Res., 2012

COLIN: Planning with Continuous Linear Numeric Change.
J. Artif. Intell. Res., 2012

Exploring Metric Sensitivity of Planners for Generation of Pareto Frontiers.
Proceedings of the STAIRS 2012, 2012

Planning Modulo Theories: Extending the Planning Paradigm.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Plan-Based Policy-Learning for Autonomous Feature Tracking.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Automatic Construction of Efficient Multiple Battery Usage Policies.
Proceedings of the IJCAI 2011, 2011

Exploiting Path Refinement Abstraction in Domain Transition Graphs.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Domain Independent Goal Recognition.
Proceedings of the STAIRS 2010, 2010

Constraint Based Planning with Composable Substate Graphs.
Proceedings of the ECAI 2010, 2010

Forward-Chaining Partial-Order Planning.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009
Editorial for AI planning and scheduling.
J. Sched., 2009

Autonomous science for an ExoMars Rover-like mission.
J. Field Robotics, 2009

The role of AI planning as a decision support tool in power substation management.
AI Commun., 2009

Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.
Artif. Intell., 2009

Managing concurrency in temporal planning using planner-scheduler interaction.
Artif. Intell., 2009

Temporal Planning in Domains with Linear Processes.
Proceedings of the IJCAI 2009, 2009

Lifting the Limitations in a Rule-based Policy Language.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Extending the Use of Inference in Temporal Planning as Forwards Search.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
A New Empirical Study of Weak Backdoors.
Proceedings of the Principles and Practice of Constraint Programming, 2008

A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Additive-Disjunctive Heuristics for Optimal Planning.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Planning with Problems Requiring Temporal Coordination.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
A Meta-CSP Model for Optimal Planning.
Proceedings of the Abstraction, 2007

Learning Macro-Actions for Arbitrary Planners and Domains.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Planning with Respect to an Existing Schedule of Events.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Discovering Near Symmetry in Graphs.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Detecting Execution Failures Using Learned Action Models.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Modelling Mixed Discrete-Continuous Domains for Planning.
J. Artif. Intell. Res., 2006

Robot introspection through learned hidden Markov models.
Artif. Intell., 2006

Plan Stability: Replanning versus Plan Repair.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Exploration of the Robustness of Plans.
Proceedings of the Proceedings, 2006

2005
Time in Planning.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Abstraction-based Action Ordering in Planning.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Validating Plans in the Context of Processes and Exogenous Events.
Proceedings of the Proceedings, 2005

MADbot: A Motivated and Goal Directed Robot.
Proceedings of the Proceedings, 2005

2004
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Multiple Relaxations in Temporal Planning.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Planning with Numeric Varibles in Multiobjective Planning.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Investigation into the Expressive Power of PDDL2.1.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
The 3rd International Planning Competition: Results and Analysis.
J. Artif. Intell. Res., 2003

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains.
J. Artif. Intell. Res., 2003

Exploiting a Graphplan Framework in Temporal Planning.
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002
Reformulation in Planning.
Proceedings of the Abstraction, 2002

A Temporal Planning System for Durative Actions of PDDL2.1.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Fast Temporal Planning in a Graphplan Framework.
Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

The Third International Planning Competition: Temporal and Metric Planning.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

Extending the Exploitation of Symmetries in Planning.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001
STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction.
AI Mag., 2001

Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
The AIPS-98 Planning Competition.
AI Mag., 2000

Automatic Synthesis and Use of Generic Types in Planning.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

Utilizing Automatically Inferred Invariants in Graph Construction and Search.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
Efficient Implementation of the Plan Graph in STAN.
J. Artif. Intell. Res., 1999

The Detection and Exploitation of Symmetry in Planning Problems.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
The Automatic Inference of State Invariants in TIM.
J. Artif. Intell. Res., 1998

Cyber Threats (Panel).
Proceedings of the Digest of Papers: FTCS-28, 1998

Generating the Structure of Argument.
Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, 1998

1997
Content Ordering in the Generation of Persuasive Discourse.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Multiple Subarguments in Logic, Argumentation, Rhetoric and Text Generation.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
An Efficient Algorithm for Managing Partial Orders in Planning.
SIGART Bull., 1996

An Architecture fro Argumentative Dialogue Planning.
Proceedings of the Practical Reasoning, 1996

Persuasion as a Form of Inter-Agent Negotiation.
Proceedings of the Multi-Agent Systems: Methodologies and Applications, 1996

1995
Alarms: An Implementation of Motivated Agency.
Proceedings of the Intelligent Agents II, 1995

1994
Goal Creation in Motivated Agents.
Proceedings of the Intelligent Agents, 1994

Reasoning by analogy and causality - a model and application.
Ellis Horwood, ISBN: 978-0-13-690132-7, 1994

1993
'Slick Systems' and 'Happy Hackers': experience with group projects at UCL.
Softw. Eng. J., 1993

A Note on Chapman's Modal Truth Criterion.
Proceedings of the Progress in Artificial Intelligence, 1993

1990
Book reviews.
Artif. Intell. Rev., 1990

1989
A review of temporal logics.
Knowl. Eng. Rev., 1989

1988
A Model for Learning by Source Control.
Proceedings of the Uncertainty and Intelligent Systems, 1988


  Loading...