Items where School is "Planning, Autonomy and Representation of Knowledge"

2019

Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2019) Predictive Models and Abstract Argumentation: the case of High-Complexity Semantics. The Knowledge Engineering Review, 34. pp. 1-23. ISSN 0269-8889

2018

Vallati, Mauro, Chrpa, Lukáš and McCluskey, T.L. (2018) What You Always Wanted to Know about the Deterministic Part of IPC 2014 (But Were too Afraid to Ask). The Knowledge Engineering Review, 33 (e3). ISSN 0269-8889

Yao, Lina, Sheng, Quan Z., Wang, Xianzhi, Zhang, Emma Wei and Qin, Yongrui (2018) Collaborative Location Recommendation by Integrating Multi-dimensional Contextual Information. ACM Transactions on Internet Technology (TOIT), 18 (3). ISSN 1533-5399

2017

Alfazi, Abdullah, Sheng, Quan Z., Babar, Ali, Ruan, Wenjie and Qin, Yongrui (2017) Toward Unified Cloud Service Discovery for Enhanced Service Identification. In: The 6th Australasian Symposium on Service Research and Innovation (ASSRI'17), 19-20 October 2017, School of Information Technologies, University of Sydney. (Unpublished)

Amendola, Giovanni, Dodaro, Carmine, Faber, Wolfgang, Leone, Nicola and Francesco, Ricca (2017) On the Computation of Paracoherent Answer Sets. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. AAAI Press, pp. 1034-1040.

Baryannis, George, Kritikos, Kyriakos and Plexousakis, Dimitris (2017) A specification-based QoS-aware design framework for service-based applications. Service Oriented Computing and Applications. ISSN 1863-2386

Batsakis, Sotiris, Tachmazidis, Ilias and Antoniou, Grigoris (2017) Representing time and space for the semantic web. International Journal on Artificial Intelligence Tools, 26 (3). ISSN 0218-2130

Bellur, Umesh, Patel, Pankesh, Chauhan, Saurabh and Qin, Yongrui (2017) A Semantic-enabled Framework For Future Internet Of Things Applications. In: 2017 IEEE World Congress on Services (SERVICES). IEEE, pp. 106-113. ISBN 97815386-20021

Capitanelli, Alessio, Maratea, Marco, Matrogiovanni, Fulvio and Vallati, Mauro (2017) Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. In: Proceedings of the The 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017). Lecture Notes in Computer Science . Springer, pp. 483-497. ISBN 9783319701684

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2017) An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT. International Journal on Artificial Intelligence Tools, 26 (2). ISSN 0218-2130

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2017) On the Impact of Configuration on Abstract Argumentation Automated Reasoning. International Journal of Approximate Reasoning, 92. pp. 120-138. ISSN 0888-613X

Cheng, Long, Tachmazidis, Ilias, Kotoulas, Spyros and Antoniou, Grigoris (2017) Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments. Journal of Parallel and Distributed Computing. ISSN 0743-7315

Chrpa, Lukáš, McCluskey, T.L., Vallati, Mauro and Vaquero, Tiago (2017) The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends. AI Magazine, 38 (1). pp. 104-106. ISSN 0738-4602

Franco, Santiago, Torralba, Alvaro, Lelis, Levi H. S. and Barley, Mike (2017) On creating complementary pattern databases. In: Proceedings of the 2017 International Joint Conference on Artificial Intelligence. IJCAI, pp. 4302-4309. ISBN 978-0-9992411-0-3

Gatta, Roberto, Lenkowicz, Jacopo, Vallati, Mauro, Rojas, Eric, Damiani, Andrea, Sacchi, Lucia, De Bari, Berardino, Dagliati, Anna, Fernandez-Llatas, Carlos, Montesi, Matteo, Marchetti, Antonio, Castellano, Maurizio and Valentini, Vincenzo (2017) pMineR: An Innovative R Library for Performing Process Mining in Medicine. In: Proceedings of the 16th Conference on Artificial Intelligence in Medicine (AIME). Springer, pp. 351-355. ISBN 978-3-319-59758-4

Gatta, Roberto, Vallati, Mauro, Lenkowicz, Jacopo, Rojas, Eric, Damiani, Andrea, Sacchi, Lucia, De Bari, Berardino, Dagliati, Arianna, Fernandez-Llatas, Carlos, Montesi, Matteo, Marchetti, Antonio, Castellano, Maurizio and Valentini, Vincenzo (2017) Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR. In: Proceedings of the 2017 Conference on Knowledge Capture (K-CAP). ACM. ISBN 9781450355537

Hill, Richard, Devitt, James, Anjum, Ashiq and Ali, Mohammad (2017) Towards In-Transit Analytics for Industry 4.0. In: IEEE International Conference on Internet of Things (iThings 2017), 21-23 June 2017, Exeter, UK. (Unpublished)

Jimoh, Falilat, McCluskey, T.L. and Simon, Parkinson (2017) A Hybrid Approach to Process Planning: The Urban Traffic Controller Example. Journal of Computer Science, 13 (8). pp. 257-274. ISSN 1549-3636

Khan, Saad and Parkinson, Simon (2017) Causal Connections Mining Within Security Event Logs. In: Proceedings of the 9th International Conference on Knowledge Capture. ACM. ISBN 9781450355537

Khan, Saad and Parkinson, Simon (2017) Towards Automated Vulnerability Assessment. In: 11th Scheduling and Planning Applications woRKshop (SPARK), 19th June 2017, Carnegie Mellon University, Pittsburgh, USA. (Unpublished)

Khan, Saad, Parkinson, Simon and Qin, Yongrui (2017) Fog computing security: a review of current applications and security solutions. Journal of Cloud Computing: Advances, Systems and Applications, 6 (1). ISSN 2192-113X

McCluskey, T.L. and Vallati, Mauro (2017) Embedding Automated Planning within Urban Traffic Management Operations. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI, pp. 391-399.

McCluskey, T.L., Vallati, Mauro and Franco, Santiago (2017) Automated planning for urban traffic management. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI, pp. 5238-5240. ISBN 978-0-9992411-0-3

Parkinson, Simon (2017) Use of access control to minimise ransomware impact. Network Security (7). pp. 5-8. ISSN 1353-4858

Parkinson, Simon, Longstaff, Andrew P., Fletcher, Simon, Vallati, Mauro and Chrpa, Lukáš (2017) On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). Association for the Advancement of Artificial Intelligence AAAI, pp. 400-408.

Perera, Charith, Qin, Yongrui, Estrella, Julio C., Reiff-Marganiec, Stephan and Vasilakos, Athanasios V. (2017) Fog computing for sustainable smart cities: a survey. ACM Computing Surveys, 50 (3). ISSN 0360-0300

Qi, Lianyong, Xiang, Haolong, Dou, Wanchun, Bhuiyan, Md Zakirul Alam, Qin, Yongrui and Zhang, Xuyun (2017) Privacy-preserving distributed service recommendation based on locality-sensitive hashing. In: The 24th IEEE International Conference on Web Services (ICWS), June 25 - June 30, 2017, Honolulu, Hawaii, USA. (Unpublished)

Qin, Yongrui, Sheng, Quan Z., Parkinson, Simon and Falkner, Nickolas J. G. (2017) Edge Influence Computation in Dynamic Graphs. In: Database Systems for Advanced Applications: 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II. Lecture Notes in Computer Science (10178). Springer, pp. 649-660. ISBN 9783319556994

Saad, Khan and Simon, Parkinson (2017) Towards A Multi-tiered Knowledge-based System for Autonomous Cloud Security Auditing. In: Proceedings of the AAAI-17 Workshop on Artificial Intelligence for Cyber Security (AICS). AAAI.

Tachmazidis, Ilias, Batsakis, Sotirios, Davies, John, Duke, Alistair, Vallati, Mauro, Antoniou, Grigoris and Stincic Clarke, Sandra (2017) A Hypercat-enabled Semantic Internet of Things Data Hub. In: Proceedings of ESWC 2017: The Semantic Web. Lecture Notes in Computer Science . Springer, pp. 125-137. ISBN 978-3-319-58451-5

Tachmazidis, Ilias, Davies, John, Batsakis, Sotiris, Duke, Alistair, Antoniou, Grigoris and Stincic Clarke, Sandra (2017) A Semantically Enriched Hypercat-enabled Internet of Things Data Hub. In: The 16th International Semantic Web Conference (ISWC), 21-25 October 2017, Vienna. (Unpublished)

Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2017) On the combination of argumentation solvers into parallel portfolios. In: AI 2017 Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence (LNAI) . Springer, pp. 315-327. ISBN 9783319630038

Vallati, Mauro, Chrpa, Lukáš and McCluskey, T.L. (2017) Improving a planner’s performance through online heuristic configuration of domain models. In: Proceedings of the 10th International Symposium on Combinatorial Search (SoCS). AAAI Press, pp. 171-172. ISBN 978-1577357902

Vallati, Mauro, Chrpa, Lukáš and Serina, Ivan (2017) On the Evolution of Planner-Specific Macro Sets. In: AI*AI 2017 Advances in Artificial Intelligence : International Conference of the Italian Association for Artificial Intelligence. Lecture Notes in Artificial Intelligence (LNAI) (10640). Springer, pp. 443-454. ISBN 9783319701684

Zhang, Yihong, Szabo, Claudia, Sheng, Quan Z., Zhang, Wei Emma and Qin, Yongrui (2017) Identifying Domains and Concepts in Short Texts via Partial Taxonomy and Unlabeled Data. In: The 29th International Conference on Advanced Information Systems Engineering (CAiSE), 12-16 June 2017, Essen, Germany. (Unpublished)

2016

Alviano, Mario, Faber, Wolfgang and Gebser, Martin (2016) From Non-Convex Aggregates to Monotone Aggregates in ASP. In: 25th International Joint Conference on Artificial Intelligence (IJCAI-16). AAAI Press. ISBN 978-1-57735-771-1

Alviano, Mario, Faber, Wolfgang and Strass, Hannes (2016) Boolean Functions with Ordered Domains in Answer Set Programming. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI Press, pp. 879-885.

Baryannis, George, Woznowski, Przemyslaw and Antoniou, Grigoris (2016) Rule-Based Real-Time ADL Recognition in a Smart Home Environment. In: Rule Technologies. Research, Tools, and Applications. Lecture Notes in Computer Science, 9718 . Springer International Publishing, pp. 325-340. ISBN 978-3-319-42018-9

Brenton, Christopher, Faber, Wolfgang and Batsakis, Sotiris (2016) Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments. In: Technical Communications of the 32nd International Conference on Logic Programming (ICLP'16). OASIcs, 52 . Dagstuhl. ISBN 978359770071

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. In: Computational Models of Argument : Proceedings of COMMA 2016. Frontiers in Artificial Intelligence and Applications, 287 . IOS Press, pp. 199-206. ISBN 978-1614996859

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems. In: Computational Models of Argument: Proceedings of Comma 2016. Frontiers in Artificial Intelligence and Applications, 287 . IOS Press, pp. 207-218. ISBN 978-1614996859

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) jArgSemSAT: an Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press, pp. 541-544. ISBN 9781577357551

Chrpa, Lukáš and Bartak, Roman (2016) Guiding Planning Engines by Transition-based Domain Control Knowledge. In: 15th International Conference on Principles of Knowledge Representation and Reasoning, 25-29th April 2016, Cape Town, South Africa.

Chrpa, Lukáš, Magazzeni, Daniele, McCabe, Keith, McCluskey, T.L. and Vallati, Mauro (2016) Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. Intelligenza Artificiale, 10 (2). pp. 113-128. ISSN 1724-8035

Chrpa, Lukáš and Vallati, Mauro (2016) On the Exploitation of Automated Planning for Efficient Decision Making in Road Traffic Accident Management. In: 55th IEEE Conference on Decision and Control, 12-14 December 2016, Las Vegas, USA.

