Research Output

Filter
Chapter
2020

Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study

Petrick, R. P. A. & Foster, M. E., 26 Mar 2020, Knowledge Engineering Tools and Techniques for AI Planning. Vallati, M. & Kitchin, D. (eds.). Springer, p. 261-277

Research output: Chapter in Book/Report/Conference proceedingChapter

2019

Case-based reasoning of a deep learning network for prediction of early stage of oesophageal cancer

Gao, X., Braden, B., Zhang, L., Taylor, S., Pang, W. & Pettdis, M., 22 Nov 2019, (Accepted/In press) Proceedings of the 24th UK Symposium on Case-Based Reasoning.

Research output: Chapter in Book/Report/Conference proceedingChapter

2018

Evolutionary Algorithms

Corne, D. & Lones, M. A., 22 Feb 2018, Handbook of Heuristics. Martí, R., Panos, P. & Resende, M. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

Medical Applications of Cartesian Genetic Programming

Smith, S. L. & Lones, M. A., 2018, Inspired by Nature. Stepney, S. & Adamatzky, A. (eds.). Springer, p. 247-266 20 p. (Emergence, Complexity and Computation; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapter

Microworlds, Objects First, Computational Thinking and Programming

Michaelson, G. J., Aug 2018, Computational Thinking in the STEM Disciplines: Foundations and Research Highlights. Khine, M. (ed.). Springer, p. 31-48 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Smart Animation Tools

Kenwright, B., 2018, Handbook of Research on Emergent Applications of Optimization Algorithms. IGI Global, p. 52-66 15 p. (Advances in Business Information Systems and Analytics (ABISA) Book Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

2017

Lightweight functional session types

Lindley, S. & Morris, J. G., 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 265-286 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

SkiROS—A skill-based robot control platform on top of ROS

Rovida, F., Crosby, M., Holz, D., Polydoros, A. S., Großmann, B., Petrick, R. P. A. & Krüger, V., 2017, Robot Operating System (ROS): The Complete Reference. Koubaa, A. (ed.). Springer International Publishing, Vol. 2. p. 121-160 40 p. (Studies in Computational Intelligence; vol. 707).

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)

Smart Community Energy Systems for Low Carbon Living

Peacock, A., Owens, E. H., Roaf, S. & Corne, D., 2017, Sustainable Buildings and Built Environments to Mitigate Climate Change in the Tropics: Conceptual and Practical Approaches. Karyono, T. H., Vale, R. & Vale, B. (eds.). Springer International Publishing, p. 91-100 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2016

A User-Centric Design of Service Robots Speech Interface for the Elderly

Wang, N., Broz, F., Di Nuovo, A., Belpaeme, T. & Cangelosi, A., 2016, Recent Advances in Nonlinear Speech Processing. Esposito, A., Faundez-Zanuy, M., Esposito, A. M., Cordasco, G., Drugman, T., Solé-Casals, J. & Morabito, F. C. (eds.). Springer International Publishing, Vol. Part VI. p. 275-283 9 p. (Smart Innovation, Systems and Technologies; vol. 48).

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Controlled biped balanced locomotion and climbing

Kenwright, B., 2016, Dynamic Balancing of Mechanisms and Synthesizing of Parallel Robots. Zhang, D. & Wei, B. (eds.). Springer, p. 447-456 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Experimental Evaluation of a Multi-modal User Interface for a Robotic Service

Di Nuovo, A., Wang, N., Broz, F., Belpaeme, T., Jones, R. & Cangelosi, A., 2016, Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016, Proceedings. Alboul, L., Damian, D. & Aitken, J. M. (eds.). 1 ed. Springer International Publishing, Vol. 9716. p. 87-98 12 p. (Lecture Notes in Artificial Intelligence; vol. 9716).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Extrinsic versus intrinsic evaluation of natural language generation for spoken dialogue systems and social robotics

Hastie, H., Cuayáhuitl, H., Dethlefs, N., Keizer, S. & Liu, X., 25 Dec 2016, Dialogues with Social Robots: Enablements, Analyses, and Evaluation. Jokinen, K. & Wilcock, G. (eds.). Springer, Vol. Part V. p. 303-311 9 p. (Lecture Notes in Electrical Engineering; vol. 999).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Games Robots Play: Once More, with Feeling

Aylett, R., 2016, Emotion in Games: Theory and Praxis. Karpouzis, K. & Yannakakis, G. N. (eds.). Springer, p. 289-302 14 p. (Socio-Affective Computing; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapter

Intelligent workflow management for Fish4Knowledge using the SWELL system

Nadarajan, G., Yang, C-L. & Chen-Burger, Y-H., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Fisher, R. B., Chen-Burger, Y-H., Giordano, D., Hardman, L. & Lin, F-P. (eds.). Springer International Publishing, p. 83-101 19 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

Overview of the fish4knowledge project

Fisher, R. B., Shao, K. T. & Chen-Burger, Y-H., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Springer International Publishing, p. 1-17 17 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Reflections on monadic lenses

Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 25 Mar 2016, A List of Successes that can Change the World: Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Springer, p. 1-31 31 p. (Lecture Notes in Computer Science; vol. 9600).

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

Semi-Automated Design Space Exploration for Formal Modelling

Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S. & Gow, J., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
17 Downloads (Pure)

Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons from Automated Planning

Foster, M. E. & Petrick, R. P. A., 25 Dec 2016, Dialogues with Social Robots: Enablements, Analyses, and Evaluation. Jokinen, K. & Wilcock, G. (eds.). Springer, p. 93-107 15 p. (Lecture Notes in Electrical Engineering; vol. 427).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

The fish4knowledge virtual world gallery

Chen-Burger, Y-H. & Tate, A., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Springer International Publishing, Vol. 104. p. 261-267 7 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

UC-B: Use case modelling with Event-B

Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
25 Downloads (Pure)
2015

A type-theoretic approach to resolution

Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 9527).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Emergent Narrative, Past, Present and Future of an Interactive Storytelling Approach

Louchart, S., Truesdale, J., Suttie, N. & Aylett, R., 2015, Interactive Digital Narrative: History, Theory and Practice. Koenitz, H., Ferri, G., Haahr, M., Sezen, D. & Sezen, T. İ. (eds.). Routledge, p. 185-199 15 p. (Routledge Studies in European Communication Research and Education).

Research output: Chapter in Book/Report/Conference proceedingChapter

Multimodal Action Recognition

Jia, C., Pang, W. & Fu, Y., 2015, Human Activity Recognition and Prediction. Fu, Y. (ed.). Switzerland: Springer International Publishing, p. 71-85 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Structural Resolution for Logic Programming

Johann, P., Komendantskaya, E. & Komendantskiy, V., 2015, Technical Communications of ICLP 2015. De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). CEUR-WS, 13 p. (CEUR Workshop Proceedings; vol. 1433).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
15 Downloads (Pure)
2014

