Publications

A selection of published articles written by the team. PhD Theses are available to download from the Document section.

Published articles (refereed journals):

Betts, J. and Müller, B., Engineering MAS – A Device Integration Framework for Smart Home Environments. (Extended version) Fundamenta Informaticae, 135:4, pages 341-353. 2014. (DOI 10.3233/FI-2014-1127).

Kulon J., Partlow A., Gibson, C., Wilson, I.D. and Wilcox, S. J., (2014) Rule-Based Algorithm for the Classification of Sitting Postures in the Sagittal Plane from the Cardiff Body Match Measurement System, Journal of Medical Engineering & Technology, vol. 38, no. 1, pp. 5-15.

Kyriakidis I., Karatzas K., Kukkonen J., Papadourakis G., Ware J.A. “Evaluation and Analysis of Artificial Neural Networks and Decision Trees in Forecasting of Common Air Quality Index in Thessaloniki, Greece”, Journal of Engineering Intelligent Systems, accepted April 2013.

Spala P., Malamos A.G., Ware J.A., “Automatic MPEG-7 Annotation of Web 3D Scenes”, The International Journal of Multimedia Technology (IJMT), submitted February 2012.

Wilson I.D., Davies R. & Stanton N., (2013) A Genetic Algorithm based solution to the Teaching Assignment Problem, International Journal of Computer Applications (0975 – 8887), vol. 81, no. 18, pp. 1-6 (Editor’s choice).

Davies R., Wilson I.D. & Ware J.A., (2013) Robust Real-Time Stereoscopic Alignment, International Journal of Computer Applications (0975 – 8887), vol. 81, no. 18, pp. 7-14.

Partlow A., Gibson C., Kulon J., Wilson I. & Wilcox S., (2012) Pelvis feature extraction and classification of Cardiff body match rig base measurements for input into a knowledge-based system, Journal of Medical Engineering & Technology, vol. 36, no. 8, pp. 399-406.

Kyriakidis I., Karatzas K., Papadourakis G., Ware J.A. “Using Artificial Intelligence Methods to Understand and Forecast Atmospheric Quality Parameters”, Journal of Engineering Intelligent Systems, Vol 20 no 1/2, March/June 2012, pp. 137-149.

Mamakis G, Malamos A G, Ware J.A,. Karelli I., “Document Classification in Summarization” International Journal of Information and Computer Science. ISSN 1746-7659, Vol. 7. No.1, 2012, pp. 025-036.

Hogan, S., P. Jarvis, and I. Wilson. Using the Gamma Test in the Analysis of Classification Models for Time-Series Events in Urodynamics Investigations. In: Proceedings of AI-2011, The Thirty-first SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK. Research and Development in Intelligent Systems XXVIII, Incorporating Applications and Innovations in Intelligent Systems XIX, pp. 299-310, 2011.

Hogan S., Jarvis P., Gammie A. and Abrams P., Quality control in urodynamics and the role of software support in the QC procedure, Neurourology and Urodynamics, Volume 30, Issue 8, pages 1557–1564, 2011.

Müller (Farwer) B., M. Jantzen, M. Kudlek, H. Rölke, and G. Zetzsche. Petri Net Controlled Finite Automata. Fundamenta Informaticae, 85 (1-4) 2008:111-121, 2008.

Hogan, S., Jarvis, P., Gammie, A., Abrams, P. (2011). Quality Control in Urodynamics and the Role of Software Support in the QC Procedure. Neurourology and Urodynamics, 30: 1557–1564.

Müller (Farwer) B., Kudlek M., Rölke H. Concurrent Turing machines. Fundamenta Informaticae, 79(3-4):303-317, 2007.

Müller (Farwer) B., Köhler M.. Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundamenta Informaticae, 72(1-3):109-122, 2006.

Müller (Farwer) B., Varea M. Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. Fundamenta Informaticae, 72(1-3):123-137, 2006.

Weller, A.F., Harris, A.J., Ware, J.A., Jarvis, P.S. (2005). Determining the Saliency of Feature Measurements Obtained from Images of Sedimentary Organic Matter for Use in its Classification. Computers and Geosciences, 32(9), p. 1357-1367.

Kemp S., Wilson I.D. and Ware J.A., A Tutorial on the Gamma Test, (2004), International Journal on Simulation: Systems, Science, and Technology, 6/1-2, pp. 67-74.

Wilson I.D., Jones A. J., Jenkins D. H. and Ware J.A., (2004), Predicting Housing Value: Attribute Selection and Dependence Modelling Utilising the Gamma Test, Advances in Econometrics, 9, pp. 243-275.