Dinapoli, Nicola, Alitto, Anna Rita, Vallati, Mauro, Autorino, Rosa, Gatta, Roberto, Boldrini, Luca, Damiani, Andrea, Martini, Giovanna and Valentini, Vincenzo (2016) RadioBio data: a Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy. In: Proceedings of the 9th International Conference on Health Informatics. SCITEpress, pp. 277-281. ISBN 978-989-758-170-0

Faber, Wolfgang, Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2016) Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. In: 22nd European Conference on Artificial Intelligence (ECAI2016). Frontiers in Artificial Intelligence and Applications, 285 (285). IOS Press, pp. 966-973. ISBN 978-1-61499-671-2

Gatta, Roberto, Vallati, Mauro, Cappelli, Carlo, De Bari, Berardino, Salvetti, Massimo, Finardi, Silvio, Muiesan, Maria L., Valentini, Vincenzo and Castellano, Maurizio (2016) Bridging the Gap Between Knowledge Representation and Electronic Health Records. In: Proceedings of the 9th International Conference on Health Informatics. SCITEpress, pp. 159-165. ISBN 978-9897581700

Gheisari, Mehdi, Movassagh, Ali Akbar, Qin, Yongrui, Yong, Jianming, Tao, Xiaohui, Zhang, Ji and Shen, Haifeng (2016) NSSSD: A New Semantic Hierarchical Storage for Sensor Data. In: IEEE 20th International Conference on Computer Supported Cooperative Work in Design (CSCWD), May 4-6, 2016, Nanchang, China.

Jimoh, Falilat and McCluskey, T.L. (2016) Self-Management in Urban Traffic Control – an Automated Planning Perspective. In: Autonomic Transport Support Systems. Springer. ISBN 9783319258089

Jimoh, Falilat and McCluskey, T.L. (2016) Towards The Integration of Model Predictive Control into an AI Planning Framework. In: Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG). PlanSIG, Huddersfield.

Levi, Lelis H. S., Franco, Santiago, Abisrror, Marvin, Barley, Mike, Zilles, Sandra and Holte, Robert (2016) Heuristic subset selection in classical planning. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). AAAI Press / IJCAI, Palo Alto, California, USA, pp. 3185-3195. ISBN 978-1577357711

Mad, Bobaker Mohamed A., Sheng, Quan Z., Yao, Lina, Qin, Yongrui and Wang, Xianzhi (2016) PLMwsp: A Probabilistic Latent Model for Web Service QoS Prediction. In: The 23rd IEEE International Conference on Web Services (ICWS), June 27 - July 2, 2016, San Francisco, USA.

Maglaras, Leandros, Janicke, Helge, Jiang, Jianmin and Crampton, Andrew (2016) Novel Intrusion Detection Mechanism with Low Overhead for SCADA Systems. In: Security Solutions and Applied Cryptography in Smart Grid Communications. IGI Global, Hershey, PA 17033, USA, pp. 160-178. ISBN 9781522518297

McCluskey, T.L., Kotsialos, A., Müller, J.P., Klugl, F. and Schumann, R. (2016) Autonomic Road Transport Support Systems. Autonomic Systems . Springer, London, UK. ISBN 978-3-319-25806-5

McCluskey, T.L., Vaquero, Tiago and Vallati, Mauro (2016) Issues in Planning Domain Model Engineering. In: PlanSIG 2015/16, 18th - 19th February 2016, University of Strathclyde, Glasgow. (Submitted)

Mohammad, Rami, McCluskey, T.L. and Thabtah, Fadi (2016) A Dynamic Self-Structuring Neural Network Model to Combat Phishing. In: IJCNN 2016. IEEE. ISBN 978-1-5090-0620-5

Parkinson, Simon and Crampton, Andrew (2016) Identification of irregularities and allocation suggestion of relative file system permissions. Journal of Information Security and Applications, 30. pp. 27-39. ISSN 2214-2126

Parkinson, Simon, Somaraki, Vassiliki and Ward, Rupert (2016) Auditing file system permissions using Association Rule Mining. Expert Systems With Applications, 15. pp. 274-283. ISSN 0957-4174

Parkinson, Simon, Vallati, Mauro, Chrpa, Lukáš, Longstaff, Andrew P. and Fletcher, Simon (2016) Planning Machine Activity Between Manufacturing Operations: Maintaining Accuracy While Reducing Energy Consumption. In: 10th Scheduling and Planning Applications woRKshop (SPARK), 14th June 2016, Kings College, London. (Unpublished)

Qin, Yongrui, Sheng, Quan Z., Falkner, Nickolas J. G., Dustdar, Schahram, Wang, Hua-Wei and Vasilakos, Athanasios V. (2016) When things matter: A survey on data-centric Internet of Things. Journal of Network and Computer Applications, 64. pp. 137-153. ISSN 1084-8045

Qin, Yongrui, Yao, Lina and Sheng, Quan Z. (2016) Approximate Semantic Matching Over Linked Data Streams. In: Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Lecture Notes in Computer Science, 9828 . Springer International Publishing, pp. 37-51. ISBN 978-3-319-44405-5

Qin, Yongrui, Sheng, Quan Z., Falkner, Nickolas J. G., Yao, Lina and Parkinson, Simon (2016) Efficient Computation of Distance Labeling for Decremental Updates in Large Dynamic Graphs. World Wide Web Journal. ISSN 1386-145X

Shemshadi, Ali, Sheng, Quan Z. and Qin, Yongrui (2016) ThingSeek: A Crawler and Search Engine for the Internet of Things. In: Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval SIGIR 16. ACM, pp. 1149-1152. ISBN 9781450340694

Shemshadi, Ali, Sheng, Quan Z. and Qin, Yongrui (2016) Efficient Pattern Matching for Graphs with Multi-Labeled Nodes. Knowledge Based Systems, 109. pp. 256-265. ISSN 0950-7051

Shemshadi, Ali, Sheng, Quan Z., Qin, Yongrui and Alzubaidi, Ali (2016) CEIoT: A Framework for Interlinking Smart Things in the Internet of Things. In: The 12th anniversary of the International Conference on Advanced Data Mining and Applications (ADMA 2016), 12-15 December, 2016, Gold Coast, Australia. (Unpublished)

Thimm, Matthias, Villata, Serena, Cerutti, Federico, Oren, Nir, Strass, Hannes and Vallati, Mauro (2016) Summary Report of The First International Competition on Computational Models of Argumentation. AI Magazine, 37 (1). pp. 102-104. ISSN 0738-4602

Vallati, Mauro, Serina, Ivan, Saetti, Alessandro and Gerevini, Alfonso (2016) Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. Fundamenta Informaticae, 149 (1-2). pp. 209-240. ISSN 0169-2968

Vallati, Mauro, Magazzeni, Daniele, De Schutter, Bart, Chrpa, Lukáš and McCluskey, T.L. (2016) Efficient Macroscopic Urban Traffic Models for Reducing Congestion: a PDDL+ Planning Approach. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). AAAI Press, Phoenix, Arizona USA, pp. 3188-3194.

Velardo, Valerio, Vallati, Mauro and Jan, Steven (2016) Symbolic Melodic Similarity: State of the Art and Future Challenges. Computer Music Journal, 40 (2). pp. 70-83. ISSN 0148-9267

Zhang, Wei Emma, Sheng, Quan Z., Qin, Yongrui, Yao, Lina, Shemshadi, Ali and Taylor, Kerry (2016) SECF: Improving SPARQL Querying Performance with Proactive Fetching and Caching. In: The 31st ACM Symposium on Applied Computing (SAC), April 4-8, 2016, Pisa, Italy.

Zhang, Wei Emma, Sheng, Quan Z., Taylor, Kerry, Qin, Yongrui and Yao, Lina (2016) Learning-based SPARQL Query Performance Prediction. In: The 17th International conference on Web Information Systems Engineering (WISE), November 7 - 10, 2016, Shanghai, China.

2015

Alviano, Mario and Faber, Wolfgang (2015) Effectively Solving NP-SPEC Encodings by Translation to ASP. Journal of Experimental and Theoretical Artificial Intelligence, 27 (5). pp. 577-601. ISSN 0952-813X

Alviano, Mario and Faber, Wolfgang (2015) Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. AAAI Press, pp. 2684-2690.

Alviano, Mario and Faber, Wolfgang (2015) Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. In: Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. Lecture Notes in Computer Science, 9209 . Springer, pp. 30-44. ISBN 978-3-319-22001-7

Analyti, Anastasia, Damasio, Carlos Viegas and Antoniou, Grigoris (2015) Extended RDF: Computability and Complexity Issues. Annals of Mathematics and Artificial Intelligence, 75 (3). pp. 267-334. ISSN 1012-2443

Cerutti, Federico, Tachmazidis, Ilias, Vallati, Mauro, Batsakis, Sotiris, Giacomin, Massimiliano and Antoniou, Grigoris (2015) Exploiting Parallelism for Hard Problems in Abstract Argumentation. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence. AAAI Press, pp. 1475-1481. ISBN 978-1-57735-698-1

Chrpa, Lukáš, McCluskey, T.L. and Osborne, Hugh (2015) On the Completeness of Replacing Primitive Actions with Macro-actions and its Generalization to Planning Operators and Macro-operators. AI Communications, 29 (1). pp. 163-183. ISSN 0921-7126

Chrpa, Lukáš, Pinto, Jose, Ribeiro, Manuel, Py, Frederic, Sousa, Joao and Rajan, Kanna (2015) On Mixed-Initative Planning and Control for Autonomous Underwater Vehicles. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), 28th September - 2nd October 2015, Hamburg, Germany.

Chrpa, Lukáš, Scala, Enrico and Vallati, Mauro (2015) Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements. In: Symposium on Combinatorial Search (SoCS 2015), 11th-13th June 2015, Ein Gedi, The Dead Sea, Israel. (Unpublished)

Chrpa, Lukáš and Siddiqui, Fazlul (2015) Exploiting Block Deordering for Improving Planners Efficiency. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. AAAI Press, Buenos Aires, Argentina, pp. 1537-1543. ISBN 9781577357384

Chrpa, Lukáš and Thorisson, Kristinn (2015) On Applicability of Automated Planning for Incident Management. In: The international Scheduling and Planning Applications woRKshop (SPARK 2015), 8th June 2015, Jerusalem, Israel.

Chrpa, Lukáš, Vallati, Mauro and McCluskey, T.L. (2015) On the Online Generation of Effective Macro-operators. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. AAAI Press, pp. 1544-1550. ISBN 9781577357384

Damiani, Andrea, Vallati, Mauro, Gatta, Roberto, Dinapoli, Nicola, Jochems, Arthur, Deist, Timo, van Soest, Johan, Dekker, Andre and Valentini, Vincenzo (2015) Distributed Learning to Protect Privacy in Multi-centric Clinical Studies. In: The 15th Conference on Artificial Intelligence in Medicine. Springer, Pavia, Italy, pp. 65-75. ISBN 9783319195513

Dinapoli, Nicola, Alitto, Anna Rita, Vallati, Mauro, Gatta, Roberto, Autorino, Rosa, Boldrini, Luca, Damiani, Andrea and Valentini, Vincenzo (2015) Moddicom: a Complete and Easily Accessible Library for Prognostic Evaluations Relying on Image Features. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. EMBC . IEEE, pp. 771-774.

Fuentetaja, Raquel, Chrpa, Lukáš, McCluskey, T.L. and Vallati, Mauro (2015) Exploring the Synergy between two Modular Learning Techniques for Automated Planning. In: Symposium on Combinatorial Search (SoCS 2015), 11th-13th June 2015, Ein Gedi, The Dead Sea, Israel. (Unpublished)

Gatta, Roberto, Vallati, Mauro, Mazzini, Nicola, Kitchin, Diane E., Gerevini, Alfonso Emilio and Valentini, Vincenzo (2015) On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments. In: Proceedings of the 17th Portuguese Conference on Artificial Intelligence. EPIA 2015, 9273 . Springer, Coimbra, Portugal, pp. 103-109. ISBN 978-3-319-23484-7

