???global.info.a_carregar???
I am a Professor in Applied Computational Logic in the Department of Computing, Imperial College London, where I lead the Structured and Probabilistic Knowledge Engineering (SPIKE) research group. I have pioneered several state-of-the-art symbolic machine learning systems and widely applied them to the areas of Intelligent Adaptive Systems, Security, Network Management, Distributed Control Systems for Sensor Networks, and System Biology. My broad research interests include Computational Logic, Planning, Symbolic Machine Learning, Probabilistic and Distributed Inference. The SPIKE group has developed LAS (Learning from Answer Sets) system, a state-of-the-art system for learning interpretable knowledge from labelled data, and more recently explored novel methodologies for neuro-symbolic learning that integrate machine learning and probabilistic inference with symbolic learning to support generalisation and transfer learning from multimodal unstructured data. I have published more than 150 referred papers in top-tier AI and top-tier Software Engineering conferences and journals, have been Editor-in-Chief of the IET Software Journal and Associated Editor of the ACM Computing Survey Journal. I am Fellow BCS, and Associate Editor of the TPLP journal for the area of Logic and Machine Learning.
Read full resume ↓
Identification

Personal identification

Full name
Alessandra Russo

Citation names

  • Russo, Alessandra

Author identifiers

Ciência ID
4B1D-0D7E-972D
ORCID iD
0000-0002-3318-8711

Telephones

Mobile phone
  • (+44) 7855771801 (Personal)

Addresses

  • 180 Queen's Gate, department of Computing, Imperial College London, SW7 2AZ, London, London, United Kingdom (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Italian (Mother tongue)
French Elementary (A2) Advanced (C1) Intermediate (B1) Elementary (A2) Elementary (A2)
Education
Degree Classification
1991/10/01 - 1996/03/01
Concluded
 PhD in Mathematical Logic (Doctor of Philosophy)
Imperial College London, United Kingdom
"Modal Logic as Labelled deductive Systems" (THESIS/DISSERTATION)
1985/10/01 - 1990/06/01
Concluded
 Laurea in Scienze dell'Informazione (Laurea)
Università degli Studi di Bari Aldo Moro, Italy
"Formal representation of teaching principles and student models for intelligent tutoring systems" (THESIS/DISSERTATION)
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2016/10/01 - Current Full Professor (University Teacher) Imperial College London, United Kingdom
Imperial College London, United Kingdom
2010/10/01 - 2016/09/30 Associate Professor (University Teacher) Imperial College London, United Kingdom
Imperial College London, United Kingdom
2006/10/01 - 2010/09/30 Assistant Professor (University Teacher) Imperial College London, United Kingdom
Imperial College London, United Kingdom
2001/03/01 - 2006/09/30 Lecturer (University Teacher) Imperial College London, United Kingdom
Imperial College London, United Kingdom
Projects

Grant

Designation Funders
2019/01 - 2022/07 RADON-Rational decomposition and orchestration for serverless computing.
825040
 European Commission
2021/01/01 - 2021/06/30 Predicting long-Covid from enhanced remote primary care EHR data.
HDRUK: Fast Funding Call
Principal investigator
Imperial College London, United Kingdom
Concluded
2020/01/01 - 2021/06/30 A Neural-Symbolic Learning of Generative Policies in Coalition Environments
BBP2020
Principal investigator
Imperial College London, United Kingdom
 IBM Research
Concluded
2018/01/01 - 2020/01/01 Generative Policies Analytics - Theories, Methods and Tools
BBP18
Principal investigator
Imperial College London, United Kingdom
 IBM Research
Concluded
2014/05/01 - 2017/04 CIPART: CLOUD INTELLIGENT PROTECTION AT RUN-TIME
EP/L022729/1
Principal investigator
Imperial College London, United Kingdom
 Engineering and Physical Sciences Research Council
Concluded
2013/11 - 2016/10 Privacy Dynamics: Learning from the Wisdom of Groups
EP/K033433/1
 Engineering and Physical Sciences Research Council
2013/02/01 - 2016/01/30 ALLOW Ensembles
600792
Principal investigator
Imperial College London, United Kingdom
 European Commission Seventh Framework Programme for Research and Technological Development
Concluded
2007/08/01 - 2012/07/30 AEDUS2: Adaptable Environments for Distributed Ubiquitous Systems
EP/E025188/1
Principal investigator
Engineering and Physical Sciences Research Council
Concluded
2008/04/01 - 2011/03/30 PRIMMA: Privacy Rights Management for Mobile Applications
EP/K033425/1
Principal investigator
Imperial College London, United Kingdom
 Engineering and Physical Sciences Research Council
Concluded
Outputs

Publications