A web based multi-modal interface for elderly users of the robot-era multi-robot services

Di Nuovo, A., Broz, F., Belpaeme, T., Cangelosi, A., Cavallo, F., Esposito, R. & Dario, P., 2014, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. Piscataway (New Jersey): IEEE, p. 2186-2191 6 p. 6974248. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 2014-January).

Research output: Chapter in Book/Report/Conference proceedingChapter

11 Citations (Scopus)

Towards comparative evaluation and shared tasks for NLG in interactive systems

Belz, A. & Hastie, H., Jul 2014, Natural Language Generation in Interactive Systems. Bangalore, S. & Stent, A. (eds.). Cambridge University Press, p. 302-350 49 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)
2013

Formalisation and verification of knowledge management in digital economy and organisations

Georgieva, L. & Zia, I., 2013, Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Springer, Vol. 462. p. 53-66 14 p. (Studies in Computational Intelligence; vol. 462).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Incorporating commercial and private data into an open linked data platform for drug discovery

Goble, C., Gray, A. J. G., Harland, L., Karapetyan, K., Loizou, A., Mikhailov, I., Rankka, Y., Senger, S., Tkachenko, V., Williams, A. J. & Willighagen, E. L., 2013, Incorporating commercial and private data into an open linked data platform for drug discovery. Springer, Vol. 8219. p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8219 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

ML4PG in Computer Algebra Verification

Heras, J. & Komendantskaya, E., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science; vol. 7961).

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Proof-Pattern Recognition and Lemma Discovery in ACL2

Heras, J., Komendantskaya, E., Johansson, M. & Maclean, E., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Springer, p. 389-406 18 p. (Lecture Notes in Computer Science; vol. 8312).

Research output: Chapter in Book/Report/Conference proceedingChapter

18 Citations (Scopus)
2012

Children as game designers – new narrative opportunities

Howells, C. & Robertson, J., 2012, Virtual literacies: Interactive spaces for children and young people. Merchant, G., Gillen, J., Davies, J. & Marsh, J. (eds.). London: Routledge, (Routledge Research in Education).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Metrics and evaluation of spoken dialogue systems

