Thomas Leo McCluskey

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

On the Importance of Domain Model Configuration for Automated Planning Engines.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

A Quality Framework for Automated Planning Knowledge Models.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

Refining Process Descriptions from Execution Data in Hybrid Planning Domain Models.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

In Defence of Design Patterns for AI Planning Knowledge Models.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

In Defence of Design Patterns for AI Planning Knowledge Models (short paper).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020

2019

Inner entanglements: Narrowing the search in classical planning by problem reformulation.

[BibT_eX]

[DOI]

Comput. Intell., 2019

Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2019, 2019

2018

What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask).

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2018

Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2018

An Innovative Heuristic for Planning-Based Urban Traffic Control.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2018, 2018

2017

A Hybrid Approach to Process Planning: The Urban Traffic Controller Example.

[BibT_eX]

[DOI]

Falilat Jimoh

Simon Parkinson

J. Comput. Sci., 2017

The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends.

[BibT_eX]

[DOI]

AI Mag., 2017

Improving a Planner's Performance through Online Heuristic Configuration of Domain Models.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Engineering Knowledge for Automated Planning: Towards a Notion of Quality.

[BibT_eX]

[DOI]

Tiago Stegun Vaquero

Proceedings of the Knowledge Capture Conference, 2017

Automated Planning for Urban Traffic Management.

[BibT_eX]

[DOI]

Santiago Franco

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Embedding Automated Planning within Urban Traffic Management Operations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2016

On the completeness of replacing primitive actions with macro-actions and its generalization to planning operators and macro-operators.

[BibT_eX]

[DOI]

AI Commun., 2016

The SimplyfAI Project: Using AI Planning in Urban Traffic Management or If at First the Representation Does not Work, Try, Try and Try and Again.

[BibT_eX]

[DOI]

Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016

Towards The Integration of Model Predictive Control into an AI Planning Framework.

[BibT_eX]

[DOI]

Falilat Jimoh

Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016

An Improved Self-Structuring Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2016

A dynamic self-structuring neural network model to combat phishing.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Autonomic Road Transport Support Systems: An Introduction.

[BibT_eX]

[DOI]

Proceedings of the Autonomic Road Transport Support Systems, 2016

Self-management in Urban Traffic Control: An Automated Planning Perspective.

[BibT_eX]

[DOI]

Falilat Jimoh

Proceedings of the Autonomic Road Transport Support Systems, 2016

2015

Phishing Websites.

[BibT_eX]

[DOI]

Dataset, March, 2015

Tutorial and critical analysis of phishing websites methods.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2015

The 2014 International Planning Competition: Progress and Trends.

[BibT_eX]

[DOI]

AI Mag., 2015

Exploring the Synergy between Two Modular Learning Techniques for Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

On the Effective Configuration of Planning Domain Models.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Online Generation of Effective Macro-Operators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Discovering Interesting Trends in Real Medical Data: A Study in Diabetic Retinopathy.

[BibT_eX]

[DOI]

Vassiliki Somaraki

Proceedings of the Progress in Artificial Intelligence, 2015

2014

Predicting phishing websites based on self-structuring neural network.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2014

Intelligent rule-based phishing websites classification.

[BibT_eX]

[DOI]

IET Inf. Secur., 2014

Ontological Support for Modelling Planning Knowledge.

[BibT_eX]

[DOI]

Gerhard Wickler

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014

KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks.

[BibT_eX]

[DOI]

Gerhard Wickler

Joanna Isabelle Olszewska

Proceedings of the KEOD 2014, 2014

Dynamic OWL Ontology Design Using UML and BPMN.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2014, 2014

MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Acquiring planning domain models using LOCM.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2013

Preface to special issue on Knowledge Engineering for Planning and Scheduling.

[BibT_eX]

[DOI]

Simone Fratini

Knowl. Eng. Rev., 2013

Generating Macro-Operators by Exploiting Inner Entanglements.

[BibT_eX]

[DOI]

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Determining Linearity of Optimal Plans by Operator Schema Analysis.

[BibT_eX]

[DOI]