Book
  1. Abu Jabal, A.; Bertino, E.; Lobo, J.; Law, M.; Russo, A.; Calo, S.; Verma, D.. Polisma - a framework for learning attribute-based access control policies. 2020.
    10.1007/978-3-030-58951-6_26
  2. Calo, S.; Manotas, I.; de Mel, G.; Cunnington, D.; Law, M.; Verma, D.; Russo, A.; Bertino, E.. AGENP: An ASGrammar-based GENerative Policy Framework. 2019.
    10.1007/978-3-030-17277-0_1
  3. Law, M.; Russo, A.; Broda, K.. Logic-Based Learning of Answer Set Programs. 2019.
    10.1007/978-3-030-31423-1_6
  4. Alrajeh, D.; Russo, A.. Logic-based learning: Theory and application. 2018.
    10.1007/978-3-319-96562-8_9
  5. Russo, A.; Schürr, A.. Preface. 2018.
  6. Cussens, J.; Russo, A.. Preface. 2017.
  7. Athakravi, D.; Satoh, K.; Law, M.; Broda, K.; Russo, A.. Automated inference of rules with exception from past legal cases using ASP. 2015.
    10.1007/978-3-319-23264-5_8
  8. Athakravi, D.; Alrajeh, D.; Broda, K.; Russo, A.; Satoh, K.. Inductive learning using constraint-driven bias. 2015.
    10.1007/978-3-319-23708-4_2
  9. Lavygina, A.; Russo, A.; Dulay, N.. Integrating privacy and safety criteria into planning tasks. 2015.
    10.1007/978-3-319-24858-5_2
  10. Law, M.; Russo, A.; Broda, K.. Inductive learning of answer set programs. 2014.
    10.1007/978-3-319-11558-0_22
  11. Athakravi, D.; Corapi, D.; Broda, K.; Russo, A.. Learning through hypothesis refinement using answer set programming. 2014.
    10.1007/978-3-662-44923-3_3
  12. Maimari, N.; Broda, K.; Kakas, A.; Krams, R.; Russo, A.. Symbolic Representation and Inference of Regulatory Network Structures. 2014.
  13. Markitanis, A.; Corapi, D.; Russo, A.; Lupu, E.C.. Learning user behaviours in real mobile domains. 2014.
  14. Athakravi, D.; Corapi, D.; Russo, A.; De Vos, M.; Padget, J.; Satoh, K.. Handling change in normative specifications. 2013.
    10.1007/978-3-642-37890-4_1
  15. Maimari, N.; Turliuc, C.-R.; Broda, K.; Kakas, A.; Krams, R.; Russo, A.. ARNI: Abductive inference of complex regulatory network structures. 2013.
  16. Turliuc, C.-R.; Maimari, N.; Russo, A.; Broda, K.. On minimality and integrity constraints in probabilistic abduction. 2013.
    10.1007/978-3-642-45221-5_51
  17. Lobo, J.; Ma, J.; Russo, A.; Le, F.. Declarative distributed computing. 2012.
    10.1007/978-3-642-30743-0_31
  18. Corapi, D.; Russo, A.; Lupu, E.. Inductive logic programming in answer set programming. 2012.
    10.1007/978-3-642-31951-8_12
  19. Alrajeh, D.; Russo, A.; Uchitel, S.; Kramer, J.. Integrating model checking and inductive logic programming. 2012.
    10.1007/978-3-642-31951-8_9
  20. Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.. Learning from vacuously satisfiable scenario-based specifications. 2012.
    10.1007/978-3-642-28872-2_26
  21. Corapi, D.; De Vos, M.; Padget, J.; Russo, A.; Satoh, K.. Norm refinement and design through inductive learning. 2011.
    10.1007/978-3-642-21268-0_5
  22. Maggi, F.M.; Corapi, D.; Russo, A.; Lupu, E.; Visaggio, G.. Revising process models through inductive learning. 2011.
    10.1007/978-3-642-20511-8_16
  23. Corapi, D.; Sykes, D.; Inoue, K.; Russo, A.. Probabilistic rule learning in nonmonotonic domains. 2011.
    10.1007/978-3-642-22359-4_17
  24. Ma, J.; Broda, K.; Russo, A.; Lupu, E.. Distributed abductive reasoning with constraints. 2011.
    10.1007/978-3-642-20715-0_9
  25. Lobo, J.; Ma, J.; Russo, A.; Lupu, E.; Calo, S.; Sloman, M.. Refinement of history-based policies. 2011.
    10.1007/978-3-642-20832-4_18
  26. Ma, J.; Russo, A.; Broda, K.; Hosobe, H.; Satoh, K.. On the implementation of speculative constraint processing. 2010.
    10.1007/978-3-642-16867-3_10
  27. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Conclusions and discussions. 2010.
    10.1007/978-3-642-14159-1_9
  28. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Structured revision: Non-linear methods for information change. 2010.
    10.1007/978-3-642-14159-1_5
  29. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Object-level deletion. 2010.
    10.1007/978-3-642-14159-1_8
  30. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Revision by translation. 2010.
    10.1007/978-3-642-14159-1_7
  31. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Algorithmic context revision. 2010.
    10.1007/978-3-642-14159-1_6
  32. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Iterating revision. 2010.
    10.1007/978-3-642-14159-1_4
  33. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Stepwise revision operations. 2010.
    10.1007/978-3-642-14159-1_3
  34. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Introducing revision theory. 2010.
    10.1007/978-3-642-14159-1_2
  35. Gabbay, D.M.; Rodrigues, O.T.; Russo, A.. Background and overview. 2010.
    10.1007/978-3-642-14159-1_1
  36. Ma, J.; Broda, K.; Goebel, R.; Hosobe, H.; Russo, A.; Satoh, K.. Speculative abductive reasoning for hierarchical agent systems. 2010.
    10.1007/978-3-642-14977-1_7
  37. Calo, S.B.; Karat, C.-M.; Karat, J.; Lobo, J.; Craven, R.; Lupu, E.; Ma, J.; et al. Policy technologies for security management in coalition networks. 2010.
  38. Dickens, L.; Broda, K.; Russo, A.. The dynamics of multi-agent reinforcement learning. 2010.
    10.3233/978-1-60750-606-5-367
  39. Kimber, T.; Broda, K.; Russo, A.. Induction on failure: Learning connected horn theories. 2009.
    10.1007/978-3-642-04238-6_16
  40. Corapi, D.; Ray, O.; Russo, A.; Bandara, A.; Lupu, E.. Learning rules from user behaviour. 2009.
    10.1007/978-1-4419-0221-4_54
  41. Broda, K.; Clark, K.; Miller, R.; Russo, A.. SAGE: A logical agent-based environment monitoring and control system. 2009.
    10.1007/978-3-642-05408-2_14
  42. Alrajeh, D.; Russo, A.; Uchitel, S.. Deriving non-zeno behavior models from goal models using ILP. 2008.
    10.1007/978-3-540-78743-3_1
  43. Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S.. Extracting requirements from scenarios with ILP. 2007.
    10.1007/978-3-540-73847-3_14
  44. Bandara, A.K.; Kakas, A.; Lupu, E.C.; Russo, A.. Using argumentation logic for firewall policy specification and analysis. 2006.
    10.1007/11907466_16
  45. Ray, O.; Broda, K.; Russo, A.. Generalised Kernel Sets for Inverse Entailment. 2004.
    10.1007/978-3-540-27775-0_12
  46. Rodrigues, O.; Garcez, A.D.; Russo, A.. Reasoning about requirements evolution using clustered belief revision. 2004.
    10.1007/978-3-540-28645-5_5
  47. Russo, A.; Miller, R.; Nuseibeh, B.; Kramer, J.. An abductive approach for analysing event-based requirements specifications. 2002.
    10.1007/3-540-45619-8_3