Jilani, Rabia, Crampton, Andrew, Kitchin, Diane E. and Vallati, Mauro (2015) ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition. In: AI*IA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence. Lecture Notes in Computer Science, 9336 . Springer, pp. 438-451. ISBN 978-3-319-24308-5

Lembo, Domenico and Faber, Wolfgang (2015) Editorial: Web reasoning and rule systems. Semantic Web, 6 (5). pp. 425-426. ISSN 1570-0844

Mohammad, Rami, McCluskey, T.L. and Thabtah, Fadi (2015) Tutorial and Critical Analysis of Phishing Websites Methods. Computer Science Review, 17. pp. 1-24. ISSN 1574-0137

Mohammad, Rami, Thabtah, Fadi and McCluskey, T.L. (2015) Phishing Websites Dataset. [Dataset] (Unpublished)

Omer, Muss and Wilson, David (2015) Implementing a Database from a Requirement Specification. International Journal of Computer, Information, Systems and Control Engineering, 9 (1). pp. 33-41.

Rizzini, Mattia, Fawcett, Chris, Vallati, Mauro, Gerevini, Alfonso Emilio and Hoos, Holger (2015) Portfolio Methods for Optimal Planning: an Empirical Analysis. In: Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence. IEEE Computer Society, pp. 494-501.

Schlingensiepen, Jörn, Nemtanu, Florin, Mehmood, Rahid and McCluskey, Lee (2015) Autonomic Transport Management Systems—Enabler for Smart Cities, Personalized Medicine, Participation and Industry Grid/Industry 4.0. In: Intelligent Transportation Systems – Problems and Perspectives. Studies in Systems, Decision and Control, 32 . Springer International Publishing, pp. 3-35. ISBN 978-3-319-19149-2

Somaraki, Vassiliki, Vallati, Mauro and McCluskey, Lee (2015) Discovering Interesting Trends in Real Medical Data: A study in Diabetic Retinopathy. In: Progress in Artificial Intelligence : 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 Proceedings. Lecture Notes in Computer Science, 9273 . Springer, pp. 134-140. ISBN 978-3-319-23484-7

Vallati, Mauro, Serina, Ivan, Saetti, Alessandro and Gerevini, Alfonso Emilio (2015) Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling. AAAI press, pp. 239-243. ISBN 9781577357315

Vallati, Mauro, Chrpa, Lukáš, Grzes, Marek, McCluskey, T.L., Roberts, Mark and Sanner, Scott (2015) The 2014 International Planning Competition: Progress and Trends. AI Magazine, 36 (3). pp. 90-98. ISSN 0738-4602

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane E. (2015) Portfolio-based Planning: State of the Art, Common Practice and Open Challenges. AI Communications, 28 (4). pp. 717-733. ISSN 0921-7126

Vallati, Mauro, Hutter, Frank, Chrpa, Lukáš and McCluskey, T.L. (2015) On the Effective Configuration of Planning Domain Models. In: International Joint Conference on Artificial Intelligence, 25th - 31st July, 2015, Argentina.

Vallati, Mauro and Vaquero, Tiago (2015) Towards a Protocol for Benchmark Selection in IPC. In: Workshop on the International Planning Competition, 8th June 2015, Jerusalem, Israel. (Unpublished)

Velardo, Valerio and Vallati, Mauro (2015) The Effect of Repetition and Expertise on Liking and Complexity in Contemporary Music. In: Proceedings of the Ninth Triennial Conference of the European Society for the Cognitive Sciences of Music. Royal Northern College of Music, pp. 810-815.

Velardo, Valerio and Vallati, Mauro (2015) On the Stylistic Evolution of a Society of Virtual Melody Composers. In: Evolutionary and Biologically Inspired Music, Sound, Art and Design: 4th International Conference, EvoMUSART 2015. Springer, pp. 249-260. ISBN 9783319164977

Velardo, Valerio and Vallati, Mauro (2015) A Planning-based Approach for Music Composition. In: Proceedings of the 11th International Symposium on Computer Music Multidisciplinary Research. CMMR 2015 . Springer, Plymouth, UK, pp. 778-790. ISBN 978-2-909669-24-3

Wickler, Gerhard, Chrpa, Lukáš and McCluskey, T.L. (2015) Ontological support for modelling planning knowledge. In: Knowledge Discovery, Knowledge Engineering and Knowledge Management - 6th International Joint Conference, {IC3K} 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers. Communications in Computer and Information Science, 553 . Springer-Verlag, pp. 293-312. ISBN 978-3-319-25840-9

2014

Balyo, Tomas, Chrpa, Lukáš and Kilani, Asma (2014) On Different Strategies for Eliminating Redundant Actions from Plans. In: Proceedings of the Seventh Annual Symposium on Combinatorial Search. SoCS 2014 . AAAI Press, Prague, Czech Republic, pp. 10-18. ISBN 978-1-57735-676-9

Balyo, Tomáš and Chrpa, Lukáš (2014) Eliminating All Redundant Actions from Plans Using SAT and MaxSAT. In: Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling. 2014 . ICAPS, Portsmouth, USA, pp. 16-22.

Cenamor, Isabel, Chrpa, Lukáš, Jimoh, Falilat, McCluskey, T.L. and Vallati, Mauro (2014) Planning & Scheduling Applications in Urban Traffic Management. In: The UK Planning and Scheduling Special Interest Group (UK PlanSIG) 2014, 15th December 2014, Teeside, UK.

Cerutti, Federico, Dunne, Paul, Giacomin, Massimiliano and Vallati, Mauro (2014) Computing preferred extensions in abstract argumentation : a SAT based approach. In: 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA 13). Lecture Notes in Computer Science . Springer, Beijing, China, pp. 176-193. ISBN 9783642543722

Chrpa, Lukáš and Osborne, Hugh (2014) Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit Constraints. Journal of Intelligent and Robotic Systems, 75 (2). pp. 243-270. ISSN 0921-0296

Chrpa, Lukáš, Vallati, Mauro and McCluskey, T.L. (2014) MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use. In: The 24th International Conference on Automated Planning and Scheduling (ICAPS), 21st-26th June 2014, Portsmouth, USA. (Unpublished)

Gregory, Peter and Chrpa, Lukáš (2014) Abstract Augmented Lazy Theta*: Applying Graph Abstractions to Trajectory Planning with Speed-Limit Constraints. In: 31st Workshop of the UK Planning & Scheduling Special Interest Group (PlanSIG 2013), 29-30 January 2014, Edinburgh, UK.

Jilani, Rabia, Crampton, Andrew, Kitchin, Diane E. and Vallati, Mauro (2014) ASCoL: Automated Acquisition of Domain Specific Static Constraints from Plan Traces. In: The UK Planning and Scheduling Special Interest Group (UK PlanSIG) 2014, 15th December 2014, Teeside, UK.

Jimoh, Falilat, Chrpa, Lukáš and McCluskey, T.L. (2014) The Application of Planning to Urban Traffic Control. In: 24th International Conference on Automated Planning and Scheduling, 21st to 26th of June 2014, Portsmouth, NH, USA.. (Unpublished)

Mohammad, Rami, McCluskey, T.L. and Thabtah, Fadi (2014) Intelligent Rule based Phishing Websites Classification. IET Information Security, 8 (3). pp. 153-160. ISSN 1751-8709

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane E. (2014) ASAP: An Automatic Algorithm Selection Approach for Planning. International Journal on Artificial Intelligence Tools, 23 (6). p. 1460032. ISSN 0218-2130

Velardo, Valerio and Vallati, Mauro (2014) Automatic Melody Composition and Evolution: A Cognitive-Based Approach. In: Proceedings of the Conference on Interdisciplinary Musicology. CIM14 . CIM, Berlin, Germany.

Wickler, Gerhard, Chrpa, Lukáš and McCluskey, T.L. (2014) Creating Planning Domain Models in KEWI. In: Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling. 2014 . ICAPS, Portsmouth, USA, pp. 54-60.

Wickler, Gerhard, Chrpa, Lukáš and McCluskey, T.L. (2014) KEWI: A Knowledge Engineering Tool for Modelling AI Planning Tasks. In: 6th International Conference on Knowledge Engineering and Ontology Development, 21st-24th October 2014, Rome, Italy.

2013

Alsuqayhi, A. and Olszewska, Joanna Isabelle (2013) Efficient Optical Character Recognition System for Automatic Soccer Player's Identification. In: Proceedings of the Computer Analysis of Images and Patterns workshop. Ruiz de Aloza Editores, pp. 139-150. ISBN 978-84-616-7092-5

Chrpa, Lukas, Vallati, Mauro, Kitchin, Diane E. and McCluskey, Thomas Leo (2013) Generating Macro-operators by Exploiting Inner Entanglements. In: Proceedings / The Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA 2013). AAAI Press, Palo Alto, Calif. ISBN 9781577356301

Chrpa, Lukas, Vallati, Mauro and McCluskey, T.L. (2013) Determining Linearity of Optimal Plans by Operator Schema Analysis. In: Proceedings of the Tenth Symposium on Abstraction, Reformulation and Approximation. SARA (2013). AAAI Press, Leavenworth, Washington, USA, pp. 34-41. ISBN 978-1-57735-630-1

Chrpa, Lukáš and Vallati, Mauro (2013) Revisiting Inner Entanglements in Classical Planning. In: Scandinavian Conference on Artificial Intelligence, 20-22 November 2013, Aalborg, Denmark. (Unpublished)

Chrpa, Lukáš, Vallati, Mauro and Osborne, Hugh (2013) Learnability of Specific Structural Patterns of Planning Problems. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013). Institute of Electrical and Electronics Engineers ( IEEE ), pp. 18-23. ISBN 9781479929719

Cresswell, S.N., McCluskey, T.L. and West, Margaret M. (2013) Acquiring planning domain models using LOCM. Knowledge Engineering Review, 28 (2). pp. 195-213. ISSN 0269-8889

Fouad, Zablith, Antoniou, Grigoris, D'Aquin, Mathieu, Flouris, Giorgos, Kondylakis, Hardimos, Motta, Enrico, Plexousakis, Dimitris and Sabou, Marta (2013) Ontology evolution: a process-centric survey. The Knowledge Engineering Review, 30 (1). pp. 45-75. ISSN 0269-8889

Jimoh, Falilat, Chrpa, Lukáš and Vallati, Mauro (2013) Autonomic System Architecture: An Automated Planning Perspective. In: Artificial Intelligence Applications and Innovations 2013. IFIP Advances in Information and Communication Technology, 412 (121). Springer, Pahpos, Cyprus, pp. 121-130. ISBN 9783642411410

Mohammad, Rami, McCluskey, T.L. and Thabtah, Fadi (2013) Predicting Phishing Websites using Neural Network trained with Back-Propagation. In: Proceedings of the 2013 World Congress in Computer Science, Computer Engineering, and Applied Computing. WORLDCOMP 2013 . World Congress in Computer Science, Computer Engineering, and Applied Computing, Las Vegas, Nevada, USA, pp. 682-686. ISBN 1601322461

Olszewska, Joanna Isabelle (2013) Clock-Modeled Ternary Spatial Relations for Visual Scene Analysis. In: Proceedings of the IWCS 2013 Workshop on Computational Models of Spatial Language Interpretation and Generation. ACL SIGSEM, Potsdam, Germany, pp. 20-30.

Olszewska, Joanna Isabelle (2013) Multi-Scale, Multi-Feature Vector Flow Active Contours for Automatic Multiple-Face Detection. In: Proceedings of the 6th International Conference on Bio-Inspired Systems and Signal Processing. BIOSTEC 2013 . Springer Verlag, Barcelona, Spain, pp. 429-435.