Wilson I.D., Ware J. M. and Ware J.A., (2003), A Genetic Algorithm Approach to Cartographic Map Generalisation, Computers in Industry, 52/3, pp. 291-304.

Kemp S.E., Roach P.A., Ware A.J. and Wilson I.D., (2003), Artificial Intelligence for automatic container stowage planning optimisation, Ship Technology Research, 50, pp. 151-156.

Ware J.M., Wilson I.D. and Ware J.A., (2003), A knowledge based genetic algorithm approach to automating cartographic generalization, (2003), Knowledge Based Systems, 16/5-6, pp. 295-303.

Corcoran J., Wilson I.D. and Ware J.A., (2003), Predicting the Geo-Temporal Variations of Crime and Disorder, Special Issue on Crime Forecasting of International Journal of Forecasting, 19/4, pp. 623-634.

Wilson I.D., Paris S.D., Ware J.A. and Jenkins, D.H., (2002), Residential property price time series forecasting with neural networks, Knowledge Based Systems, 15/5-6, pp. 335-341.

Corcoran J., Wilson I.D., Lewis O.M. and Ware J.A., (2001), Data Clustering using ANNs as a Precursor to Crime Hot Spot Prediction, Lecture Notes in Computer Science Computational Intelligence, Vol. 2206, pp. 807-822.

Wilson I.D, Roach P.A. and Ware J.A., (2001), Container Stowage Pre-planning: using search to generate solutions, a case study, Journal of Knowledge Based Systems, 14/3-4, pp. 137-145.

Wilson I.D. and Roach P.A., (2000), Container stowage planning: a methodology for generating computerised solutions. Journal of the Operational Research Society, 51, pp. 1248-1255.

Wilson, I.D. and Roach, P.A., (1999), Principles of combinatorial optimisation applied to containership stowage planning, Journal of Heuristics, 5/4, pp. 403-418.

Sivarajasingam V., Corcoran J., Jones D., Ware A., and Shepherd J., “Relations between violence, Calendar Events and Ambient Conditions”, International Journal of Care of the Injured, Vol. 35, 2004, pp 467- 473.

Wu Z.Q., Ware J.A., and Jiang J., “Adaptive contrast enhancement based on highly overlapped interpolation “Journal of Electronic Imaging, 2004, Article in press.

Bai J., Wild S., Ware J.A. and Sabir B.B., “Using Neural Networks to Predict the Workability of Concrete Incorporating Metakaoline and Fly Ash”, Journal of Advances in Engineering Software, Vol. 34, 2003, pp 663-669.

Wu Z.Q., Ware J.A., and Jiang J., “Wavelet-based Rayleigh Background Removal in MRI”, IEE Electronic Letters, Vol. 39. No. 7, 2003, pp 603-605.

Nolle.L, Armstrong.D.A, Hopgood.A.A, Ware.J.A. ‘Optimum Finishing Mill Set-up in the hot rolling of wide steel strip by
means of Computational Intelligence’ International Journal of Knowledge-Based Intelligent Engineering Systems, Vol. 6. No. 2, 2002, pp 104 – 111.

Lewis O.M., Ware J.A., Jenkins D. ‘Identification of Residential Property Sub-Markets using Evolutionary and Neural Computing Techniques’, The Journal of Neural Computing & Applications, Springer-Verlag, Vol. 10, 2001, pp 108-119.

Jarvis P.S., Wilson I.D., Kemp S.E., (2006), The Application of a New Attribute Selection Technique to the Forecasting of Housing Value Using Dependence Modelling, Journal of Neural Computing & Applications, 15(2), p136-153.

Weller, A.F., Harris, A.J., Ware, J.A., Jarvis, P.S. (2005). Determining the Saliency of Feature Measurements Obtained from Images of Sedimentary Organic Matter for Use in its Classification. Computers and Geosciences, 32(9), p. 1357-1367.

Conference refereed proceedings:

Betts, J. and Müller, B., Incorporating BDI-agent concepts into object-oriented programming. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, 2014. CEUR – Workshop Proceedings Vol-1269 (urn:nbn:de:0074-1269-2), pages 138-149. 2014.

Betts, J. and Müller, B., A multi-agent system framework for smart-home environments. In M. Köhler- Bußmeier, editor, LAM’13, 6th International Workshop on Logics, Agents, and Mobility. Symposium at the University of Applied Science Hamburg, Germany, 22 November 2013, pages 4–8, 2013.

Mulley, G., 2013. The Construction of a Predictive Collision 2D Game Engine. Eurosim 2013, 8th Eurosim Congress on Modelling and Simulation. Cardiff Wales, UK. 19-13 September.