Conference paper
  1. Cunnington, D.; Law, M.; Russo, A.; Lobo, J.; Kaplan, L.. "Towards Neural-Symbolic Learning to support Human-Agent Operations". 2021.
  2. Cingillioglu, N.; Russo, A.. "pix2rule: End-to-end neuro-symbolic rule learning". 2021.
  3. Strömfelt, H.; Dickens, L.; d’Avila Garcez, A.; Russo, A.. "Coherent and consistent relational transfer learning with auto-encoders". 2021.
  4. Al-Negheimish, H.; Madhyastha, P.; Russo, A.. "Discrete reasoning templates for natural language understanding". 2021.
  5. Verma, D.C.; Bertino, E.; Russo, A.; Calo, S.; Singla, A.. "Policy-based ensembles for multi domain operations". 2020.
    10.1117/12.2558727
  6. Lobo, J.; Bertino, E.; Russos, A.. "On security policy migrations". 2020.
    10.1145/3381991.3395613
  7. Gomoluch, P.; Alrajeh, D.; Russo, A.; Bucchiarone, A.. "Learning neural search policies for classical planning". 2020.
  8. Cingillioglu, N.; Russo, A.. "Learning invariants through soft unification". 2020.
  9. Aspis, Y.; Broda, K.; Russo, A.; Lobo, J.. "Stable and supported semantics in continuous vector spaces". 2020.
  10. Furelos-Blanco, D.; Law, M.; Russo, A.; Broda, K.; Jonsson, A.. "Induction of subgoal automata for reinforcement learning". 2020.
  11. Law, M.; Russo, A.; Bertino, E.; Broda, K.; Lobo, J.. "FastLAS: Scalable inductive logic programming incorporating domain-specific optimisation criteria". 2020.
  12. Tuckey, D.; Broda, K.; Russo, A.. "Towards Structure Learning under the Credal Semantics". 2020.
  13. Cunnington, D.; Manotas, I.; Law, M.; De Mel, G.; Calo, S.; Bertino, E.; Russo, A.. "A Generative Policy Model for Connected and Autonomous Vehicles". 2019.
    10.1109/ITSC.2019.8916782
  14. White, G.; Ingham, J.; Law, M.; Russo, A.. "Using an ASG based generative policy to model human rules". 2019.
    10.1109/SMARTCOMP.2019.00036
  15. Cunnington, D.; Law, M.; Russo, A.; Bertino, E.; Calo, S.. "Towards a Neural-Symbolic Generative Policy Model". 2019.
    10.1109/BigData47090.2019.9005569
  16. White, G.; Cunnington, D.; Law, M.; Bertino, E.; De Mel, G.; Russo, A.. "A comparison between statistical and symbolic learning approaches for generative policy models". 2019.
    10.1109/ICMLA.2019.00214
  17. Dumas, M.; Pfahl, D.; Apel, S.; Russo, A.. "Message from the Chairs". 2019.
  18. Gomoluch, P.; Alrajeh, D.; Russo, A.. "Learning classical planning strategies with policy gradient". 2019.
  19. Law, M.; Russo, A.; Bertino, E.; Broda, K.; Lobo, J.. "Representing and learning grammars in answer set programming". 2019.
  20. Cingillioglu, N.; Russo, A.. "DeepLogic: Towards end-to-end differentiable logical reasoning". 2019.
  21. Verma, D.; Calo, S.; Bertino, E.; Russo, A.; White, G.. "Policy based Ensembles for applying ML on Big Data". 2019.
    10.1109/BigData47090.2019.9006193
  22. Bertino, E.; White, G.; Lobo, J.; Ingham, J.; Cirincione, G.H.; Russo, A.; Law, M.; et al. "Generative policies for coalition systems - A symbolic learning framework". 2019.
    10.1109/ICDCS.2019.00158
  23. Wu, B.; Russo, A.; Law, M.; Inoue, K.. "Learning commonsense knowledge through interactive dialogue". 2018.
    10.4230/OASIcs.ICLP.2018.12
  24. Aspis, Y.; Broda, K.; Russo, A.. "Tensor-based abduction in horn propositional programs". 2018.
  25. Rafiq, Y.; Dickens, L.; Russo, A.; Bandara, A.K.; Yang, M.; Stuart, A.; Levine, M.; et al. "Learning to share: Engineering adaptive decision-support for online social networks". 2017.
    10.1109/ASE.2017.8115641
  26. Dragiev, S.; Russo, A.; Broda, K.; Law, M.; Turliuc, R.. "An abductive-inductive algorithm for probabilistic inductive logic programming". 2017.
  27. Al-Negheimish, H.; Russo, A.. "Reduction of ILP search space with bottom-up propositionalisation". 2017.
  28. Cussens, J.; Russo, A.. "Preface". 2017.
  29. Chabierski, P.; Russo, A.; Law, M.; Broda, K.. "Machine comprehension of text using combinatory categorial grammar and answer set programs". 2017.
  30. Bertino, E.; De Mel, G.; Russo, A.; Calo, S.; Verma, D.. "Community-based self generation of policies and processes for assets: Concepts and research directions". 2017.
    10.1109/BigData.2017.8258265
  31. Rankothge, W.; Le, F.; Russo, A.; Lobo, J.. "Experimental results on the use of genetic algorithms for scaling virtualized network functions". 2016.
    10.1109/NFV-SDN.2015.7387405
  32. Alrajeh, D.; Van Lamsweerde, A.; Kramer, J.; Russo, A.; Uchitel, S.. "Risk-driven revision of requirements models". 2016.
    10.1145/2884781.2884838
  33. Calikli, G.; Law, M.; Bandara, A.K.; Russo, A.; Dickens, L.; Price, B.A.; Stuart, A.; Levine, M.; Nuseibeh, B.. "Privacy dynamics: Learning privacy norms for social software". 2016.
    10.1145/2897053.2897063
  34. Alrajeh, D.; Russo, A.; Uchitel, S.; Kramer, J.. "Logic-based learning in software engineering". 2016.
    10.1145/2889160.2891050
  35. Bikakis, A.; Caire, P.; Clark, K.; Cornelius, G.; Ma, J.; Miller, R.; Russo, A.; Voos, H.. "Collaborative explanation and response in assisted living environments enhanced with humanoid robots". 2016.
    10.5220/0005823405060511
  36. Ma, J.; Le, F.; Russo, A.; Lobo, J.. "Detecting distributed signature-based intrusion: The case of multi-path routing attacks". 2015.
    10.1109/INFOCOM.2015.7218423
  37. Rankothge, W.; Ma, J.; Le, F.; Russo, A.; Lobo, J.. "Towards making network function virtualization a cloud computing service". 2015.
    10.1109/INM.2015.7140280
  38. Bucchiarone, A.; Dulay, N.; Lavygina, A.; Marconi, A.; Raik, H.; Russo, A.. "An approach for collective adaptation in socio-technical systems". 2015.
    10.1109/SASOW.2015.12
  39. Turliuc, C.R.; Dickens, L.; Russo, A.; Broda, K.. "Probabilistic abductive logic programming using Dirichlet priors". 2015.
  40. Smith, J.; Russo, A.; Lavygina, A.; Dulay, N.. "When did your smartphone bother you last?". 2014.
    10.1145/2638728.2641701
  41. Smith, J.; Lavygina, A.; Ma, J.; Russo, A.; Dulay, N.. "Learning to recognise disruptive smartphone notifications". 2014.
    10.1145/2628363.2628404
  42. Sykes, D.; Corapi, D.; Magee, J.; Kramer, J.; Russo, A.; Inoue, K.. "Learning revised models for planning in adaptive systems". 2013.
    10.1109/ICSE.2013.6606552
  43. Alrajeh, D.; Russo, A.; Lockerbie, J.; Maiden, N.; Mavin, A.; Novak, M.. "Computational alignment of goals and scenarios for complex systems". 2013.
    10.1109/ICSE.2013.6606690
  44. Becker, M.Y.; Russo, A.; Sultana, N.. "Foundations of logic-based trust management". 2012.
    10.1109/SP.2012.20
  45. Dickens, L.; Molloy, I.; Lobo, J.; Cheng, P.-C.; Russo, A.. "Learning stochastic models of information flow". 2012.
    10.1109/ICDE.2012.103
  46. Alrajeh, D.; Kramer, J.; Van Lamsweerde, A.; Russo, A.; Uchitel, S.. "Generating obstacle conditions for requirements completeness". 2012.
    10.1109/ICSE.2012.6227147
  47. Athakravi, D.; Broda, K.; Russo, A.. "Predicate invention in inductive logic programming". 2012.
    10.4230/OASIcs.ICCSW.2012.15
  48. Martinelli, F.; Olmedilla, D.; Russo, A.. "Proceedings - 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011: Preface". 2011.
    10.1109/POLICY.2011.4
  49. Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.. "An Inductive approach for modal transition system refinement". 2011.
  50. Ma, J.; Russo, A.; Broda, K.; Lupu, E.C.. "Multi-agent confidential abductive reasoning". 2011.
  51. Craven, R.; Lobo, J.; Lupu, E.; Russo, A.; Sloman, M.. "Policy refinement: Decomposition and operationalization for dynamic domains". 2011.
  52. Ma, J.; Russo, A.; Broda, K.; Lupu, E.. "Multi-agent abductive reasoning with confidentiality". 2011.
  53. Corapi, D.; Russo, A.; Lupu, E.. "Inductive logic programming as abductive search". 2010.
    10.4230/LIPIcs.ICLP.2010.54
  54. Craven, R.; Lobo, J.; Lupu, E.; Russo, A.; Sloman, M.. "Decomposition techniques for policy refinement". 2010.
    10.1109/CNSM.2010.5691331
  55. Ahmad, M.; Alexandrou, I.; Al-Nuaimy, W.; Amavasai, B.P.; An, Y.-Y.; Ariwa, E.; Arteche, J.; et al. "WCE 2010 - World Congress on Engineering 2010: Preface". 2010.
  56. Corapi, D.; De Vos, M.; Padget, J.; Russo, A.; Satoh, K.. "Norm refinement and design through inductive learning". 2010.
  57. Korsunsky, A.M.; Hunter, A.; Hukins, D.W.L.; Gelman, L.; Hogger, C.J.; Ceglarek, D.J.; Payne, S.; et al. "WCE 2010 - World Congress on Engineering 2010: Preface". 2010.
  58. Bandara, A.K.; Kakas, A.C.; Lupu, E.C.; Russo, A.. "Using argumentation logic for firewall configuration management". 2009.
    10.1109/INM.2009.5188808
  59. Craven, R.; Lobo, J.; Ma, J.; Russo, A.; Lupu, E.; Bandara, A.. "Expressive policy analysis with enhanced system dynamicity". 2009.
    10.1145/1533057.1533091
  60. Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.. "Learning operational requirements from goal models". 2009.
    10.1109/ICSE.2009.5070527
  61. Craven, R.; Lobo, J.; Lupu, E.; Russo, A.; Sloman, M.. "Security policy refinement using data integration: A position paper". 2009.
    10.1145/1655062.1655068
  62. Ma, J.; Russo, A.; Broda, K.; Lupu, E.. "Multi-agent planning with confidentiality". 2009.
  63. Dickens, L.; Broda, K.; Russo, A.. "Modelling MAS with finite analytic stochastic processes". 2008.
  64. Ma, J.; Broda, K.; Russo, A.; Clark, K.. "A dynamic system for distributed reasoning". 2008.
  65. Bandara, A.K.; Russo, A.; Lupu, E.C.. "Towards learning privacy policies". 2007.
    10.1109/POLICY.2007.45
  66. Alrajeh, D.; Russo, A.; Uchitel, S.. "Inferring operational requirements from scenarios and goal models using inductive learning". 2006.
    10.1145/1138953.1138960
  67. Charalambides, M.; Flegkas, P.; Pavlou, G.; Rubio-Loyola, J.; Bandara, A.K.; Lupu, E.C.; Russo, A.; Sloman, M.; Dulay, N.. "Dynamic policy analysis and conflict resolution for DiffServ quality of service management". 2006.
    10.1109/noms.2006.1687560
  68. Charalambides, M.; Flegkas, P.; Pavlou, G.; Bandara, A.K.; Lupu, E.C.; Russo, A.; Dulay, N.; Sloman, M.; Rubio-Loyola, J.. "Policy conflict analysis for quality of service management". 2005.
    10.1109/POLICY.2005.23
  69. Heaven, W.; Russo, A.. "Enhancing the alloy analyzer with patterns of analysis". 2005.
  70. Bandara, A.; Lupu, E.; Russo, A.; Dulay, N.; Sloman, M.; Flegkas, P.; Charalambides, M.; Pavlou, G.. "Policy refinement for DiffServ quality of service management". 2005.
    10.1109/INM.2005.1440817
  71. Bandara, A.K.; Lupu, E.C.; Moffett, J.; Russo, A.. "A goal-based approach to policy refinement". 2004.
    10.1109/POLICY.2004.1309175
  72. Bandara, A.K.; Lupu, E.C.; Russo, A.. "Using event calculus to formalise policy specification and analysis". 2003.
    10.1109/POLICY.2003.1206955
  73. Ray, O.; Broda, K.; Russo, A.. "Hybrid abductive inductive learning: A generalisation of progol". 2003.
    10.1007/978-3-540-39917-9_21
  74. d'Avila Garcez, A.S.; Russo, A.; Nuseibeh, B.; Kramer, J.. "An analysis-revision cycle to evolve requirements specifications". 2001.
    10.1109/ASE.2001.989828
  75. Russo, Alessandra; Nuseibeh, Bashar; Kramer, Jeff. "Restructuring requirements specifications for managing inconsistency and change: A case study". 1998.
  76. Nuseibeh, B.; Russo, A.. "On the consequences of acting in the presence of inconsistency". 1998.
    10.1109/iwssd.1998.667933