Olszewska, Joanna Isabelle (2013) Semantic, Automatic Image Annotation Based On Multi-Layered Active Contours and Decision Trees. International Journal of Advanced Computer Science and Applications, 4 (8). pp. 201-208. ISSN 2156-5570

Parkinson, Simon and Crampton, Andrew (2013) A Novel Software Tool for Analysing NT® File System Permissions. International Journal of Advanced Computer Science and Applications, 4 (6). pp. 266-272. ISSN 2156-5570

Shah, Mohammad Munshi Shahin, Chrpa, Lukáš, Kitchin, Diane E., McCluskey, T.L. and Vallati, Mauro (2013) Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. IJCAI 3-9 August 2013 . AAAI Press / International Joint Conferences on Artificial Intelligence, Beijing, China, pp. 2373-2379. ISBN 978-1-57735-633-2

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso Emilio, Hoos, Holger and Saetti, Alessandro (2013) Automatic Generation of Efficient Domain-Specific Planners from Generic Parametrized Planners. In: Proceedings of The Sixth International Symposium on Combinatorial Search (SoCS 2013). AAAI Press, California, USA, pp. 184-192.

Vallati, Mauro, Gatta, Roberto, De Bari, Berardino and Magrini, Stefano (2013) Clinical Similarities: an innovative approach for supporting Medical Decisions. In: Proceedings MEDINFO 13. Studies in Health Technology and Informatics, 192 . IOS Press, p. 1114. ISBN 9781614992882

2012

Alqaisi, T., Gledhill, Duke and Olszewska, Joanna Isabelle (2012) Embedded Double Matching of Local Descriptors for a Fast Automatic Recognition of Real-World Objects. In: Proceedings of the19th IEEE International Conference on Image Processing (ICIP). IEEE, Orlando, Florida, USA, pp. 2385-2388. ISBN 978-1-4673-2534-9

Bonner, John V.H., Ramduny-Ellis, Devina and Peebles, David (2012) Making audience experiences more meaningful and emotionally engaging through mixed visual and audio media. In: EVA London 2012, 10th - 12th July 2012, London, UK.

Cai, Di and McCluskey, Thomas L. (2012) A Simple Method for Estimating Term Mutual Information. Journal of Computing, 4 (6). pp. 1-6. ISSN 2151-9617

Cerutti, Federico and Vallati, Mauro (2012) On Practical Reasoning and Automated Planning. In: 30th Workshop of the UK Planning and Scheduling Special Interest Group, 13-14 December 2012, University of Teesside.

Chrpa, Lukáš and McCluskey, T.L. (2012) On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements. In: Frontiers in Artificial Intelligence and Applications: Proceedings of ECAI 2012. IOS Press, pp. 240-245. ISBN 978-1-61499-097-0

Chrpa, Lukáš, McCluskey, T.L. and Osborne, Hugh (2012) Determining Redundant Actions in Sequential Plans. In: Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on. IEEE, pp. 484-491. ISBN 9781479902279

Chrpa, Lukáš, McCluskey, T.L. and Osborne, Hugh (2012) Optimizing Plans through Analysis of Action Dependencies and Independencies. In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. ICAPS 2012 . AAAI Press, California, USA, pp. 338-342. ISBN 978-1-57735-562-5

Chrpa, Lukáš, McCluskey, T.L. and Osborne, Hugh (2012) Reformulating Planning Problems: A Theoretical Point of View. In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference. AAAI Press, Palo Alto, CA. ISBN 978-1-57735-558-8

De Bari, Berardino, Vallati, Mauro, Gatta, Roberto, Pasinetti, Nicola, Girelli, Giuseppe, Munoz, Fernando, Livi, Lorenzo, Bellavita, Rita, Krengli, Marco, Cagna, Emanuela, Bunkheila, Feisal, Signor, Marco and Magrini, Stefano (2012) An innovative method to predict Nodal (N) status using an Artificial Intelligence approach in the low risk prostate cancer patients (pts): beyond the Roach formula? In: 22nd Congress of the Italian Association for Radiation Oncology (AIRO), 17th - 20th November 2012, Rome, Italy. (Submitted)

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2012) Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability. In: 19th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 14th - 15th June 2012, Rome, Italy.

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2012) PbP2: Portfolio-based Planner. University of Brescia, Brescia, Italy.

Gregory, Peter, Long, Derek, Fox, Maria and Beck, J. Christopher (2012) Planning Modulo Theories: Extending the Planning Paradigm. In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. ICAPS 2012 . AAAI Press, California, USA, pp. 65-73. ISBN 978-1-57735-562-5

Jimoh, F. and McCluskey, T.L. (2012) Using automated planning to enable autonomic properties in computer systems. In: Proceedings of The Queen’s Diamond Jubilee Computing and Engineering Annual Researchers’ Conference 2012: CEARC’12. University of Huddersfield, Huddersfield, p. 150. ISBN 978-1-86218-106-9

Jimoh, Falilat, McCluskey, T.L, Chrpa, Lukas and Gregory, Peter (2012) Enabling Autonomic Properties in Road Transport System. In: 30th Workshop of the UK Planning And Scheduling Special Interest Group PLANSIG 2012, 13th and 14th of December 2012, Teeside University.

Mohammad, Rami, McCluskey, T.L. and Thabtah, Fadi (2012) An Assessment of Features Related to Phishing Websites using an Automated Technique. In: International Conferece For Internet Technology And Secured Transactions. ICITST 2012 . IEEE, London, UK, pp. 492-497. ISBN 978-1-4673-5325-0

Naveed, Munir, Kitchin, Diane E., Crampton, Andrew, Chrpa, Lukáš and Gregory, Peter (2012) A Monte-Carlo Path Planner for Dynamic and Partially Observable Environments. In: Computational Intelligence and Games (CIG), 2012 IEEE Conference on. IEEE Computational Intelligence Society, pp. 211-218. ISBN 9781467311939

Naveed, Munir, Kitchin, Diane E., Crampton, Andrew, Chrpa, Lukáš and Gregory, Peter (2012) A Monte-Carlo Path Planner for Dynamic and Partially Observable Environments. In: Computing in Games (CIG) 2012, 11-14 September 2012, Granada, Spain. (Unpublished)

Newman, Christopher D and Sturdy, Paula (2012) Identifying Enterprise Opportunities in Student Projects. Project Report. Enterprise Educators UK.

Olszewska, Joanna Isabelle (2012) Multi-Target Parametric Active Contours to Support Ontological Domain Representation. In: Proceedings of the 18th congress on Pattern Recognition and Artificial Intelligence (RFIA'12). RFIA, pp. 779-784.

Olszewska, Joanna Isabelle (2012) A New Approach for Automatic Object Labeling. In: 2nd EPSRC/ BMVA Workshop on Vision and Language, 13th - 14th December 2012, Sheffield, UK. (Unpublished)

Olszewska, Joanna Isabelle and Wilson, D. (2012) Hausdorff-Distance Enhanced Matching of Scale Invariant Feature Transform Descriptors in Context of Image Querying. In: Proceedings of the IEEE 16th International Conference on Intelligent Engineering Systems. IEEE, Lisbon, Portugal, pp. 91-96. ISBN 978-1-4673-2694-0

Parkinson, S., Longstaff, Andrew P., Crampton, Andrew, Fletcher, Simon, Allen, Gary and Myers, Alan (2012) Automation as a Solution for Machine Tool Calibration Planning. In: Proceedings of The Queen’s Diamond Jubilee Computing and Engineering Annual Researchers’ Conference 2012: CEARC’12. University of Huddersfield, Huddersfield, pp. 57-62. ISBN 978-1-86218-106-9

Parkinson, Simon, Longstaff, Andrew P., Crampton, Andrew and Gregory, Peter (2012) The Application of Automated Planning to Machine Tool Calibration. In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. ICAPS 2012 . AAAI Press, California, USA, pp. 216-224. ISBN 978-1-57735-562-5

Somaraki, V. and McCluskey, T.L. (2012) A robust validation framework for trend mining : a study in diabetic retinopathy. In: Proceedings of The Queen’s Diamond Jubilee Computing and Engineering Annual Researchers’ Conference 2012: CEARC’12. University of Huddersfield, Huddersfield, pp. 63-68. ISBN 978-1-86218-106-9

Tachmazidis, Ilias, Antoniou, Grigoris, Flouris, Giorgos, Kotoulas, Spyros and McCluskey, T.L. (2012) Large-scale Parallel Stratified Defeasible Reasoning. In: Frontiers in Artificial Intelligence and Applications: Proceedings of ECAI 2012. IOS Press, pp. 738-743. ISBN 978-1-61499-097-0

Vallati, Mauro (2012) Efficient Automated Planning through Automatic Algorithm Configuration and Machine Learning. Doctoral thesis, University of Brescia.

Vallati, Mauro (2012) A Guide to Portfolio-based Planning. In: Proceedings of The 6th Multi-disciplinary International Workshop on Artificial Intelligence: AI for Climate Change. Springer, pp. 57-68. ISBN 9783642354540

Vallati, Mauro and Kitchin, Diane E. (2012) Challenges of Portfolio-based Planning. In: 30th Workshop of the UK Planning and Scheduling Special Interest Group, 13-14 December 2012, University of Teesside.

Wood, R. and Olszewska, Joanna Isabelle (2012) Lighting-Variable AdaBoost Based-On System for Robust Face Detection. In: Proceedings of the 5th International Conference on Bio-Inspired Systems and Signal Processing. SciTePress Digital Library., Algarve, Portugal, pp. 494-497.

2011

Chrpa, Lukáš (2011) Trajectory Planning on Grids: Considering Speed Limit Constraints. In: Frontiers in Artificial Intelligence and Applications. Eleventh Scandinavian Conference on Artificial Intelligence - SCAI 2011, 227 . IOS press, Trondheim, Norway, pp. 60-69. ISBN 9781607507536

Chrpa, Lukáš and Novák, Peter (2011) Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban Environments. Lecture Notes in Computer Science, 6867. pp. 256-265. ISSN 0302-9743

Cresswell, Stephen and Gregory, Peter (2011) Generalised Domain Model Acquisition from Action Traces. In: ICAPS 2011, 11th-16th June 2011, Freiburg, Germany.

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2011) PbP2: Automatic Configuration of a Portfolio-based Multi-Planner. In: 7th International Planning Competition, 11-16 June 2011, Freiburg, Germany. (Unpublished)

Gerevini, Alfonso Emilio, Saetti, Alessandro and Vallati, Mauro (2011) Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability. In: AI*IA 2011: Artificial Intelligence Around Man and Beyond. Lecture Notes in Computer Science, 6934 . Springer, London, UK, pp. 189-200. ISBN 978-3-642-23953-3

Gregory, Peter, Long, Derek, McNulty, Craig and Murphy, Susanne M. (2011) Exploiting Path Refinement Abstraction in Domain Transition Graphs. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI Press, California, USA, 971 - 976. ISBN 978-1-57735-507-6

Li, Andol X and Bonner, John V H (2011) Improving control panel consistency of wizard of oz design and evaluation studies. In: Proceedings of the 17th International Conference on Automation & Computing. Chinese Automation and Computing Society, Huddersfield, UK. ISBN 978-1-86218-098-7

Li, Andol X and Bonner, John V.H. (2011) Designing intelligent domestic applications using wizard of oz methodology. In: 2nd International Workshop on Human-Centric Interfaces for Ambient Intelligence, 26-27 July,2011, Nottingham,UK. (Unpublished)

Li, Andol X and Bonner, John V.H. (2011) Designing intelligent domestic applications using wizard of oz methodology. In: The 7th international conference on intelligent environments, 26-28, July, 2011, Nottingham,UK.

Li, Feng, Longstaff, Andrew P., Fletcher, Simon and Myers, Alan (2011) A fast and effective way to improve the merging accuracy of multi-view point cloud data. In: Proceedings of the 17th International Conference on Automation & Computing. Chinese Automation and Computing Society, Huddersfield, UK, pp. 18-21. ISBN 978-1-86218-098-7