Mohammad Munshi Shahin Shah

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Towards application of automated planning in urban traffic control.

[BibT_eX]

[DOI]

Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

OCL Plus: Processes and Events in Object-Centred Planning.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2012, 2012

Determining Redundant Actions in Sequential Plans.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

An assessment of features related to phishing websites using an automated technique.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012

Reformulating Planning Problems: A Theoretical Point of View.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Large-scale Parallel Stratified Defeasible Reasoning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Optimizing Plans through Analysis of Action Dependencies and Independencies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011

Real-Time Path Planning using a Simulation-Based Markov Decision Process.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XXVIII, 2011

2010

Preface to special issue on planning and scheduling.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2010

A New Classification Based on Association Algorithm.

[BibT_eX]

[DOI]

J. Inf. Knowl. Manag., 2010

The Third Competition on Knowledge Engineering for Planning and Scheduling.

[BibT_eX]

[DOI]

Simone Fratini

AI Mag., 2010

2009

Action Knowledge Acquisition with Opmaker2.

[BibT_eX]

[DOI]

N. Elisabeth Richardson

Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

Automated Acquisition of Action Knowledge.

[BibT_eX]

N. Elisabeth Richardson

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Acquisition of Object-Centred Domain Models from Planning Examples.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Looking at the Class Associative Classification Training Algorithm.

[BibT_eX]

[DOI]

Qazafi Mahmood

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2007

Planning domain definition using GIPO.

[BibT_eX]

[DOI]

Diane E. Kitchin

Knowl. Eng. Rev., 2007

Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2007

2006

The First Competition on Knowledge Engineering for Planning and Scheduling.

[BibT_eX]

[DOI]

AI Mag., 2006

2004

Knowledge Formulation for AI Planning.

[BibT_eX]

[DOI]

Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

2003

GIPO II: HTN Planning in a Tool-supported Knowledge Engineering Environment.

[BibT_eX]

[DOI]

Donghong Liu

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002

A Tool Supported Structured Method for Planning Domain Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

An Interactive Method for Inducing Operator Descriptions.

[BibT_eX]

[DOI]

N. Elisabeth Richardson

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2001

The Automated Refinement of a Requirements Domain Theory.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2001

2000

OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm.

[BibT_eX]

[DOI]

Donghong Liu

Proceedings of the 14th Workshop "New Results in Planning, 2000

Knowledge Representation in Planning: A PDDL to OCLh Translation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

The application of a machine learning tool to the validation of an air traffic control domain theory.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Object Transition Sequences: A New Form of Abstraction for HTN Planners.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1998

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

A tool-supported approach to engineering HTN planning models.

[BibT_eX]

[DOI]

Diane E. Kitchin

Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

A Case Study in the Use of Theory Revision in Requirements Validation.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Machine Learning (ICML 1998), 1998

1997

Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency.

[BibT_eX]

[DOI]

J. M. Porteous

Artif. Intell., 1997

1996

Object-Centered Planning: Lifting Classical Planning from the Literal Level to the Object Level.

[BibT_eX]

[DOI]

Diane E. Kitchin

J. M. Porteous

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

1995

A Requirements Capture Method and its use in an Air Traffic Control Application.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1995

1994

Learning Heuristics for Ordering Plan Goals through Static Operator Analysis.

[BibT_eX]

[DOI]

J. M. Porteous

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1991

Towards an Adaptive Information Retrieval System.

[BibT_eX]

[DOI]

A. Goker

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Incremental Learning in a Probalistic Information Retrieval System.

[BibT_eX]

[DOI]

A. Goker

Proceedings of the Eighth International Workshop (ML91), 1991

1989

Progress in machine learning - Proceedings of EWSL 87: Second European working session on learning by I. Bratko and N. Lavrac (eds.), Sigma Press, pp 256, £14.95.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1989

1988

Experience-driven heuristic acquisition in general problem solvers.

[BibT_eX]

[DOI]

PhD thesis, 1988

Deriving a Correct Logic Program from the Formal Specification of a Non-Linear Planner.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1988

1987

Combining Weak Learning Heuristics in General Problem Solvers.

[BibT_eX]

[DOI]