Journal article
  1. Furelos-Blanco, Daniel; Law, Mark; Jonsson, Anders; Broda, Krysia; Russo, Alessandra. "Induction and Exploitation of Subgoal Automata for Reinforcement Learning". Journal of Artificial Intelligence Research 70 (2021): 1031-1116. http://dx.doi.org/10.1613/jair.1.12372.
    10.1613/jair.1.12372
  2. Koschate, M.; Naserian, E.; Dickens, L.; Stuart, A.; Russo, A.; Levine, M.. "ASIA: Automated Social Identity Assessment using linguistic style". Behavior Research Methods 53 4 (2021): 1762-1781. http://www.scopus.com/inward/record.url?eid=2-s2.0-85100761038&partnerID=MN8TOARS.
    10.3758/s13428-020-01511-3
  3. Furelos-Blanco, D.; Law, M.; Jonsson, A.; Broda, K.; Russo, A.. "Induction and exploitation of subgoal automata for reinforcement learning". Journal of Artificial Intelligence Research 70 (2021): 1031-1116. http://www.scopus.com/inward/record.url?eid=2-s2.0-85103651671&partnerID=MN8TOARS.
    10.1613/JAIR.1.12372
  4. Russo, A.; Schürr, A.. "Model-based software quality assurance tools and techniques presented at FASE 2018". International Journal on Software Tools for Technology Transfer 22 1 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85074503215&partnerID=MN8TOARS.
    10.1007/s10009-019-00541-3
  5. Ricca, F.; Russo, A.. "Introduction to the 36th International Conference on Logic Programming Special Issue i". Theory and Practice of Logic Programming 20 5 (2020): 587-592. http://www.scopus.com/inward/record.url?eid=2-s2.0-85091997160&partnerID=MN8TOARS.
    10.1017/S1471068420000149
  6. Casale, G.; Artac, M.; van den Heuvel, W.-J.; van Hoorn, A.; Jakovits, P.; Leymann, F.; Long, M.; et al. "RADON: rational decomposition and orchestration for serverless computing". Software-Intensive Cyber-Physical Systems 35 1-2 (2020): 77-87. http://www.scopus.com/inward/record.url?eid=2-s2.0-85071490657&partnerID=MN8TOARS.
    10.1007/s00450-019-00413-w
  7. Ricca, F.; Russo, A.. "Introduction to the 36th International Conference on Logic Programming Special Issue II". Theory and Practice of Logic Programming 20 6 (2020): 815-817. http://www.scopus.com/inward/record.url?eid=2-s2.0-85091991451&partnerID=MN8TOARS.
    10.1017/S1471068420000150
  8. Russo, A.; Schürr, A.; Wehrheim, H.. "Editorial". Formal Aspects of Computing 31 5 (2019): 457-458. http://www.scopus.com/inward/record.url?eid=2-s2.0-85074829715&partnerID=MN8TOARS.
    10.1007/s00165-019-00495-y
  9. Jabal, A.A.; Davari, M.; Bertino, E.; Makaya, C.; Calo, S.; Verma, D.; Russo, A.; Williams, C.. "Methods and tools for policy analysis". ACM Computing Surveys 51 6 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85061239208&partnerID=MN8TOARS.
    10.1145/3295749
  10. Law, M.; Russo, A.; Broda, K.. "The complexity and generality of learning answer set programs". Artificial Intelligence 259 (2018): 110-146. http://www.scopus.com/inward/record.url?eid=2-s2.0-85044620722&partnerID=MN8TOARS.
    10.1016/j.artint.2018.03.005
  11. Cussens, J.; Russo, A.. "Preface to the special issue on inductive logic programming". Machine Learning 107 7 (2018): 1095-1096. http://www.scopus.com/inward/record.url?eid=2-s2.0-85048051841&partnerID=MN8TOARS.
    10.1007/s10994-018-5720-6
  12. Rankothge, W.; Le, F.; Russo, A.; Lobo, J.. "Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms". IEEE Transactions on Network and Service Management 14 2 (2017): 343-356. http://www.scopus.com/inward/record.url?eid=2-s2.0-85020915648&partnerID=MN8TOARS.
    10.1109/TNSM.2017.2686979
  13. Law, M.; Russo, A.; Broda, K.. "Iterative Learning of Answer Set Programs from Context Dependent Examples". Theory and Practice of Logic Programming 16 5-6 (2016): 834-848. http://www.scopus.com/inward/record.url?eid=2-s2.0-84991490148&partnerID=MN8TOARS.
    10.1017/S1471068416000351
  14. Turliuc, C.R.; Dickens, L.; Russo, A.; Broda, K.. "Probabilistic abductive logic programming using Dirichlet priors". International Journal of Approximate Reasoning 78 (2016): 223-240. http://www.scopus.com/inward/record.url?eid=2-s2.0-84980322260&partnerID=MN8TOARS.
    10.1016/j.ijar.2016.07.001
  15. Maimari, N.; Pedrigi, R.M.; Russo, A.; Broda, K.; Krams, R.. "Integration of flow studies for robust selection of mechanoresponsive genes". Thrombosis and Haemostasis 115 3 (2016): 474-483. http://www.scopus.com/inward/record.url?eid=2-s2.0-84959552438&partnerID=MN8TOARS.
    10.1160/TH15-09-0704
  16. Ma, J.; Le, F.; Russo, A.; Lobo, J.. "Declarative Framework for Specification, Simulation and Analysis of Distributed Applications". IEEE Transactions on Knowledge and Data Engineering 28 6 (2016): 1489-1502. http://www.scopus.com/inward/record.url?eid=2-s2.0-84968735579&partnerID=MN8TOARS.
    10.1109/TKDE.2016.2515604
  17. Law, M.; Russo, A.; Broda, K.. "Learning weak constraints in answer set programming". Theory and Practice of Logic Programming 15 4-5 (2015): 511-525. http://www.scopus.com/inward/record.url?eid=2-s2.0-84948397540&partnerID=MN8TOARS.
    10.1017/S1471068415000198
  18. Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.. "Automated support for diagnosis and repair". Communications of the ACM 58 2 (2015): 65-72. http://www.scopus.com/inward/record.url?eid=2-s2.0-84922569005&partnerID=MN8TOARS.
    10.1145/2658986
  19. Ma, J.; Le, F.; Wood, D.; Russo, A.; Lobo, J.. "A declarative approach to distributed computing: Specification, execution and analysis". Theory and Practice of Logic Programming 13 4-5 (2013): 815-830. http://www.scopus.com/inward/record.url?eid=2-s2.0-84884759728&partnerID=MN8TOARS.
    10.1017/S1471068413000513
  20. Uchitel, S.; Alrajeh, D.; Ben-David, S.; Braberman, V.; Chechik, M.; De Caso, G.; D'Ippolito, N.; et al. "Supporting incremental behaviour model elaboration". Computer Science - Research and Development 28 4 (2013): 279-293. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886090632&partnerID=MN8TOARS.
    10.1007/s00450-012-0233-1
  21. Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.. "Elaborating requirements using model checking and inductive learning". IEEE Transactions on Software Engineering 39 3 (2013): 361-383. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879306679&partnerID=MN8TOARS.
    10.1109/TSE.2012.41
  22. Corapi, D.; Russo, A.; De Vos, M.; Padget, J.; Satoh, K.. "Normative design using inductive learning". Theory and Practice of Logic Programming 11 4-5 (2011): 783-799. http://www.scopus.com/inward/record.url?eid=2-s2.0-80054894181&partnerID=MN8TOARS.
    10.1017/S1471068411000305
  23. Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S.. "Deriving non-Zeno behaviour models from goal models using ILP". Formal Aspects of Computing 22 3-4 (2010): 217-241. http://www.scopus.com/inward/record.url?eid=2-s2.0-77954087841&partnerID=MN8TOARS.
    10.1007/s00165-009-0128-5
  24. Hosobe, H.; Satoh, K.; Ma, J.; Russo, A.; Broda, K.. "Speculative constraint processing for hierarchical agents". AI Communications 23 4 (2010): 373-388. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650345443&partnerID=MN8TOARS.
    10.3233/AIC-2010-0480
  25. Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S.. "Using abduction and induction for operational requirements elaboration". Journal of Applied Logic 7 3 (2009): 275-288. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349236456&partnerID=MN8TOARS.
    10.1016/j.jal.2008.10.002
  26. Charalambides, M.; Flegkas, P.; Pavlou, G.; Rubio-Loyola, J.; Bandara, A.; Lupu, E.; Russo, A.; Dulay, N.; Sloman, M.. "Policy conflict analysis for DiffServ quality of service management". IEEE Transactions on Network and Service Management 6 1 (2009): 15-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-70450216984&partnerID=MN8TOARS.
    10.1109/TNSM.2009.090302
  27. Rigano, D.; Cardile, V.; Formisano, C.; Maldini, M.T.; Piacente, S.; Bevelacqua, Y.; Russo, A.; Senatore, F.. "Corrigendum to "Genista sessilifolia DC. and Genista tinctoria L. inhibit UV light and nitric oxide-induced DNA damage and human melanoma cell growth" [Chemico-Biol. Interact. 180 (2009) 211-219] (DOI:10.1016/j.cbi.2009.02.010)". Chemico-Biological Interactions 182 1 (2009): 92-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349507065&partnerID=MN8TOARS.
    10.1016/j.cbi.2009.06.013
  28. Gabbay, D.; Rodrigues, O.; Russo, A.. "Belief revision in non-classical logics". Review of Symbolic Logic 1 3 (2008): 267-304. http://www.scopus.com/inward/record.url?eid=2-s2.0-84989184384&partnerID=MN8TOARS.
    10.1017/S1755020308080246
  29. Ma, J.; Russo, A.; Broda, K.; Clark, K.. "DARE: A system for distributed abductive reasoning". Autonomous Agents and Multi-Agent Systems 16 3 (2008): 271-297. http://www.scopus.com/inward/record.url?eid=2-s2.0-43449112346&partnerID=MN8TOARS.
    10.1007/s10458-008-9028-y
  30. Bandara, A.K.; Lupu, E.C.; Russo, A.; Dulay, N.; Sloman, M.; Flegkas, P.; Charalambides, M.; Pavlou, G.. "Policy Refinement for IP Differentiated Services Quality of Service Management". IEEE Transactions on Network and Service Management 3 2 (2006): 2-13. http://www.scopus.com/inward/record.url?eid=2-s2.0-85008048405&partnerID=MN8TOARS.
    10.1109/TNSM.2006.4798308
  31. D'Avila Garcez, A.S.; Russo, A.; Nuseibeh, B.; Kramer, J.. "Combining abductive reasoning and inductive learning to evolve requirements specifications". IEE Proceedings: Software 150 1 (2003): 25-38. http://www.scopus.com/inward/record.url?eid=2-s2.0-0038059305&partnerID=MN8TOARS.
    10.1049/ip-sen:20030207
  32. Nuseibeh, B.; Easterbrook, S.; Russo, A.. "Making inconsistency respectable in software development". Journal of Systems and Software 58 2 (2001): 171-180. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035451581&partnerID=MN8TOARS.
    10.1016/S0164-1212(01)00036-X
  33. Nuseibeh, B.; Easterbrook, S.; Russo, A.. "Leveraging inconsistency in software development". Computer 33 4 (2000): 24-29. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034174018&partnerID=MN8TOARS.
    10.1109/2.839317
  34. Russo, A.; Nuseibeh, B.; Kramer, J.. "Restructuring requirements specifications". IEE Proceedings: Software 146 1 (1999): 44-53. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032625996&partnerID=MN8TOARS.
    10.1049/ip-sen:19990156
  35. D'agostino, M.; Gabbay, D.M.; Russo, A.. "Grafting modalities onto substructural implication systems". Studia Logica 59 1 (1997): 65-102. http://www.scopus.com/inward/record.url?eid=2-s2.0-0009560772&partnerID=MN8TOARS.
    10.1023/A:1004947400860