McCluskey, T.L. (2011) A New COST Action: Autonomic Road Transport Support (ARTS) Systems. AISB Quarterly (132). pp. 4-5. ISSN 0258-4179

Naveed, Munir, Crampton, Andrew, Kitchin, Diane E. and McCluskey, T.L. (2011) Real-Time Path Planning using a Simulation-Based Markov Decision Process. Research and Development in Intelligent Systems XXVIII Research and Development in Intelligent Systems XXVIII . Springer, London. ISBN 978-1-4471-2317-0

Olszewska, Joanna Isabelle (2011) Spatio-Temporal Visual Ontology. In: 1st EPSRC/BMVA Workshop on Vision and Language, 15th September 2011, Brighton, UK. (Unpublished)

Olszewska, Joanna Isabelle and McCluskey, Thomas L. (2011) Ontology-Coupled Active Contours for Dynamic Video Scene Understanding. In: Proceedings of the 15th IEEE International Conference on Intelligent Engineering Systems (INES),. IEEE, Poprad, High Tatras, Slovakia, pp. 369-374. ISBN 978-1-4244-8954-1

Olszewska, Joanna Isabelle, Simpson, Ron and McCluskey, T.L. (2011) Appendix A: ePrOnto: OWL-Based Ontology for Research Information Management. In: JISC final Report: BRIM project Version: 1.0. JISC, pp. 24-31. (Unpublished)

Parkinson, Simon and Crampton, Andrew (2011) NTFS Permissions Explorer. University of Huddersfield, Huddersfield. (Unpublished)

Parkinson, Simon, Longstaff, Andrew P., Allen, Gary, Crampton, Andrew, Fletcher, Simon and Myers, Alan (2011) Hierarchical Task Based Process Planning For Machine Tool Calibration. Proceedings of The 29th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG2011). pp. 53-60. ISSN 1368-5708

Parkinson, Simon, Longstaff, Andrew P., Crampton, Andrew, Fletcher, Simon, Allen, Gary and Myers, Alan (2011) Representing the Process of Machine Tool Calibration in First-order Logic. In: Proceedings of the 17th International Conference on Automation & Computing. Chinese Automation and Computing Society, Huddersfield, UK. ISBN 978-1-86218-098-7

Parkinson, Simon, Longstaff, Andrew P., Fletcher, Simon, Crampton, Andrew, Allen, Gary and Myers, Alan (2011) Cryptographic Techniques in Metrology Software. In: University of Huddersfield Annual Research Festival School of Computing and Engineering 12th March 2010, Friday 12th March 2010, University of Huddersfield. (Submitted)

Shoeeb, S and McCluskey, T.L. (2011) On Comparing Planning Domain Models. In: The 29th Workshop of the UK Planning and Scheduling Special Interest Group PlanSIG 2011, 8-9 Dec 2011, University of Huddersfield, UK.

Vallati, Mauro (2011) Configuration and Learning Techniques for Efficient Automated Planning System. In: Doctoral Consortium of 21st International Conference on Automated Planning & Scheduling, 11th - 16th June 2011, Freiburg, Germany. (Unpublished)

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso, Hoos, Holger and Saetti, Alessandro (2011) Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners. In: 18th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 17th - 18th July 2011, Barcelona, Spain. (Unpublished)

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso, Hoos, Holger and Saetti, Alessandro (2011) Generating Domain-Specific Planners through Automatic Parameter Configuration in LPG. In: 7th International Planning Competition 2011, 11th-16th June 2011, Freiburg, Germany,.

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso, Hoos, Holger and Saetti, Alessandro (2011) Generating Fast Domain-Specific Planners by Automatically Configuring a Generic Parameterised Planner. In: Workshop on Planning and Learning: ICAPS 2011, 13th June 2011, Freiburg, Germany.

2010

Abu-Mansour, Hussein, Hadi, Wa’el, McCluskey, T.L. and Thabtah, Fadi (2010) Associative text categorisation rules pruning method. In: Linguistic And Cognitive Approaches To Dialog Agents Symposium, AISB 2010 Convention, 29 March – 1 April 2010, De Montfort University, Leicester, UK. (Unpublished)

Alasem, Rafe and Abu-Mansour, Hussein (2010) EF-AQM: Efficient and Fair Bandwidth Allocation AQM Scheme for Wireless Networks. In: 2010 2nd International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN 2010). IEEE, London, UK, pp. 169-172. ISBN 9781424475322

Bartak, Roman, Cesta, Amedeo, McCluskey, T.L. and Salido, M. (2010) Preface to special issue on planning and scheduling. Knowledge Engineering Review, 25 (3). pp. 247-248. ISSN 0269-8889

Bartak, Roman, Fratini, Simone and McCluskey, T.L. (2010) The Third Competition on Knowledge Engineering for Planning and Scheduling. AI Magazine, 31 (1). pp. 95-98. ISSN 0738-4602

Billington, David, Antoniou, Grigoris, Governatori, Guido and Maher, Michael J. (2010) An inclusion theorem for defeasible logics. ACM Transactions on Computational Logic, 12 (1). p. 6. ISSN 1557-945X

Chrpa, Lukáš (2010) Combining Learning Techniques for Classical Planning: Macro-operators and Entanglements. In: Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on. IEEE, Arras, France, pp. 79-86. ISBN 9781424488179

Chrpa, Lukáš (2010) Generation of macro-operators via investigation of action dependencies in plans. The Knowledge Engineering Review, 25 (03). pp. 281-297. ISSN 0269-8889

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2010) Optimal SAT-based Planning with Macro-actions and Learned Horizons. In: The 28th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG), 1st - 3rd December 2010, Brescia, Italy.

Gregory, Peter, Long, Derek and Fox, Maria (2010) Constraint Based Planning with Composable Substate Graphs. In: ECAI 2010 - 19th European Conference on Artificial Intelligence. IOS Press, Amsterdam, The Netherlands, pp. 453-458. ISBN 978-1-60750-605-8

Jilani, Aisha (2010) Mobile Phone Text Processing and Question-Answering. In: Future Technologies in Computing and Engineering: Proceedings of Computing and Engineering Annual Researchers' Conference 2010: CEARC’10. University of Huddersfield, Huddersfield, pp. 130-135. ISBN 9781862180932

Li, Andol X and Bonner, John V.H. (2010) Enhancing domestic communications through human-like social intelligence designs. In: The 9th International Workshop on Social Intelligence Designs, September 2010, Egham, UK. (Unpublished)

Li, Andol X and Bonner, John V.H. (2010) Improving prototype consistence for wizard-of-oz simulations and evaluations. In: Future Technologies in Computing and Engineering: Proceedings of Computing and Engineering Annual Researchers' Conference 2010: CEARC’10. University of Huddersfield, Huddersfield, pp. 136-141. ISBN 9781862180932

Lu, Joan, Meng, Zhaozong, Lu, Gehao and Stav, John B. (2010) A New Approach in Improving Operational Efficiency of Wireless Response System. In: IEEE 10th International Conference on Computer and Information Technology (CIT), 2010. IEEE, pp. 2676-2683. ISBN 9781424475476

McCluskey, T.L., Cresswell, S.N., Richardson, N.E. and West, Margaret M. (2010) Action Knowledge Acquisition with Opmaker2. In: Agents and Artificial Intelligence. Communications in Computer and Information Science, 67 . Springer, pp. 137-150. ISBN 978-3-642-11818-0

Naveed, Munir, Kitchin, Diane E. and Crampton, Andrew (2010) A Hierarchical Task Network Planner for Pathfinding in Real-Time Strategy Games. In: Third International Symposium on AI & Games, AISB 2010 convention, 29 March – 1 April 2010, De Montfort University, Leicester, UK. (Unpublished)

Naveed, Munir, Kitchin, Diane E. and Crampton, Andrew (2010) Monte-Carlo Planning for Pathfinding in Real-Time Strategy Games. In: Proceedings of PlanSIG 2010. 28th Workshop of the UK Special Interest Group on Planning and Scheduling joint meeting with the 4th Italian Workshop on Planning and Scheduling. PlanSIG, Brescia, Italy, pp. 125-132.

Newman, Christopher D, Sturdy, Paula, Wilson, David and Thorne, Richard (2010) Identifying Enterprise Opportunities: A Case Study. FormWatch: Web Analytics & Business Intelligence. In: Teaching and Learning Conference 2010: Connect 2. Teaching, Learning, Research, Enterprise, 13 September 2010, University of Huddersfield.

Newman, Christopher D, Sturdy, Paula and Wilson, David R (2010) FormWatch Project: Management Summary Report. Project Report. University of Huddersfield, Huddersfield, UK.

Parkinson, Simon, Longstaff, Andrew P., Fletcher, Simon, Allen, Gary, Crampton, Andrew and Myers, Alan (2010) A novel framework for establishing a machine tool quality metric. In: Future Technologies in Computing and Engineering: Proceedings of Computing and Engineering Annual Researchers' Conference 2010: CEARC’10. University of Huddersfield, Huddersfield. ISBN 9781862180932

Thabtah, Fadi, Hadi, Wa’el, Abu-Mansour, Hussein and McCluskey, T.L. (2010) A new rule pruning text categorisation method. In: 2010 7th International Multi-Conference on Systems, Signals and Devices. IEEE, London, UK, pp. 1-6. ISBN 9781424475322

Thabtah, Fadi, Mahmood, Qazafi, McCluskey, T.L. and Abdel-Jaber, Hussein (2010) A New Classification Based on Association Algorithm. Journal of Information & Knowledge Management, 9 (1). pp. 55-64. ISSN 0219-6492

Vallati, Mauro (2010) Combining macros and SAT planning. In: Doctoral Consortium of the 11th Italian Association of Artificial Intelligence, 1st - 3rd December 2010, Brescia, Italy.

Vallati, Mauro (2010) MacroSatPlan: Combining macro and SAT planning. In: Doctoral Consortium of 20th International Conference on Automated Planning & Scheduling, 12th-16th May 2010, Toronto, Canada.

Wang, Jing, O'Grady, Michael, Xu, Qian and Xu, Zhijie (2010) Video Feature Representation and 3D Curve-based Event Matching. In: 16th International Conference on Automation and Computing (ICAC’10), University of Birmingham. (Unpublished)

Wang, Jing, Xu, Zhijie and O'Grady, Michael (2010) Head Curve Matching and Graffiti Detection. In: British Machine Vision Conference 2010, 31st August - 3rd September 2010, Aberystwyth, UK. (Unpublished)

2009

Bonner, John V.H. (2009) Adding critical sensibilities to domestic communication technologies. International Journal of Human-Computer Studies, 67 (2). pp. 215-221. ISSN 1071-5819

Bonner, John V.H. (2009) Lessons Learnt in Providing Product Designers with User-Participatory Interaction Design Tools. In: Configuring User-Designer Relations. Computer Supported Cooperative Work . Springer. ISBN 9781846289248

Bonner, John V.H., Li, Andol X and Robinson, Jo (2009) Designing and evaluating smart domestic technologies which use infrequent interaction. In: The 7th International Conference on Pervasive Computing, 11-14 May 2009, Nara, Japan. (Unpublished)

Bonner, John V.H., Li, Andol X and Robinson, Jo (2009) Methodological issues in designing and evaluating smart domestic technologies for intermittent use. In: Pervasive 2009, 11-14 May 2009, Nara, Japan. (Unpublished)

Chrpa, Lukáš and Bartak, Roman (2009) Reformulating Planning Problems by Eliminating Unpromising Actions. In: Proceedings, the Eighth Symposium on Abstraction, Reformulation and Approximation. Symposium on Abstraction, Reformulation and Approximation (SARA 2009) . AAAI Press, California, USA, pp. 50-57. ISBN 9781577354338