Betts J., Müller, B., Engineering MAS – A Device Integration Framework for Smart Home Environments. In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013). Eds.: M. Szczuka, L. Czaja, M. Kacprzak. CEUR Workshop Proceedings vol. 1032, pages 15-26, 2013.

Bulling N., Müller (Farwer) B., On the (Un-)Decidability of Model-Checking Resource-Bounded Agents. In Proc, 19th European Conference on Artificial Intelligence (ECAI), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 567-572. IOS Press, 2010.

Bulling N., Müller (Farwer) B., Expressing properties of resource-bounded systems: The logics RTL and RTL* (revised and extended version). In J. Dix et al, editors, Computational Logic in Multi-Agent Systems. Post-Proceedings of CLIMA X. Volume 6214 of LNAI, pages 22-45, Springer 2010.

Bordini R. H., Dennis L. A., Müller (Farwer) B., Fisher M., Automated verification of multi-agent programs. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pages 69-78, 2008.

Shaw P., Müller (Farwer) B., Bordini R.H., Theoretical and Experimental Results on the Goal-Plan Tree Problem (Short Paper). AAMAS’08, Estoril, Portugal, pages 1379-1382, 2008.

Dennis L., Müller (Farwer) B., Bordini R.H., Fisher M., A Flexible Framework for Verifiable Agent Programming (Short Paper). AAMAS’08, Estoril, Portugal, pages 1303-1306, 2008.

Müller (Farwer) B., Köhler M., Object nets for mobility. In J. Kleijn and A. Yakolev, editors, Petri Nets and Other Models of Concurrency – ICATPN 2007, volume 4546 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2007.

Jarvis P.S., Wilson I.D. and Ware J.A, A Genetic Algorithm Approach to Attribute Selection Utilising the Gamma Test. In: Proceedings of AI2003 The Twenty-third International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, UK, December 10-12, 2003.

Kemp S.E., Roach P.A., Ware A.J. and Wilson I.D., Artificial Intelligence for Automatic Container Stowage Planning Optimisation. Proceedings of the 2nd International Euro Conference on Computer and IT Applications in the Maritime Industries, Hamburg, Germany, May 14-17, 2003

Jarvis, P. and Wilson, I.D., A Technique for Detecting Clusters within Spatial Data. In: Proceedings of the GIS Research UK 11th Annual Conference, 9-11 April, City University, London. Ed. Jo Wood. pp. 181-184, 2003.

Ware J.M., Wilson I.D., Ware J.A. and Jones C.B., A Tabu Search Approach to Automated Map Generalisation. In: ACM-GIS 2002, The 10th ACM International Symposium Advances in Geographic Information Systems, McLean, VA (near Washington, D.C.), November 8-9, 2002.

Ware J.M., Wilson I.D. and Ware J.A., A knowledge based genetic algorithm approach to automating cartographic generalization. In: Proceedings of ES2002 The Twenty-second International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, UK, December 10-12, 2002.

Wilson I.D., Paris S., Ware J.A. and Jenkins D.H., Residential Price Forecasting at National and Regional Levels, In: Proceedings of XXII FIG International Congress, ACSM-ASPRS Conference and Technology Exhibition, Washington, DC USA, April 19-26, 2002.

Wilson I.D., Paris S.D., Ware J.A. and Jenkins D.H., Residential Property Price Time Series Forecasting with Neural Networks. In: Proceedings of ES2001, The Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, UK, December 10-12, 2001.

Wilson, I.D., Jenkins D.H., Ware J.A. and Paris S.D., Time forecasting of residential house prices. In: Proceedings of: The Cutting Edge 2001, The Real Estate Research Conference of the RICS Research Foundation, 2001.

Wilson I.D., Roach P.A. and Ware J.A., Container Stowage Pre-planning: using search to generate solutions, a case study, In: Proceedings of ES2000, The Twentieth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Research and Development in Intelligent Systems XVII, Springer, pp. 349-362, 2000.

Wilson I.D. and Roach P.A., The Deep-sea Container-ship Stowage Problem: Modelling and Automating the Human Planning Process, In: Proceedings of the Second International ICSC Symposium on Intelligent Industrial Automation, ICSC, Canada/Switzerland, pp. 129-135, 1997.

Book chapters:

Bordini R. H., Dennis L., Müller (Farwer) B., Fisher M. Directions for Agent Model Checking. Book chapter in: Specification and Verification of Multi-agent Systems. Springer. 2010.

Editorships:

Müller, B. and Fitting, M. (Eds.), Fundamenta Informaticae 130 (2014) DOI 10.3233/FI-2014-979 IOS Press. Logics, Agents, and Mobility. Extended Papers from the International Workshops LAM’10 and LAM’11.