Other

Other output
  1. Numerical reasoning in machine reading comprehension tasks: Are we there yet?. 2021. Al-Negheimish, H.; Madhyastha, P.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85115865000&partnerID=MN8TOARS.
  2. FF-NSL: Feed-forward neural-symbolic learner. 2021. Cunnington, D.; Law, M.; Russo, A.; Lobo, J.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85109739535&partnerID=MN8TOARS.
  3. pix2rule: End-to-end neuro-symbolic rule learning. 2021. Cingillioglu, N.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85109206314&partnerID=MN8TOARS.
  4. PASOCS: A parallel approximate solver for probabilistic logic programs under the credal semantics. 2021. Tuckey, D.; Russo, A.; Broda, K.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85107954312&partnerID=MN8TOARS.
  5. Discrete reasoning templates for natural language understanding. 2021. Al-Negheimish, H.; Madhyastha, P.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85106082306&partnerID=MN8TOARS.
  6. HySTER: A hybrid spatio-temporal event reasoner. 2021. Sautory, T.; Cingillioglu, N.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85101117282&partnerID=MN8TOARS.
  7. The ILASP System for Inductive Learning of Answer Set Programs. 2020. Law, M.; Russo, A.; Broda, K.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85095153646&partnerID=MN8TOARS.
  8. A general framework for scientifically inspired explanations in AI. 2020. Tuckey, D.; Russo, A.; Broda, K.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85094364978&partnerID=MN8TOARS.
  9. Nsl: Hybrid interpretable learning from noisy raw data. 2020. Cunnington, D.; Russo, A.; Law, M.; Lobo, J.; Kaplan, L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85110836850&partnerID=MN8TOARS.
  10. On the transferability of VAE embeddings using relational knowledge with semi-supervision. 2020. Strömfelt, H.; Dickens, L.; Russo, A.; d’Avila Garcez, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85098829988&partnerID=MN8TOARS.
  11. Induction and exploitation of subgoal automata for reinforcement learning. 2020. Furelos-Blanco, D.; Law, M.; Jonsson, A.; Broda, K.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85098379441&partnerID=MN8TOARS.
  12. Learning diverse representations for fast adaptation to distribution shift. 2020. Pace, D.; Russo, A.; Shanahan, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85095083177&partnerID=MN8TOARS.
  13. Induction of subgoal automata for reinforcement learning. 2019. Furelos-Blanco, D.; Law, M.; Russo, A.; Broda, K.; Jonsson, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093470405&partnerID=MN8TOARS.
  14. Learning neural search policies for classical planning. 2019. Gomoluch, P.; Alrajeh, D.; Russo, A.; Bucchiarone, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85094714870&partnerID=MN8TOARS.
  15. Learning invariants through soft unification. 2019. Cingillioglu, N.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093321748&partnerID=MN8TOARS.
  16. Saliency maps generation for automatic text summarization. 2019. Tuckey, D.; Broda, K.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85094278894&partnerID=MN8TOARS.
  17. Learning classical planning strategies with policy gradient. 2018. Gomoluch, P.; Alrajeh, D.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85095240746&partnerID=MN8TOARS.
  18. Inductive learning of answer set programs from noisy examples. 2018. Law, M.; Russo, A.; Broda, K.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85092984915&partnerID=MN8TOARS.
  19. DeepLogic: Towards end-to-end differentiable logical reasoning. 2018. Cingillioglu, N.; Russo, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85092843333&partnerID=MN8TOARS.
  20. Towards learning domain-independent planning heuristics. 2017. Gomoluch, P.; Alrajeh, D.; Russo, A.; Bucchiarone, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85094372683&partnerID=MN8TOARS.
  21. Data modelling for the evaluation of virtualized network functions resource allocation algorithms. 2017. Rankothge, W.; Le, F.; Russo, A.; Lobo, J.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093764171&partnerID=MN8TOARS.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2020/01/01 - 2024/12/30 Neuro-symbolic Machine learning
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2020/01/01 - 2024/12/30 Linear Algebraic Methods for Neural-Symbolic Machine Learning
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2020/10/01 - 2024/09/30 Symbolic Reinforcement Learning
Supervisor
 Machine learning (PhD)