Cresswell, S.N., McCluskey, T.L. and West, Margaret M. (2009) Acquisition of Object-Centred Domain Models from Planning Examples. In: Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling. AAAI Press, Menlo Park, California, USA, pp. 338-341. ISBN 9781577354079

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2009) An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP. In: Proceedings of the 19th International Conference on Automated Planning and Scheduling. AAAI, Thessaloniki, Greece.

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2009) Learning and Exploiting Configuration Knowledge for a Portfolio-based Planner. In: 19th International Conference on Automated Planning and Scheduling (ICAPS-09) - Workshop on Planning and Learning (PAL), 19th-23rd September 2009, Thessaloniki, Greece,.

Holmes, Violeta and MacFarlane, Katrinna (2009) Agent Mediated Information Exchange. In: University of Huddersfield Research Festival, 23rd March - 2nd April 2009, University of Huddersfield. (Unpublished)

Li, Andol X and Bonner, John V.H. (2009) Designing interfaces to visualise domestic communication patterns. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2009: CEARC’09. University of Huddersfield, Huddersfield, pp. 88-92. ISBN 9781862180857

Li, Andol X and Bonner, John V.H. (2009) Smart control panel: Developing conventional domestic infrastructures into ambient media. In: The 2nd International Workshop on Semantic Ambient Media Experience (NAMU series), 18th - 21st November 2009, Salzburg, Austria.

McCluskey, T.L., Cresswell, S.N., Richardson, N.E. and West, Margaret M. (2009) Automated acquisition of action knowledge. In: International Conference on Agents and Artificial Intelligence (ICAART), 19-21st January 2009, Porto, Portugal.

McCluskey, T.L. and West, Margaret M. (2009) Ontological Engineering and ATC. Air Traffic Technology International 2009. pp. 63-65. ISSN 1366-7041

Mustafa, Faisal and McCluskey, T.L. (2009) Dynamic web services composition: current issues. International Conference on Computer Engineering and Technology, 2009. ICCET '08, 2. pp. 463-467.

Naveed, Munir (2009) AI for Games. In: University of Huddersfield Research Festival, 23rd March - 2nd April 2009, University of Huddersfield. (Unpublished)

Naveed, Munir, Kitchin, Diane E. and Crampton, Andrew (2009) Dynamic real-time hierarchical heuristic search for pathfinding. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2009: CEARC’09. University of Huddersfield, Huddersfield, pp. 153-158. ISBN 9781862180857

Rendl, Andrea, Miguel, Ian, Gent, Ian P. and Gregory, Peter (2009) Common Subexpressions in Constraint Models of Planning Problems. In: Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009. AAAI Press, California, USA, 128 - 135. ISBN 978-1-57735-433-8

Shah, Mohammad Munshi Shahin, McCluskey, T.L. and West, Margaret M. (2009) An Investigation into Using Object Constraints to Synthesize Planning Domain. In: ICAPS 2009 Doctoral Consortium, September 19th 2009, Thessaloniki, Greece.

Shah, Mohammad Munshi Shahin, McCluskey, T.L. and West, Margaret M. (2009) A study of synthesizing artificial intelligence (AI) planning domain models by using object constraints. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2009: CEARC’09. University of Huddersfield, Huddersfield, pp. 64-69. ISBN 9781862180857

2008

Barnes, Andrew, McCluskey, T.L. and Osborne, Hugh (2008) Benefits of associative classification within text categorisation. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2008: CEARC’08. University of Huddersfield, Huddersfield, pp. 34-39. ISBN 978-1-86218-067-3

Bartak, Roman and McCluskey, T.L. (2008) Workshop on Knowledge Engineering for Planning and Scheduling (KEPS). In: Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), at ICAPS-08, 14-18 September 2008, Sydney, Australia.

Bonner, John V.H., Renshaw, Tony and Wilson, Andrew (2008) Observations on Situated Design, Theoretical Perspectives and Measurement of Player Experiences in Location Aware Games. In: HCI2008 Conference (Human Computer Interaction), 1st - 5th September 2008, Liverpool, UK.

Bonner, John V.H., Wilson, Andrew and Nardi, Asra (2008) Children, guidebooks, SMS and virtual characters. Keho (3). pp. 33-35.

Bryant, David, Fieldhouse, John D., Crampton, Andrew and Talbot, Chris J. (2008) Hot Judder Investigations Using a High Speed Brake Dynamometer. In: Inaugural Automotive Researchers' Conference, 8-9 January 2008, University of Huddersfield.

Bryant, David, Fieldhouse, John D., Crampton, Andrew, Talbot, Chris J. and Layfield, Jonathan (2008) Thermal Brake Judder Investigations Using a High Speed Dynamometer. In: Brake Technology, 2008. SAE. ISBN 978-0-7680-2030-4

Chrpa, Lukáš and Bartak, Roman (2008) Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies. In: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference. FLAIRS 2008 . AAAI Press, Florida, USA, pp. 531-536. ISBN 9781577353652

Fieldhouse, John D., Bryant, David, Crampton, Andrew, Talbot, Chris J. and Layfield, Jonathan (2008) A study of thermal judder on a laboratory dynamometer. In: SAE Brake Colloquium & Engineering Display, October 2008, San Antonio USA.

Gregory, Peter, Fox, Maria and Long, Derek (2008) A New Empirical Study of Weak Backdoors. In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings 2008. Lecture Notes in Computer Science, 5202 . Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 618-623. ISBN 978-3-540-85957-4

McCluskey, T.L., Cresswell, S.N., Richardson, N.E., Simpson, R.M. and West, Margaret M. (2008) An evaluation of Opmaker2. In: The 27th Workshop of the UK Planning and Scheduling Special Interest Group, December 11-12th, 2008, Edinburgh.

Mustafa, Faisal and McCluskey, T.L. (2008) Dynamic web services composition: current issues. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2008: CEARC’08. University of Huddersfield, Huddersfield, pp. 48-54. ISBN 978-1-86218-067-3

Thabtah, Fadi, Mahmood, Qazafi and McCluskey, T.L. (2008) Looking at the Class Associative Classification Training Algorithm. Fifth International Conference on Information Technology: New Generations, 2008. ITNG 2008.. pp. 426-431.

2007

Bartak, Roman and McCluskey, T.L. (2007) Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems. Knowledge Engineering Review, 22 (2). pp. 115-116. ISSN 0269-8889

Bonner, John V.H. (2007) Facilitating purposeful adoption and diffusion of ubiquitous communication technologies in domestic environments. In: Family and Communication Technologies Workshop, 24th May 2007, Northumbria University, Newcastle upon Tyne, UK. (Unpublished)

Bonner, John V.H. (2007) Organisational ambivalence in creating innovative interactions. In: CREATE 2007: Creating Innovative Interactions Conference: Creative Inventions, Innovations and Everyday Designs in HCI, 13 June 2007 to 14 June 2007, British Computer Society, Covent Garden, London.

Bonner, John V.H. (2007) Organisational ambivalence in creating innovative interactions. In: Proceedings of Create07: Creative Inventions, Innovations and Everyday Designs in HCI. British Computer Society.

Bonner, John V.H., Wilson, Andrew and Roberts, L. (2007) Public space as a design factor in sharable technologies. Discussion Paper. UNSPECIFIED.

Bonner, John V.H., Wilson, Andrew and Roberts, Lisa (2007) Public space as a design factor in sharable technologies. In: Shareable Interfaces Workshop, 19th - 20th June 2007, Milton Keynes, UK. (Unpublished)

Crampton, Andrew, Talbot, Chris J. and Terry, J.L. (2007) Feature Extraction and Parameter Estimation as a Tool for Acoustical Analysis. In: Curve and Surface Fitting: Avignon 2006. Nashboro Press, Brentwood, TN, pp. 81-90. ISBN 978-0-9728482-8-2

Denton, Paul, Tan, Kim H., Little, David and Bonner, John V.H. (2007) A Three R Approach for Supply Chain Business Intelligence. In: Proceedings of 19th International Conference on Production Research ICPR19, Valparaiso, Chile, 29th July - 2nd August 2007. ICPR. ISBN 978 956 310 7517

Fieldhouse, John D., Steel, William P., Talbot, Chris J. and Crampton, Andrew (2007) Measurement of absolute displacement of a twin calliper disc brake during noise. In: 10th EAEC European Automotive Congress (EAEC 2005). Curran Associates. ISBN 9781604236040

Frank, Jeremy, McCluskey, T.L., Myers, Karen and Yorke-Smith, Neil (2007) Moving planning and scheduling systems into the real world. In: International Workshop on Moving Planning and Scheduling Systems into the Real World To be held in conjunction with ICAPS'07: 17th International Conference on Automated Planning & Scheduling, September 22-26th, 2007, Providence, Rhode Island, USA. (Unpublished)

Gregory, Peter, Long, Derek and Fox, Maria (2007) A Meta-CSP Model for Optimal Planning. In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007. Lecture Notes in Computer Science, 4612 . Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 200-214. ISBN 978-3-540-73579-3

Mahmood, Qazafi, Thabtah, Fadi and McCluskey, T.L. (2007) Looking at the class associative classification training algorithm. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2007: CEARC’07. University of Huddersfield, Huddersfield, pp. 1-9.

McCluskey, T.L. (2007) Feasibility criteria for investigating potential application areas of AI planning. In: The 26th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group - PlanSIG 2007, 17th-18th December 2007, Charles University, Prague, Czech Republic. (Unpublished)

McCluskey, T.L., Cresswell, S.N., Richardson, Nona Elizabeth and West, Margaret M. (2007) Opmaker2: efficient action schema acquisition. In: The 26th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group - PlanSIG 2007, 17th-18th December 2007, Charles University, Prague, Czech Republic. (Unpublished)

Myers, Karen, Frank, Jeremy, McCluskey, T.L. and Yorke-Smith, Neil (2007) International Workshop on Moving Planning and Scheduling Systems into the Real World. In: International Workshop on Moving Planning and Scheduling Systems into the Real World in conjunction with ICAPS'07: 17th International Conference on Automated Planning & Scheduling, September 22-26th, 2007, Providence, Rhode Island, USA.

Simpson, R.M., Kitchin, Diane E. and McCluskey, T.L. (2007) Planning domain definition using GIPO. Knowledge Engineering Review, 22 (2). pp. 117-134. ISSN 0269-8889

Talbot, Chris J., Crampton, Andrew, Fieldhouse, John D. and Steel, William P. (2007) Mathematical modelling of brake noise vibrations using spectral methods. In: 22nd Imac Conference and Exposition 2004 (Imac Xxii). Curran Associates. ISBN 9781604238020

Zhang, X., Jiang, Xiang and Crampton, Andrew (2007) Numerical Analysis of the Boundary Effect of Radial Basis Functions in 3D Surface Reconstruction. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2007: CEARC’07. University of Huddersfield, Huddersfield, pp. 1-6.

2006

Bartak, Roman and McCluskey, T.L. (2006) The first competition on knowledge engineering for planning and scheduling. AI Magazine, Spring. pp. 97-98. ISSN 0738-4602

Bonner, John V.H. (2006) Physicality from the sidelines: potential hurdles and solutions in the development of novel interaction styles. In: Physicality 2006: First International Workshop on Physicality: Position Papers. University of Lancaster, pp. 11-12. ISBN 9781862201781

Brennan, James K., Jiang, Xiang, Crampton, Andrew and Leach, Richard K. (2006) Propagation of measurement uncertainty for surface texture parameters. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2006: CEARC’06. University of Huddersfield, Huddersfield, pp. 1-6.

Bryant, David, Crampton, Andrew, Fieldhouse, John D. and Talbot, Chris J. (2006) Discussion of characteristics of brake judder and the necessary data acquisition system for complete analysis. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2006: CEARC’06. University of Huddersfield, Huddersfield, pp. 1-6.

Crampton, Andrew and Forbes, Alistair B. (2006) Spline approximation using knot density functions. In: Algorithms for Approximation. Springer, London, pp. 249-258. ISBN 978-3-540-33283-1