Hastie, H., 2012, Data-Driven Methods for Adaptive Spoken Dialogue Systems : Computational Learning for Conversational Interfaces. Lemon, O. & Pietquin, O. (eds.). Springer, p. 131-150 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Neural Networks for Proof-Pattern Recognition

Komendantskaya, E. & Lichota, K., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Villa, A. E. P., Duch, W., Érdi, P., Masulli, F. & Palm, G. (eds.). Springer, p. 427-434 8 p. (Lecture Notes in Computer Science; vol. 7553).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Practical introduction to rigid body linear complementary problem (LCP) constraint solvers

Kenwright, B. & Morgan, G., 2012, Algorithmic and Architectural Gaming Design: Implementation and Development. IGI Global, p. 159-201 43 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Reasoning about multi-process systems with the box calculus

Michaelson, G. J. & Grov, G., Jul 2012, Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Zsok, V., Horvath, Z. & Plasmeijer, R. (eds.). Springer, Vol. LNCS6241. p. 279-338 59 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

SOCIETIES: Where Pervasive Meets Social

Doolin, K., Roussaki, I., Roddy, M., Kalatzis, N., Papadopoulou, E., Taylor, N., Liampotis, N., McKitterick, D., Jennings, E. & Kosmides, P., 2012, The Future Internet: FIA 2012. Springer, p. 30-41 12 p. (Lecture Notes in Computer Science; vol. 7281).

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)
2011

Coalgebraic Derivations in Logic Programming

Komendantskaya, E. & Power, J., 2011, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 352-366 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 12).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
12 Citations (Scopus)
10 Downloads (Pure)

Coalgebraic Semantics for Derivations in Logic Programming

Komendantskaya, E. & Power, J., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Springer, p. 268-282 15 p. (Lecture Notes in Computer Science; vol. 6859).

Research output: Chapter in Book/Report/Conference proceedingChapter

14 Citations (Scopus)

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

Komendantskaya, E., McCusker, G. & Power, J., 2011, Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Johnson, M. & Pavlovic, D. (eds.). Springer, p. 111-127 17 p. (Lecture Notes in Computer Science; vol. 6486).

Research output: Chapter in Book/Report/Conference proceedingChapter

11 Citations (Scopus)
2010

IS degrees – sociotechnical or technosocial?

Coady, J. & Pooley, R. J., 2010, Information Systems Development: Towards a Service Provision Society. Papadopoulos, G. A., Wojtkowski, W., Wojtkowski, G., Wrycza, S. & Zupancic, J. (eds.). p. 885-890 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

Komendantskaya, E., Broda, K. & Garcez, A. DA., 2010, Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Diamantaras, K., Duch, W. & Iliadis, L. S. (eds.). Springer, p. 301-304 4 p. (Lecture Notes in Computer Science; vol. 6352).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Self-improving personal smart spaces for pervasive service provision

Roussaki, I. G., Kalatzis, N. K., Doolin, K. J., Taylor, N. K., Spadotto, G. P., Liampotis, N. D. & Williams, M. H., 2010, Towards the Future Internet: Emerging Trends from European Research. IOS Press, p. 193-203 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
9 Citations (Scopus)
2009

Neurons or Symbols: Why does OR Remain Exclusive?

Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 502-507 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Parallel Rewriting in Neural Networks

Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 452-458 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Using structural recursion for corecursion

Bertot, Y. & Komendantskaya, E., 2009, Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berardi, S., Damiani, F. & de’Liguoro, U. (eds.). Springer, p. 220-236 17 p. (Lecture Notes in Computer Science; vol. 5497).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)
2008

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

Komendantskaya, E. & Power, J., 2008, Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Hölldobler, S., Lutz, C. & Wansing, H. (eds.). Springer, p. 258-271 14 p. (Lecture Notes in Computer Science; vol. 5293).

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)
2007

Connectionist Representation of Multi-Valued Logic Programs

Komendantskaya, E., Lane, M. & Seda, A. K., 2007, Perspectives of Neural-Symbolic Integration. Hammer, B. & Hitzler, P. (eds.). Springer, p. 283-313 31 p. (Studies in Computational Intelligence; vol. 77).

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Extensional Rewriting with Sums

Lindley, S., 2007, Typed Lambda Calculi and Applications: TLCA 2007. Springer, p. 255-271 17 p. (Lecture Notes in Computer Science; vol. 4583).

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Citations (Scopus)

Narrative Structure of Mathematical Tents

Kamareddine, F. D., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573. p. 296-312 (Lecture Notes in Computer Science; vol. 4573).

Research output: Chapter in Book/Report/Conference proceedingChapter