Imperial College London, United Kingdom
2019/10/01 - 2023/09/30 AI for Clinical Decision Support
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2019/10/01 - 2023/09/30 explainable Artificial Intelligence
Supervisor
 Computing (PhD)
Imperial College London - Charing Cross Campus, United Kingdom
2018/10/01 - 2022/09/30 Learning reward automata for transfer learning
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2018/10/01 - 2022/09/30 Multi-Hop Reasoning in NL Q&A
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2017/10/01 - 2022/04/30 Transferable latent representations with semantically consistent concept learning
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2016/01/01 - 2020/03/30 Learning Heuristic Functions and Search Policies for Classical Planning
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2013/10/01 - 2018/09/30 Inductive Learning of Answer Set Programs
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2011/10/01 - 2016/09/30 Predicate invention in inductive logic programming
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2008/10/01 - 2012/09/30 Nonmonotonic Inductive Logic Programming as Abductive Search
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2008/10/01 - 2012/09/30 Learning Definite and Normal Logic Programs by Induction on Failure
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2007/12/01 - 2011/11/30 Distributed Abductive Reasoning: Theory, Implementation and Application
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2006/10/01 - 2010/09/30 Learning to Act Stochastically
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2006/03/01 - 2010/03/01 Requirements Elaboration using Model Checking and Inductive Learning
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2001/09/01 - 2005/09/01 Policy Analysis and Refinement
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom
2001/01/01 - 2005/03/30 Hybrid Inductive Abductive Learning
Supervisor
 Computing (PhD)
Imperial College London, United Kingdom

Conference scientific committee

Conference name Conference host
2021 - 2021 International Joint Conference on Artificial Intelligence
2021 - 2021 International Conference on Logic Programming.
2021 - 2021 AAAI Conference on Artificial Intelligence
2021 - 2021 Knowledge Representation
2020 - 2020 ACM/IEEE International Conference on Software Engineering