Fieldhouse, John D., Bryant, David, Talbot, Chris J., Crampton, Andrew and Mishra, Rakesh (2006) The development of a design methodology to reduce the probability of brake judder and drone due to thermo-elastic instabilities of the brake rotor. In: FISITA World Automotive Congress 2006, Yokohama, Japan.

Long, Derek, Smith, Stephen F., Borrajo, Daniel and McCluskey, T.L. (2006) Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006. AAAI. ISBN 978-1-57735-270-9

McCluskey, T.L. and Simpson, R.M. (2006) Combining constraint based and classical formulations for planning domains. Proceedings of The 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG2006). pp. 55-65. ISSN 1368-5708

McCluskey, T.L. and Simpson, R.M. (2006) Tool support for planning and plan analysis within domains enbodying continuous change. In: Workshop on Plan Analysis and Management held in conjunction with The 16th International Conference on Automated Planning and Scheduling, (ICAPS 2006), June 6-10, 2006, The English Lake District, U.K.

Richardson, N.E., McCluskey, T.L. and West, Margaret M. (2006) Towards inducing HTN domain models from examples. In: 25th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), 14th-15th December, 2006, Nottingham.

Srivastava, Biplav, Blythe, Jim, Myers, Karen, Kambhampati, Subbarao and McCluskey, T.L. (2006) Workshop on plan analysis and management. In: Workshop on Plan Analysis and Management held in conjunction with The 16th International Conference on Automated Planning and Scheduling, (ICAPS 2006), June 6-10, 2006, The English Lake District, U.K. (Unpublished)

Talbot, Chris J. and Crampton, Andrew (2006) Pseudo spectral methods applied to problems in elasticity. Journal of Scientific Computing, 27 (1-3). pp. 443-454. ISSN 1573-7691

2005

Bartak, Roman and McCluskey, T.L. (2005) Competition on Knowledge Engineering for Planning and Scheduling. In: ICAPS 2005: The International Conference on Automated Planning and Scheduling, 5th - 10th June 2005, Monterey, California, USA. (Unpublished)

Bartak, Roman and McCluskey, T.L. (2005) KE Competition: an overview. In: Proceedings of the First International Competition on Knowledge Engineering. UNSPECIFIED. (Unpublished)

Brennan, James K., Crampton, Andrew, Jiang, Xiang, Leach, Richard K. and Harris, Peter M. (2005) Approximation of surface roughness profiles and parameters. In: International Conference on Advanced Mathematical and Computational Tools in Metrology (AMCTM 2005), 27–29 June, 2005, Instituto Português da Qualidade, Caparica, Portugal. (Unpublished)

Brennan, James K., Crampton, Andrew, Jiang, Xiang, Leach, Richard K. and Harris, Peter M. (2005) Approximation of surface texture profiles. Journal of Physics, Series. pp. 264-267. ISSN 1742-6596

Brennan, James K., Crampton, Andrew, Jiang, Xiang, Leach, Richard K. and Harris, Peter M. (2005) Propagation of uncertainty in discretely sampled surface roughness profiles. Advanced mathematical and computational tools in metrology VII. pp. 271-275.

Crampton, Andrew and Mason, John C. (2005) Detecting and approximating fault lines from randomly scattered data. Journal of Numerical Algorithms, 39 (1-3). pp. 115-130. ISSN 1017-1398

Cresswell, S.N. and McCluskey, T.L. (2005) A Hospital Placement Allocation Problem. Proceedings of the Annual PLANSIG Conference. ISSN 1368-5708

Kitchin, Diane E., McCluskey, T.L. and West, Margaret M. (2005) B vs OCL: comparing specification languages for Planning Domains. In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005). AAAI Press. ISBN 978-1-57735-220-4

Mason, John C. and Crampton, Andrew (2005) Laurent-Pade approximants to four kinds of Chebyshev polynomial expansion. Part 1. Maehly type approximants. Journal of Numerical Algorithms, 38 (1). pp. 3-18. ISSN 1572-9265

Mason, John C. and Crampton, Andrew (2005) Laurent-Pade approximants to four kinds of Chebyshev polynomial expansion. Part 2. Clenshaw-Lord type approximants. Journal of Numerical Algorithms, 38 (1). pp. 19-29. ISSN 1572-9265

McCluskey, T.L. and Cresswell, S.N. (2005) Importing ontological information into planning domain models. In: ICAPS 05 Workshop on the Role of Ontologies in Planning and Scheduling. AAAI Press, pp. 5-12.

McCluskey, T.L. and Simpson, R.M. (2005) Towards an Algebraic Formulation of Domain Definitions using Parameterised Machines. Proceedings of the Annual PLANSIG Conference. ISSN 1368-5708

McCluskey, T.L. and Simpson, R.M. (2005) Using GIPO to support learning in knowledge acquisition and automated planning. In: The Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence - Workshop on Artificial Intelligence in Education, 12th-14th December 2005, Peterhouse College, Cambridge, UK.

McCluskey, T.L. and Simpson, R.M. (2005) The use of an integrated tool to support teaching and learning in artificial Intelligence. Journal of Innovations in Teaching and Learning in Information and Computer Sciences, 4 (3). ISSN 1473-7507

Talbot, Chris J. and Crampton, Andrew (2005) Application of the pseudo-spectral method to 2D eigenvalue problems in elasticity. Journal of Numerical Algorithms 38 Special Issue: Chebyshev Polynomials, 38. pp. 95-110. ISSN 1017-139

Terry, Jane, Crampton, Andrew and Talbot, Chris J. (2005) Passive Sonar Harmonic Detection Using Feature Extraction and Clustering Analysis. In: OCEANS 2005 MTS/IEEE “One Ocean” Conference, 18-23 September 2005, Washington D.C.. (Unpublished)

Terry, Jane L., Crampton, Andrew and Talbot, Chris J. (2005) Associating families of curves using feature extraction and cluster analysis. In: Algorithms for Approximation. Springer, Berlin, pp. 71-80. ISBN 978-3-540-33283-1

2004

Jenkinson, D.P., Crampton, Andrew, Mason, John C., Cox, M.G., Forbes, Alistair B. and Boudjemae, R. (2004) Parameterised approximation estimators for mixed noise distributions. In: Advanced Mathematical & Computational Tools In Metrology Vi. Series on Advances in Mathematics for Applied Sciences, 66 . World Scientific, pp. 67-81. ISBN 978-981-238-904-6

Jenkinson, D.P., Mason, John C. and Crampton, Andrew (2004) Iteratively weighted approximation algorithms for nonlinear problems using radial basis function examples. Applied Numerical Analysis & Computational Mathematics, 1 (1). pp. 165-179. ISSN 1611-8170

McCluskey, T.L. and Simpson, R.M. (2004) Knowledge formulation for AI planning. In: Engineering Knowledge in the Age of the SemanticWeb. Lecture Notes in Computer Science, 3257/2 . Springer Berlin, Heidelberg, pp. 449-465. ISBN 9783540233404

Refanidis, Ioannis, McCluskey, T.L. and Dimopoulos, Yannis (2004) Planning services for individuals: a new challenge for the planning community. In: 14th International Conference on Automated Planning & Scheduling - ICAPS '04 - Workshop on “Connecting Planning Theory with Practice", June 3-7 2004, Whistler, British Columbia, Canada. (Unpublished)

Simpson, R.M. and McCluskey, T.L. (2004) Synthesising domain descriptions from object-life histories. In: PLANSIG 23, 20th/21st Dec 2004, University of Cork, Ireland. (Unpublished)

Steel, William P., Fieldhouse, John D., Talbot, Chris J. and Crampton, Andrew (2004) In-plane disc brake vibration measurement using holographic interferometry. In: Total Vehicle Technology: Finding the Radical, Implementing the Practical (3rd International Conference). Wiley, pp. 261-274. ISBN 9781860584602

Steel, William P., Fieldhouse, John D., Talbot, Chris J. and Crampton, Andrew (2004) In-plane vibration investigations of a noisy disc brake. In: Braking 2004: Vehicle Braking and Chassis Control. Wiley, pp. 103-112. ISBN 978-1-86058-464-0

Steel, William P., Fieldhouse, John D., Talbot, Chris J. and Crampton, Andrew (2004) Modelling 3D displacement in a disc brake rotor generating noise. In: FISITA 2004 World Automotive Congress, 23rd-27th May, 2004, Barcelona, Spain. (Unpublished)

Talbot, Chris J., Fieldhouse, John D., Steel, William P. and Crampton, Andrew (2004) Pseudo-spectral methods applied to the mathematical modelling of disc brake squeal. In: Braking 2004: Vehicle Braking and Chassis Control. Wiley, pp. 157-166. ISBN 978-1-86058-464-0

2003

Biundo, Susanne, Aylett, Ruth, Beetz, Michael, Borrajo, Daniel, Cesta, Amedeo, Grant, Tim, McCluskey, T.L., Milani, Alfredo and Verfaille, Gerard (2003) Technological roadmap on AI planning and scheduling. Project Report. European Community under the Information Society Technology Programme, Ulm, Germany.

Crampton, Andrew, Fieldhouse, John D., Talbot, Chris J. and Steel, William P. (2003) Modeling disc brake noise using spectral methods. In: 5th EUROMECH Solid Mechanics Conference, 17-22 August 2003, AUT, Thessaloniki, GREECE. (Unpublished)

Dinh, Tien Ba, Smith, Barbara M. and McCluskey, T.L. (2003) CPPlanner: A Domain-Independent Temporal Planner with Critical Paths. In: PlanSIG 22, 9th/10th Dec 2003, University of Strathclyde, Glasgow. (Unpublished)

Fieldhouse, John D., Talbot, Chris J., Steel, William P. and Crampton, Andrew (2003) The measurement of in-plane vibration characteristics of a noisy twin calliper disc brake. In: Inter-noise 2003. Internoise, pp. 135-142. ISBN 9788995218914

Kendall, S.C., Crampton, Andrew and Mason, John C. (2003) Shape preserving approximation with large sets of scattered data. In: Curve and Surface Fitting: Saint-Malo 2002. Nashboro Press, Brentwood, pp. 89-96. ISBN 0-9728482-1-5

Lei, Dongdong, Crampton, Andrew, Mason, John C. and Ross, C. (2003) An efficient algorithm for solving linearized SVM regression problems. In: Curve and Surface Fitting: Saint-Malo 2002. Nashboro Press, Brentwood, pp. 249-258. ISBN 0-9728482-1-5

McCluskey, T.L. (2003) Knowledge Engineering (Roadmap). In: PLANET General Network Meeting, 20th-21st February, 2003, University of Ulm, Germany. (Unpublished)

McCluskey, T.L. (2003) PDDL: A language with a purpose? In: ICAPS-03, 13th International Conference on Automated Planning & Scheduling, June 9-13 2003, Trento, Italy.

McCluskey, T.L., Liu, D. and Simpson, R.M. (2003) GIPO II: HTN planning in a tool-supported knowledge engineering environment. In: Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling. AAAI Press, Menlo Park, California, pp. 92-101. ISBN 1577351878

Sancon, Julien and Sweeney, Joseph (2003) [2,3]-sigmatropic rearrangement of ammonium ylids. In: National meeting American Chemical Society, 23-27th March 2003, New Orleans. (Unpublished)

Simpson, R.M. and McCluskey, T.L. (2003) Plan authoring with continuous effects. In: PlanSIG 22, 9th/10th Dec 2003, University of Strathclyde, Glasgow. (Unpublished)

Talbot, Chris J., Fieldhouse, John D., Steel, William P. and Crampton, Andrew (2003) Modelling in-plane and out-of-plane vibrations in disc brake squeal. In: Inter-noise 2003. Internoise, pp. 3003-3011. ISBN 9788995218914

West, Margaret M. and Kitchin, Diane E. (2003) Testing domain model validation tools. In: PlanSIG 22, 9th/10th Dec 2003, University of Strathclyde, Glasgow. (Unpublished)

2002

Biundo, Susanne, Borrajo, Daniel and McCluskey, T.L. (2002) Planning and scheduling - for improving flexibility in eCommerce and electronic work. In: eBusiness and eWork 2002 Conference and Exhibition, 16-18 October 2002, Prague, Czech Republic. (Unpublished)

Bonner, John V.H. and Porter, J. Mark (2002) Envisioning future needs: from pragmatics to pleasure. In: Pleasure With Products: Beyond Usability. Contemporary Trends Institute Series . Taylor & Francis, London, pp. 151-161. ISBN 9780415237048

Mason, John C. and Crampton, Andrew (2002) Application of orthogonalisation procedures for Gaussian radial basis function and Chebyshev polynomials. In: Algorithms for approximation IV. University of Huddersfield, Huddersfield, pp. 236-243. ISBN 9781862180406

McCluskey, T.L. (2002) Knowledge engineering: issues for the AI planning community. In: The AIPS-2002 Workshop on Knowledge Engineering Tools and Techniques for AI Planning, April 24th, 2002, Toulouse, France. (Unpublished)

McCluskey, T.L., Fox, Maria and Aylett, Ruth (2002) Planform: An open environment for building planners. PLANET Newsletter of the European Network of Excellence in AI Planning (5). pp. 38-45. ISSN 1610-0204

McCluskey, T.L., Richardson, N.E. and Simpson, R.M. (2002) An interactive method of inducing operator descriptions. In: Proceedings of the sixth international conference on articial intelligence planning systems. AAAI Press, pp. 121-130. ISBN 9781577351429

Simpson, R.M., Long, Derek, McCluskey, T.L. and Fox, Maria (2002) Generic types as design patterns for planning domain specifications. In: The AIPS-2002 Workshop on Knowledge Engineering Tools and Techniques for AI Planning, April 24th, 2002, Toulouse, France. (Unpublished)

Simpson, R.M. and McCluskey, T.L. (2002) A tool supported structured method for planning domain acquisition. In: Foundations of Intelligent Systems. Lecture Notes in Computer Science, 2366 . Springer, pp. 544-552. ISBN 9783540437857

Tong, R.P., Crampton, Andrew and Trefethen, A.E. (2002) What are 'good' points for local interpolation by radial basis functions? In: Algorithms for Approximation IV. University of Huddersfield, Huddersfield, pp. 260-267. ISBN 9781862180406

West, Margaret M., Kitchin, Diane E. and McCluskey, T.L. (2002) Validating planning domain models using B-AMN. In: PlanSIG 2002, 21st/22nd Nov 2002, Delft University of Technology, Holland. (Unpublished)

2001

Crampton, Andrew and Mason, John C. (2001) Surface approximation of curved data using separable radial basis functions. In: Advanced mathematical and computational tools in metrology V. Series on advances in mathematics for Applied Sciences, 57 . World Scientific Publishing, London, pp. 118-125. ISBN 9810244940

Crampton, Andrew, Mason, John C. and Turner, D.A. (2001) Approximating semi-structure data with different errors using support vector machine regression. In: Mathematical methods for curves and surfaces. Innovations in applied mathematics . Vanderbilt University Press, Nashville, pp. 63-72. ISBN 9780826513786

McCluskey, T.L. and Richardson, N.E. (2001) The induction of operator descriptions from examples and structural domain knowledge. In: PlanSIG 2001, 13th/14th Dec 2001, Edinburgh University. (Unpublished)

McCluskey, T.L. and West, Margaret M. (2001) The automated refinement of a requirements domain theory. Journal of Automated Software Engineering, 8 (2). pp. 195-218. ISSN 1573-7535

Simpson, R.M., McCluskey, T.L., Zhao, W., Aylett, Ruth and Doniat, C. (2001) An integrated graphical tool to support knowledge engineering in AI planning. In: 6th European Conference on Planning, September 2001, Toledo, Spain. (Unpublished)

Simpson, R.M., McCluskey, T.L., Zhao, W., Aylett, Ruth and Doniat, C. (2001) A tools environment for developing planning domain models. In: 20th Workshop of the UK Planning and Scheduking Special Interest Group (PLANSIG-2001), 13 - 14 December 2001, Edinburgh.

West, Margaret M. and McCluskey, T.L. (2001) The application of machine learning tools to the validation of an air traffic control domain theory. International Journal on Artificial Intelligence Tools, 10 (4). pp. 613-637. ISSN 0218-2130

2000

Bonner, John V.H. and Porter, J. Mark (2000) Introducing user participative design methods to industrial designers. Human Factors and Ergonomics Society Annual Meeting Proceedings (6 - Mu). pp. 787-790. ISSN 1071-1813

Kitchin, Diane E., McCluskey, T.L. and Simpson, R.M. (2000) Foundations of an object-centred approach to knowledge engineering for AI planning applications. In: Knowledge based computer systems:proceedings of the international conference KBCS 2000. Allied Publishers, pp. 434-445. ISBN 9788177641103

McCluskey, T.L. (2000) Knowledge Engineering for Planning ROADMAP. Working Paper. University of Leeds. (Unpublished)

McCluskey, T.L. (2000) Object Transition Sequences: A New Form of Abstraction for HTN Planners. In: 5th International Conference on AI Planning and Scheduling (AIPS-2000), April 2000, Breckenridge, Colorado, USA.

McCluskey, T.L. (2000) A formal specification and rigorous implementation of an AI planner. Technical Report. UNSPECIFIED. (Unpublished)

Simpson, R.M., McCluskey, T.L. and Liu, D. (2000) OCLGraph: Exploiting Object Structure in a Plan Graph Algorithm. In: ECAI 2000 European Conference on Artificial Intelligence 14th Workshop New Results in Planning, Scheduling and Design (PUK 2000), 21st - 22nd August 2000, Berlin, germany. (Unpublished)

Simpson, R.M., McCluskey, T.L., Liu, D. and Kitchin, Diane E. (2000) Knowledge representation in planning: a PDDL to OCL h translation. In: Foundations of intelligent systems. Springer, pp. 610-618. ISBN 9783540410942

West, Margaret M. and McCluskey, T.L. (2000) The application of a machine learning tool to the validation of an air traffic control domain theory. In: Tools With Artificial Intelligence (ICTAI 2000) conference proceedings. IEEE, pp. 414-421. ISBN 0769509096

1999

Bonner, John V.H. (1999) Exploring the ‘interface culture’ between ergonomics and product interface design. In: Design Cultures: Proceedings of the Third European Academy of Design Conference. European Academy of Design. ISBN 9780902896215

Bonner, John V.H. (1999) Implications for using intelligence in consumer products. In: Human factors in product design: current practice and future trends. CRC Press, pp. 56-63. ISBN 9780748408290

McCluskey, T.L., Jarvis, Peter and Kitchin, Diane E. (1999) OCLh: A Sound and Supportive Planning Domain Modelling Language. Technical Report. University of Huddersfield. (Unpublished)

Simpson, R.M. and McCluskey, T.L. (1999) An Object-Graph Planning Algorithm. In: 18th Annual UK Planning and Scheduling Workshop (PLANSIG), 15th - 16th December 1999, Salford, UK. (Unpublished)

1998

McCluskey, T.L. and Kitchin, Diane E. (1998) A Tool-Supported Approach to Engineering HTN Planning Models. In: Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998, Taiwan.

McCluskey, T.L. and West, Margaret M. (1998) Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. In: Proceedings, 13th IEEE International Conference on Automated Software Engineering. IEEE Computer Society. ISBN 9780818687501

McCluskey, T.L. and West, Margaret M. (1998) A case study in the use of theory revision in requirements validation. In: Machine learning: proceedings of the fifteenth international conference (ICML '98). Morgan Kaufmann, pp. 368-376. ISBN 9781558605565

1997

McCluskey, T.L. and Porteous, J.M. (1997) Engineering and compiling planning domain models to promote validity and efficiency. Artificial Intelligence, 95 (1). pp. 1-65. ISSN 0004-3702

McCluskey, T.L., Porteous, J.M., West, Margaret M. and Bryant, C.H. (1997) The validation of formal specifications of requirements. In: BCS-FACS Northern Formal Methods Workshop: proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996. Springer, pp. 8-9. ISBN 9783540761174

1996

McCluskey, T.L., Kitchin, Diane E. and Porteous, J.M. (1996) Object-centred planning: lifting classical planning from the literal level to the object level. In: Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence. IEEEPress, pp. 346-353. ISBN 0-8186-7686-8

McCluskey, T.L. and Porteous, J.M. (1996) Planning speed-up via domain model compilation. In: New directions in AI planning. IOS Press, pp. 233-246. ISBN 9051992378

1995

McCluskey, T.L. and Porteous, J.M. (1995) The use of sort abstraction in planning domain theories. In: Planning & Learning: Onto Real Application Papers from the 1994 Fall Symposium. AAAI Press. ISBN 9780929280752

McCluskey, T.L., Porteous, J.M., Naik, Y., Taylor, C. N. and Jones, S. (1995) A requirements capture method and its use in an air traffic control application. Software: Practice and Experience, 25 (1). pp. 47-71. ISSN 0038-0644

McCluskey, T.L. and Porteus, Julie M. (1995) On extracting goal structure from planning domain specifications. In: 14th Annual Planning and Scheduling Workshop, 22nd - 23rd November 1995, Colchester, Essex, UK. (Unpublished)

1994

McCluskey, T.L. and Porteous, J.M. (1994) Learning heuristics for ordering plan goals through static operator analysis. In: Methodologies for intelligent systems. Lecture notes on artificial intelligence . Springer, pp. 406-415. ISBN 9783540584957

Turner, John G and McCluskey, T.L. (1994) The construction of formal specifications : an introduction to the model-based and algebraic approaches. McGraw-Hill. ISBN 9780077077358

1993

McCluskey, T.L. and Porteous, J.M. (1993) Two complementary techniques in knowledge compilation for planning. In: Proceedings of KCSL '93. KCSL.

1992

McCluskey, T.L. and Porteous, J.M. (1992) Empirical results in planning speed-up using combinations of on-line learning techniques. In: Proceedings of the ML92 Workshop on Knowledge Compilation & Speedup Learning. Oregon State University Dept. of Computer Science.

McCluskey, T.L., Porteous, J.M. and Smith, T (1992) Research into the possibility of automated planning for en route air traffic control. In: IEE Colloquium on Software in Air Traffic Control Systems - The Future,, June 2002, London.

1991

Goker, A. and McCluskey, T.L. (1991) Towards an adaptive information retrieval system. In: Methodologies for intelligent systems. Lecture notes in artificial intelligence . Springer, pp. 348-357. ISBN 9783540545637

1990

McCluskey, T.L. (1990) Empirical results from applying machine learning techniques to planning. In: IEE Colloquium on Machine Learning. IEEE Press, 6/1-6/3.

McCluskey, T.L. (1990) Explanation-based and similarity-based heuristic acquisition in a general planner. In: Proceedings of the Fourth European Working Session on Learning. Pitman, pp. 139-150. ISBN 9780273088110

McCluskey, T.L. (1990) Explanation-based learning. In: Intelligent systems: state of the art and future directions. E. Horwood. ISBN 9780134659312

1989

McCluskey, T.L. (1989) The refinement of heuristics in a heuristic acquiring planner. In: Methodologies for intelligent systems, 4: proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina, Issue 3. North-Holland, pp. 466-475. ISBN 9780444015167

1987

McCluskey, T.L. (1987) Combining weak learning heuristics in general problem solvers. In: 10th International Joint Conference on Artificial Intelligence, 1987, Milan, Italy.

McCluskey, T.L. (1987) The anatomy of a weak learning method for use in goal directed search. In: Proceedings of the fourth international workshop on machine learning. Morgan Kaufmann, pp. 134-140.