Publications

Cunnington, D., Law, M., Lobo, J., & Russo, A.

The role of foundation models in neuro-symbolic learning and reasoning. International Conference on Neural-Symbolic Learning and Reasoning, 84–100. (2024)

@inproceedings{cunnington2024role,
  title = {The role of foundation models in neuro-symbolic learning and reasoning},
  author = {Cunnington, Daniel and Law, Mark and Lobo, Jorge and Russo, Alessandra},
  booktitle = {International Conference on Neural-Symbolic Learning and Reasoning},
  pages = {84--100},
  year = {2024},
  organization = {Springer}
}

Al-Negheimish, H.

Towards Numerical Reasoning in Machine Reading Comprehension [PhD thesis, Imperial College London]. (2023)

@phdthesis{AlNegheimishMR23,
  author = {Al{-}Negheimish, Hadeel},
  title = {{Towards Numerical Reasoning in Machine Reading Comprehension}},
  school = {Imperial College London},
  year = {2023},
  url = {http://hdl.handle.net/10044/1/109751}
}

Al-Negheimish, H., Madhyastha, P., & Russo, A.

Towards preserving word order importance through Forced Invalidation. Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics (EACL), 2555–2562. (2023)

@inproceedings{AlNegheimishMR24,
  author = {Al{-}Negheimish, Hadeel and Madhyastha, Pranava and Russo, Alessandra},
  title = {{Towards preserving word order importance through Forced Invalidation}},
  booktitle = {Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics (EACL)},
  pages = {2555--2562},
  year = {2023},
  url = {https://doi.org/10.18653/v1/2023.eacl-main.187}
}

Ardon, L., Furelos-Blanco, D., & Russo, A.

Learning Reward Machines in Cooperative Multi-Agent Tasks. Proceedings of the Neuro-Symbolic AI for Agent and Multi-Agent Systems (NeSyMAS) Workshop at the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS). (2023)

@inproceedings{ArdonFR23,
  author = {Ardon, Leo and Furelos{-}Blanco, Daniel and Russo, Alessandra},
  title = {{Learning Reward Machines in Cooperative Multi-Agent Tasks}},
  booktitle = {{Proceedings of the Neuro-Symbolic AI for Agent and Multi-Agent Systems (NeSyMAS) Workshop at the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)}},
  year = {2023},
  url = {https://arxiv.org/abs/2303.14061},
  _type = {workshop}
}

Baugh, K. G., Cingillioglu, N., & Russo, A.

Neuro-symbolic Rule Learning in Real-world Classification Tasks. Proceedings of the AAAI 2023 Spring Symposium on Challenges Requiring the Combination of Machine Learning and Knowledge Engineering (AAAI-MAKE). (2023)

@inproceedings{BaughCR23,
  author = {Baugh, Kexin Gu and Cingillioglu, Nuri and Russo, Alessandra},
  title = {{Neuro-symbolic Rule Learning in Real-world Classification Tasks}},
  booktitle = {Proceedings of the {AAAI} 2023 Spring Symposium on Challenges Requiring the Combination of Machine Learning and Knowledge Engineering (AAAI-MAKE)},
  year = {2023},
  url = {https://ceur-ws.org/Vol-3433/paper12.pdf}
}

Charalambous, T., Aspis, Y., & Russo, A.

NeuralFastLAS: Fast Logic-Based Learning from Raw Data. In CoRR: Vol. abs/2310.05145. (2023)

@unpublished{CharalambousAR23,
  author = {Charalambous, Theo and Aspis, Yaniv and Russo, Alessandra},
  title = {{NeuralFastLAS: Fast Logic-Based Learning from Raw Data}},
  journal = {CoRR},
  volume = {abs/2310.05145},
  year = {2023},
  url = {https://doi.org/10.48550/arXiv.2310.05145}
}

Cunnington, D., Law, M., Lobo, J., & Russo, A.

FFNSL: Feed-Forward Neural-Symbolic Learner. Machine Learning, 112(2), 515–569. (2023)

@article{CunningtonLLR23,
  author = {Cunnington, Daniel and Law, Mark and Lobo, Jorge and Russo, Alessandra},
  title = {{{FFNSL:} Feed-Forward Neural-Symbolic Learner}},
  journal = {Machine Learning},
  volume = {112},
  number = {2},
  pages = {515--569},
  year = {2023},
  url = {https://doi.org/10.1007/s10994-022-06278-6}
}

Cunnington, D., Law, M., Lobo, J., & Russo, A.

Neuro-Symbolic Learning of Answer Set Programs from Raw Data. Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI), 3586–3596. (2023)

@inproceedings{CunningtonL0R23,
  author = {Cunnington, Daniel and Law, Mark and Lobo, Jorge and Russo, Alessandra},
  title = {{Neuro-Symbolic Learning of Answer Set Programs from Raw Data}},
  booktitle = {Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {3586--3596},
  year = {2023},
  url = {https://doi.org/10.24963/ijcai.2023/399}
}

Furelos-Blanco, D.

Learning and Exploiting Reward Machines for Reinforcement Learning [PhD thesis, Imperial College London]. (2023)

@phdthesis{FurelosBlanco23,
  author = {Furelos-Blanco, Daniel},
  title = {{Learning and Exploiting Reward Machines for Reinforcement Learning}},
  school = {Imperial College London},
  year = {2023},
  url = {http://hdl.handle.net/10044/1/110047}
}

Furelos-Blanco, D., Law, M., Jonsson, A., Broda, K., & Russo, A.

Hierarchies of Reward Machines. Proceedings of the International Conference on Machine Learning (ICML), 10494–10541. (2023)

@inproceedings{FurelosBlancoLJBR23,
  author = {Furelos{-}Blanco, Daniel and Law, Mark and Jonsson, Anders and Broda, Krysia and Russo, Alessandra},
  title = {{Hierarchies of Reward Machines}},
  booktitle = {Proceedings of the International Conference on Machine Learning (ICML)},
  pages = {10494--10541},
  year = {2023},
  url = {https://proceedings.mlr.press/v202/furelos-blanco23a.html}
}

Ielo, A., Law, M., Fionda, V., Ricca, F., Giacomo, G. D., & Russo, A.

Towards ILP-Based LTLf Passive Learning. Proceedings of the 32nd International Conference on Inductive Logic Programming (ILP), 30–45. (2023)

@inproceedings{IeloLFRGR23,
  author = {Ielo, Antonio and Law, Mark and Fionda, Valeria and Ricca, Francesco and Giacomo, Giuseppe De and Russo, Alessandra},
  title = {{Towards ILP-Based {LTL}f Passive Learning}},
  booktitle = {Proceedings of the 32nd International Conference on Inductive Logic Programming (ILP)},
  pages = {30--45},
  year = {2023},
  url = {https://doi.org/10.1007/978-3-031-49299-0\_3}
}

Jabal, A. A., Bertino, E., Lobo, J., Verma, D. C., Calo, S. B., & Russo, A.

FLAP - A Federated Learning Framework for Attribute-based Access Control Policies. Proceedings of the 13th ACM Conference on Data and Application Security and Privacy (CODASPY), 263–272. (2023)

@inproceedings{JabalB0VCR23,
  author = {Jabal, Amani Abu and Bertino, Elisa and Lobo, Jorge and Verma, Dinesh C. and Calo, Seraphin B. and Russo, Alessandra},
  title = {{{FLAP} - {A} Federated Learning Framework for Attribute-based Access Control Policies}},
  booktitle = {Proceedings of the 13th {ACM} Conference on Data and Application Security and Privacy ({CODASPY})},
  pages = {263--272},
  year = {2023},
  url = {https://doi.org/10.1145/3577923.3583641}
}

Mekhtieva, R. L., Forbes, B., Alrajeh, D., Delaney, B., & Russo, A.

RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care. Proceedings of the American Medical Informatics Association (AMIA) Annual Symposium, 1145–1154. (2023)

@inproceedings{MekhtievaFADR23,
  author = {Mekhtieva, Rakhilya Lee and Forbes, Brandon and Alrajeh, Dalal and Delaney, Brendan and Russo, Alessandra},
  title = {{{RECAP-KG:} Mining Knowledge Graphs from Raw {GP} Notes for Remote {COVID-19} Assessment in Primary Care}},
  booktitle = {Proceedings of the American Medical Informatics Association (AMIA) Annual Symposium},
  year = {2023},
  pages = {1145--1154},
  url = {https://pubmed.ncbi.nlm.nih.gov/38222369/}
}

Mileva, Z., Bikakis, A., D’Asaro, F. A., Law, M., & Russo, A.

A Unifying Framework for Learning Argumentation Semantics. In CoRR: Vol. abs/2310.12309. (2023)

@unpublished{MilevaBDLR23,
  author = {Mileva, Zlatina and Bikakis, Antonis and D'Asaro, Fabio Aurelio and Law, Mark and Russo, Alessandra},
  title = {{A Unifying Framework for Learning Argumentation Semantics}},
  journal = {CoRR},
  volume = {abs/2310.12309},
  year = {2023},
  url = {https://doi.org/10.48550/arXiv.2310.12309}
}

Seshadri, A. D., & Russo, A.

Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition. In CoRR: Vol. abs/2307.04132. (2023)

@unpublished{SeshadriR23,
  author = {Seshadri, Amrit Diggavi and Russo, Alessandra},
  title = {{Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition}},
  journal = {CoRR},
  volume = {abs/2307.04132},
  year = {2023},
  url = {https://doi.org/10.48550/arXiv.2307.04132}
}

Strömfelt, H.

Consistent and Coherent Relational Representation Learning [PhD thesis, Imperial College London]. (2023)

@phdthesis{Stromfelt23,
  author = {Str{\"{o}}mfelt, Harald},
  title = {{Consistent and Coherent Relational Representation Learning}},
  school = {Imperial College London},
  year = {2023},
  url = {https://doi.org/10.25560/110384}
}

Tuckey, D.

Probabilistic Reasoning and Learning for Answer Set Programming [PhD thesis, Imperial College London]. (2023)

@phdthesis{Tuckey23,
  author = {Tuckey, David},
  title = {{Probabilistic Reasoning and Learning for Answer Set Programming}},
  school = {Imperial College London},
  year = {2023},
  url = {https://doi.org/10.25560/109252}
}

Aspis, Y., Broda, K., Lobo, J., & Russo, A.

Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR). (2022)

@inproceedings{AspisB0R22,
  author = {Aspis, Yaniv and Broda, Krysia and Lobo, Jorge and Russo, Alessandra},
  title = {{Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings}},
  booktitle = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  year = {2022},
  url = {https://proceedings.kr.org/2022/44/}
}

Cingillioglu, N.

End-to-End Neuro-Symbolic Learning of Logic-based Inference [PhD thesis, Imperial College London]. (2022)

@phdthesis{Cingillioglu22,
  author = {Cingillioglu, Nuri},
  title = {{End-to-End Neuro-Symbolic Learning of Logic-based Inference}},
  school = {Imperial College London},
  year = {2022},
  url = {https://doi.org/10.25560/98165}
}

Cunnington, D., Law, M., Lobo, J., & Russo, A.

Inductive Learning of Complex Knowledge from Raw Data. Proceedings of the AAAI 2022 Fall Symposium on Thinking Fast and Slow and Other Cognitive Theories in AI (TFSOCTAI). (2022)

@inproceedings{CunningtonL0R22,
  author = {Cunnington, Daniel and Law, Mark and Lobo, Jorge and Russo, Alessandra},
  title = {{Inductive Learning of Complex Knowledge from Raw Data}},
  booktitle = {Proceedings of the AAAI 2022 Fall Symposium on Thinking Fast and Slow and Other Cognitive Theories in AI (TFSOCTAI)},
  year = {2022},
  url = {http://ceur-ws.org/Vol-3332/paper6.pdf}
}

Jeyakumar, J. V., Dickens, L., Garcia, L., Cheng, Y.-H., Ramirez-Echavarria, D., Noor, J., Russo, A., Kaplan, L. M., Blasch, E., & Srivastava, M. B.

Automatic Concept Extraction for Concept Bottleneck-based Video Classification. In CoRR: Vol. abs/2206.10129. (2022)

@unpublished{JeyakumarDGCRNRKPBS22,
  author = {Jeyakumar, Jeya Vikranth and Dickens, Luke and Garcia, Luis and Cheng, Yu{-}Hsi and Ramirez{-}Echavarria, Diego and Noor, Joseph and Russo, Alessandra and Kaplan, Lance M. and Blasch, Erik and Srivastava, Mani B.},
  title = {{Automatic Concept Extraction for Concept Bottleneck-based Video Classification}},
  journal = {CoRR},
  volume = {abs/2206.10129},
  year = {2022},
  url = {https://doi.org/10.48550/arXiv.2206.10129}
}

Law, M., Broda, K., & Russo, A.

Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data. Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI), 2697–2704. (2022)

@inproceedings{LawBR22,
  author = {Law, Mark and Broda, Krysia and Russo, Alessandra},
  title = {{Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data}},
  booktitle = {Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {2697--2704},
  year = {2022},
  url = {https://doi.org/10.24963/ijcai.2022/374}
}

Mitchener, L., Tuckey, D., Crosby, M., & Russo, A.

Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework. Machine Learning, 111(4), 1523–1549. (2022)

@article{MitchenerTCR22,
  author = {Mitchener, Ludovico and Tuckey, David and Crosby, Matthew and Russo, Alessandra},
  title = {{Detect, Understand, Act: {A} Neuro-symbolic Hierarchical Reinforcement Learning Framework}},
  journal = {Machine Learning},
  volume = {111},
  number = {4},
  pages = {1523--1549},
  year = {2022},
  url = {https://doi.org/10.1007/s10994-022-06142-7}
}

Spies, A. F., Russo, A., & Shanahan, M.

Sparse Relational Reasoning with Object-Centric Representations. Proceedings of the Dynamic Neural Networks Workshop (DyNN) at the 39th International Conference on Machine Learning (ICML). (2022)

@inproceedings{SpiesRS22,
  author = {Spies, Alex F. and Russo, Alessandra and Shanahan, Murray},
  title = {{Sparse Relational Reasoning with Object-Centric Representations}},
  booktitle = {Proceedings of the Dynamic Neural Networks Workshop (DyNN) at the 39th International Conference on Machine Learning (ICML)},
  year = {2022},
  url = {https://doi.org/10.48550/arXiv.2207.07512},
  _type = {workshop}
}

Strömfelt, H., Dickens, L., d’Avila Garcez, A. S., & Russo, A.

Formalizing Consistency and Coherence of Representation Learning. Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS), 6873–6885. (2022)

@inproceedings{StromfeltDGR22,
  author = {Str{\"{o}}mfelt, Harald and Dickens, Luke and {d'Avila Garcez}, Artur S. and Russo, Alessandra},
  title = {{Formalizing Consistency and Coherence of Representation Learning}},
  booktitle = {Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  pages = {6873--6885},
  url = {http://papers.nips.cc/paper\_files/paper/2022/hash/2d95270d763751439626d91f57e9a750-Abstract-Conference.html}
}

Tuckey, D., Broda, K., & Russo, A.

A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. Proceedings of the 15th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOC) at the 38th International Conference on Logic Programming (ICLP). (2022)

@inproceedings{TuckeyBR22,
  author = {Tuckey, David and Broda, Krysia and Russo, Alessandra},
  title = {{A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge}},
  booktitle = {Proceedings of the 15th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOC) at the 38th International Conference on Logic Programming (ICLP)},
  year = {2022},
  url = {https://ceur-ws.org/Vol-3193/paper4ASPOCP.pdf},
  _type = {workshop}
}

Xia, S.

Neural-Symbolic Learning for Knowledge Base Completion [PhD thesis, Imperial College London]. (2022)

@phdthesis{Xia22,
  author = {Xia, Shuang},
  title = {{Neural-Symbolic Learning for Knowledge Base Completion}},
  school = {Imperial College London},
  year = {2022},
  url = {https://doi.org/10.25560/104196}
}

Al-Negheimish, H., Madhyastha, P., & Russo, A.

Discrete Reasoning Templates for Natural Language Understanding. Student Research Workshop (SRW) at the 16th Conference of the European Chapter of the Association for Computational Linguistics (EACL). (2021)

@inproceedings{AlNegheimishMR21,
  author = {Al{-}Negheimish, Hadeel and Madhyastha, Pranava and Russo, Alessandra},
  title = {{Discrete Reasoning Templates for Natural Language Understanding}},
  booktitle = {Student Research Workshop (SRW) at the 16th Conference of the European Chapter of the Association for Computational Linguistics (EACL)},
  year = {2021},
  url = {https://arxiv.org/abs/2104.02115},
  _type = {workshop}
}

Al-Negheimish, H., Madhyastha, P., & Russo, A.

Numerical reasoning in machine reading comprehension tasks: are we there yet? Proceedings of the 16th Conference on Empirical Methods in Natural Language Processing (EMNLP), 9643–9649. (2021)

@inproceedings{Al-NegheimishMR21b,
  author = {Al{-}Negheimish, Hadeel and Madhyastha, Pranava and Russo, Alessandra},
  title = {{Numerical reasoning in machine reading comprehension tasks: are we there yet?}},
  booktitle = {Proceedings of the 16th Conference on Empirical Methods in Natural Language Processing (EMNLP)},
  pages = {9643--9649},
  year = {2021},
  url = {https://doi.org/10.18653/v1/2021.emnlp-main.759}
}

Cingillioglu, N., & Russo, A.

pix2rule: End-to-end Neuro-symbolic Rule Learning. Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy) at the 1st International Joint Conference on Learning & Reasoning (IJCLR), 15–56. (2021)

@inproceedings{CingilliogluR21,
  author = {Cingillioglu, Nuri and Russo, Alessandra},
  title = {{pix2rule: End-to-end Neuro-symbolic Rule Learning}},
  booktitle = {Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy) at the 1st International Joint Conference on Learning {\&} Reasoning (IJCLR)},
  pages = {15--56},
  year = {2021},
  url = {https://ceur-ws.org/Vol-2986/paper3.pdf},
  _code = {https://github.com/nuric/pix2rule},
  _tags = {neuro-symbolic, end-to-end learning, relational representations}
}

Cunnington, D., Law, M., Russo, A., Lobo, J., & Kaplan, L. M.

Towards Neural-Symbolic Learning to support Human-Agent Operations. Proceedings of the 24th IEEE International Conference on Information Fusion (FUSION), 1–8. (2021)

@inproceedings{CunningtonLRLK21,
  author = {Cunnington, Daniel and Law, Mark and Russo, Alessandra and Lobo, Jorge and Kaplan, Lance M.},
  title = {{Towards Neural-Symbolic Learning to support Human-Agent Operations}},
  booktitle = {Proceedings of the 24th {IEEE} International Conference on Information Fusion (FUSION)},
  pages = {1--8},
  year = {2021},
  url = {https://ieeexplore.ieee.org/document/9626876}
}

Drozdov, A., Law, M., Lobo, J., Russo, A., & Don, M. W.

Online Symbolic Learning of Policies for Explainable Security. Proceedings of the 3rd IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA), 269–278. (2021)

@inproceedings{DrozdovLLRD21,
  author = {Drozdov, Arthur and Law, Mark and Lobo, Jorge and Russo, Alessandra and Don, Mercion Wilathgamuwage},
  title = {{Online Symbolic Learning of Policies for Explainable Security}},
  booktitle = {Proceedings of the 3rd {IEEE} International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA)},
  pages = {269--278},
  year = {2021},
  url = {https://doi.org/10.1109/TPSISA52974.2021.00030}
}

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, 1031–1116. (2021)

@article{FurelosBlancoLJBR21,
  title = {{Induction and Exploitation of Subgoal Automata for Reinforcement Learning}},
  author = {Furelos-Blanco, Daniel and Law, Mark and Jonsson, Anders and Broda, Krysia and Russo, Alessandra},
  year = {2021},
  volume = {70},
  pages = {1031--1116},
  url = {https://doi.org/10.1613/jair.1.12372},
  journal = {Journal of Artificial Intelligence Research},
  _code = {https://github.com/ertsiger/induction-subgoal-automata-rl}
}

Law, M., Russo, A., Broda, K., & Bertino, E.

Scalable Non-observational Predicate Learning in ASP. Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), 1936–1943. (2021)

@inproceedings{LawRBB21,
  author = {Law, Mark and Russo, Alessandra and Broda, Krysia and Bertino, Elisa},
  title = {{Scalable Non-observational Predicate Learning in {ASP}}},
  booktitle = {Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {1936--1943},
  year = {2021},
  url = {https://doi.org/10.24963/ijcai.2021/267}
}

Sautory, T., Cingillioglu, N., & Russo, A.

HySTER: A Hybrid Spatio-Temporal Event Reasoner. Workshop on Hybrid Artificial Intelligence (HAI) at the 35th AAAI Conference on Artificial Intelligence (AAAI). (2021)

@inproceedings{SautoryCR21,
  author = {Sautory, Theophile and Cingillioglu, Nuri and Russo, Alessandra},
  title = {{HySTER: A Hybrid Spatio-Temporal Event Reasoner}},
  booktitle = {Workshop on Hybrid Artificial Intelligence (HAI) at the 35th AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  _type = {workshop},
  url = {https://arxiv.org/abs/2101.06644}
}

Strömfelt, H., Dickens, L., d’Avila Garcez, A. S., & Russo, A.

Coherent and Consistent Relational Transfer Learning with Auto-encoders. Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy) at the 1st International Joint Conference on Learning & Reasoning (IJCLR), 176–192. (2021)

@inproceedings{StromfeltDGR21,
  author = {Str{\"{o}}mfelt, Harald and Dickens, Luke and {d'Avila Garcez}, Artur S. and Russo, Alessandra},
  title = {{Coherent and Consistent Relational Transfer Learning with Auto-encoders}},
  booktitle = {Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy) at the 1st International Joint Conference on Learning {\&} Reasoning (IJCLR)},
  pages = {176--192},
  year = {2021},
  url = {https://ceur-ws.org/Vol-2986/paper14.pdf}
}

Tuckey, D., Russo, A., & Broda, K.

PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics. In CoRR: Vol. abs/2105.10908. (2021)

@unpublished{TuckeyRB21,
  title = {{PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics}},
  author = {Tuckey, David and Russo, Alessandra and Broda, Krysia},
  year = {2021},
  volume = {abs/2105.10908},
  url = {https://arxiv.org/abs/2105.10908},
  journal = {CoRR},
  _code = {https://github.com/David-Tuc/pasocs}
}

Aspis, Y., Broda, K., Russo, A., & Lobo, J.

Stable and Supported Semantics in Continuous Vector Spaces. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR), 59–68. (2020)

@inproceedings{AspisBR020,
  author = {Aspis, Yaniv and Broda, Krysia and Russo, Alessandra and Lobo, Jorge},
  title = {{Stable and Supported Semantics in Continuous Vector Spaces}},
  booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
  pages = {59--68},
  year = {2020},
  url = {https://doi.org/10.24963/kr.2020/7}
}

Cavezza, D.

Heuristics for the Refinement of Assumptions in Generalized Reactivity Formulae [PhD thesis, Imperial College London]. (2020)

@phdthesis{Cavezza20,
  author = {Cavezza, Davide},
  title = {{Heuristics for the Refinement of Assumptions in Generalized Reactivity Formulae}},
  school = {Imperial College London},
  year = {2020},
  url = {https://doi.org/10.25560/95183}
}

Cingillioglu, N., & Russo, A.

Learning Invariants through Soft Unification. Proceedings of the 34th Conference on Neural Information Processing Systems (NeurIPS), 8186–8197. (2020)

@inproceedings{CingilliogluR20,
  author = {Cingillioglu, Nuri and Russo, Alessandra},
  title = {{Learning Invariants through Soft Unification}},
  booktitle = {Proceedings of the 34th Conference on Neural Information Processing Systems (NeurIPS)},
  pages = {8186--8197},
  year = {2020},
  url = {https://arxiv.org/abs/1909.07328},
  _code = {https://github.com/nuric/softuni}
}

Cunnington, D., Russo, A., Law, M., Lobo, J., & Kaplan, L.

NSL: Hybrid Interpretable Learning From Noisy Raw Data. In CoRR: Vol. abs/2012.05023. (2020)

@unpublished{CunningtonRLLK20,
  author = {Cunnington, Daniel and Russo, Alessandra and Law, Mark and Lobo, Jorge and Kaplan, Lance},
  title = {{{NSL:} Hybrid Interpretable Learning From Noisy Raw Data}},
  journal = {CoRR},
  volume = {abs/2012.05023},
  year = {2020},
  url = {https://arxiv.org/abs/2012.05023}
}

Furelos-Blanco, D., Law, M., Russo, A., Broda, K., & Jonsson, A.

Induction of Subgoal Automata for Reinforcement Learning. Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), 3890–3897. (2020)

@inproceedings{FurelosBlancoLRBJ20,
  title = {{Induction of Subgoal Automata for Reinforcement Learning}},
  booktitle = {Proceedings of the 34th {{AAAI}} Conference on Artificial Intelligence ({{AAAI}})},
  author = {Furelos-Blanco, Daniel and Law, Mark and Russo, Alessandra and Broda, Krysia and Jonsson, Anders},
  year = {2020},
  pages = {3890--3897},
  url = {https://aaai.org/ojs/index.php/AAAI/article/view/5802},
  _code = {https://github.com/ertsiger/induction-subgoal-automata-rl},
  _tags = {{neuro-symbolic,reinforcement learning,rl}}
}

Gomoluch, P.

Learning Heuristic Functions and Search Policies for Classical Planning [PhD thesis, Imperial College London]. (2020)

@phdthesis{Gomoluch20,
  author = {Gomoluch, Pawel},
  title = {{Learning Heuristic Functions and Search Policies for Classical Planning}},
  school = {Imperial College London},
  year = {2020},
  url = {https://doi.org/10.25560/82211}
}

Gomoluch, P., Alrajeh, D., Russo, A., & Bucchiarone, A.

Learning Neural Search Policies for Classical Planning. Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS), 522–530. (2020)

@inproceedings{GomoluchARB20,
  author = {Gomoluch, Pawel and Alrajeh, Dalal and Russo, Alessandra and Bucchiarone, Antonio},
  title = {{Learning Neural Search Policies for Classical Planning}},
  booktitle = {Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {522--530},
  year = {2020},
  url = {https://aaai.org/ojs/index.php/ICAPS/article/view/6748}
}

Jabal, A. A., Bertino, E., Lobo, J., Law, M., Russo, A., Calo, S. B., & Verma, D. C.

Polisma - A Framework for Learning Attribute-Based Access Control Policies. Proceedings of the 25th European Symposium on Research in Computer Security (ESORICS), 523–544. (2020)

@inproceedings{JabalBLLRCV20,
  author = {Jabal, Amani Abu and Bertino, Elisa and Lobo, Jorge and Law, Mark and Russo, Alessandra and Calo, Seraphin B. and Verma, Dinesh C.},
  title = {{Polisma - {A} Framework for Learning Attribute-Based Access Control Policies}},
  booktitle = {Proceedings of the 25th European Symposium on Research in Computer Security (ESORICS)},
  pages = {523--544},
  year = {2020},
  url = {https://link.springer.com/chapter/10.1007/978-3-030-58951-6_26}
}

Jabal, A. A., Bertino, E., Lobo, J., Verma, D. C., Calo, S. B., & Russo, A.

FLAP - A Federated Learning Framework for Attribute-Based Access Control Policies. Proceedings of the AAAI 2020 Fall Symposium on Artificial Intelligence in Government and Public Sector (AAAI-FSS). (2020)

@inproceedings{JabalBLVDCR20,
  title = {{{FLAP}} - {{A}} Federated Learning Framework for Attribute-Based Access Control Policies},
  author = {Jabal, Amani Abu and Bertino, Elisa and Lobo, Jorge and Verma, Dinesh C. and Calo, Seraphin B. and Russo, Alessandra},
  year = {2020},
  url = {https://arxiv.org/abs/2010.09767},
  booktitle = {Proceedings of the {AAAI} 2020 Fall Symposium on Artificial Intelligence in Government and Public Sector {(AAAI-FSS})}
}

Law, M., Russo, A., Bertino, E., Broda, K., & Lobo, J.

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), 2877–2885. (2020)

@inproceedings{LawRBB020,
  title = {{{{FastLAS}}: {{Scalable}} Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria}},
  booktitle = {Proceedings of the 34th {{AAAI}} Conference on Artificial Intelligence ({{AAAI}})},
  author = {Law, Mark and Russo, Alessandra and Bertino, Elisa and Broda, Krysia and Lobo, Jorge},
  year = {2020},
  pages = {2877--2885},
  url = {https://aaai.org/ojs/index.php/AAAI/article/view/5678}
}

Lobo, J., Bertino, E., & Russo, A.

On Security Policy Migrations. Proceedings of the 25th ACM Symposium on Access Control Models and Technologies (SACMAT), 179–188. (2020)

@inproceedings{LoboBR20,
  title = {{On Security Policy Migrations}},
  booktitle = {Proceedings of the 25th {{ACM}} Symposium on Access Control Models and Technologies ({{SACMAT}})},
  author = {Lobo, Jorge and Bertino, Elisa and Russo, Alessandra},
  year = {2020},
  pages = {179--188},
  url = {https://doi.org/10.1145/3381991.3395613}
}

Pace, D., Russo, A., & Shanahan, M.

Learning Diverse Representations for Fast Adaptation to Distribution Shift. In CoRR: Vol. abs/2006.07119. (2020)

@unpublished{PaceRS20,
  author = {Pace, Daniel and Russo, Alessandra and Shanahan, Murray},
  title = {{Learning Diverse Representations for Fast Adaptation to Distribution Shift}},
  journal = {CoRR},
  volume = {abs/2006.07119},
  year = {2020},
  url = {https://arxiv.org/abs/2006.07119}
}

Rama, O. F., Russo, A., & Broda, K.

An Architecture For Relational Learning Through Iterative Search Over Hypothesis Space. Knowledge Representation and Reasoning Meets Machine Learning (KR2ML) Workshop at the 34th Conference on Neural Information Processing Systems (NeurIPS). (2020)

@inproceedings{RamaRB20,
  author = {Rama, Osama F. and Russo, Alessandra and Broda, Krysia},
  title = {{An Architecture For Relational Learning Through Iterative Search Over Hypothesis Space}},
  booktitle = {Knowledge Representation and Reasoning Meets Machine Learning (KR2ML) Workshop at the 34th Conference on Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  _type = {workshop},
  url = {https://kr2ml.github.io/2020/papers/KR2ML_33_paper.pdf}
}

Russo, A., & Schürr, A.

Model-Based Software Quality Assurance Tools and Techniques Presented at FASE 2018. Int J Softw Tools Technol Transf, 22(1), 1–2. (2020)

@article{RussoS20,
  title = {{Model-Based Software Quality Assurance Tools and Techniques Presented at {{FASE}} 2018}},
  author = {Russo, Alessandra and Sch{\"u}rr, Andy},
  year = {2020},
  volume = {22},
  pages = {1--2},
  url = {https://doi.org/10.1007/s10009-019-00541-3},
  journal = {Int J Softw Tools Technol Transf},
  number = {1}
}

Strömfelt, H., Dickens, L., d’Avila Garcez, A., & Russo, A.

On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision. In CoRR: Vol. abs/2011.07137. (2020)

@unpublished{StromfeltDAR20,
  author = {Str{\"{o}}mfelt, Harald and Dickens, Luke and d'Avila Garcez, Artur and Russo, Alessandra},
  title = {On the Transferability of {VAE} Embeddings using Relational Knowledge with Semi-Supervision},
  journal = {CoRR},
  volume = {abs/2011.07137},
  year = {2020},
  url = {https://arxiv.org/abs/2011.07137}
}

Tuckey, D., Broda, K., & Russo, A.

Towards Structure Learning under the Credal Semantics. Workshop on Probabilistic Logic Programming (PLP) at the 36th International Conference on Logic Programming (ICLP). (2020)

@inproceedings{TuckeyBR20,
  title = {{Towards Structure Learning under the Credal Semantics}},
  booktitle = {Workshop on Probabilistic Logic Programming (PLP) at the 36th International Conference on Logic Programming ({{ICLP}})},
  author = {Tuckey, David and Broda, Krysia and Russo, Alessandra},
  year = {2020},
  _type = {workshop},
  url = {http://ceur-ws.org/Vol-2678/paper13.pdf}
}

Tuckey, D., Russo, A., & Broda, K.

A General Framework for Scientifically Inspired Explanations in AI. In CoRR: Vol. abs/2003.00749. (2020)

@unpublished{TuckeyRB20,
  title = {{A General Framework for Scientifically Inspired Explanations in {{AI}}}},
  author = {Tuckey, David and Russo, Alessandra and Broda, Krysia},
  year = {2020},
  volume = {abs/2003.00749},
  url = {https://arxiv.org/abs/2003.00749},
  journal = {CoRR}
}

Xia, S., Broda, K., & Russo, A.

Topical Neural Theorem Prover That Induces Rules. Proceedings of the 6th Global Conference on Artificial Intelligence (GCAI), 107–120. (2020)

@inproceedings{XiaBR20,
  title = {{Topical Neural Theorem Prover That Induces Rules}},
  booktitle = {Proceedings of the 6th Global Conference on Artificial Intelligence ({{GCAI}})},
  author = {Xia, Shuang and Broda, Krysia and Russo, Alessandra},
  year = {2020},
  pages = {107--120},
  url = {https://easychair.org/publications/paper/mFsC}
}

Bertino, E., White, G., Lobo, J., Ingham, J., Cirincione, G. H., Russo, A., Law, M., Calo, S. B., Manotas, I., Verma, D. C., Jabal, A. A., Cunnington, D., & de Mel, G.

Generative Policies for Coalition Systems - A Symbolic Learning Framework. Proceedings of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS), 1590–1600. (2019)

@inproceedings{Bertino00ICRLCM19,
  title = {{Generative Policies for Coalition Systems - {{A}} Symbolic Learning Framework}},
  booktitle = {Proceedings of the 39th {{IEEE}} International Conference on Distributed Computing Systems ({{ICDCS}})},
  author = {Bertino, Elisa and White, Graham and Lobo, Jorge and Ingham, John and Cirincione, Gregory H. and Russo, Alessandra and Law, Mark and Calo, Seraphin B. and Manotas, Irene and Verma, Dinesh C. and Jabal, Amani Abu and Cunnington, Daniel and {de Mel}, Geeth},
  year = {2019},
  pages = {1590--1600},
  url = {https://doi.org/10.1109/ICDCS.2019.00158}
}

Cingillioglu, N., & Russo, A.

DeepLogic: Towards End-to-End Differentiable Logical Reasoning. Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE). (2019)

@inproceedings{CingilliogluR19,
  author = {Cingillioglu, Nuri and Russo, Alessandra},
  title = {{DeepLogic: Towards End-to-End Differentiable Logical Reasoning}},
  booktitle = {Proceedings of the {AAAI} 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering {(AAAI-MAKE})},
  year = {2019},
  url = {https://arxiv.org/abs/1805.07433},
  _code = {https://github.com/nuric/deeplogic}
}

Cunnington, D., Law, M., Russo, A., Bertino, E., & Calo, S. B.

Towards a Neural-Symbolic Generative Policy Model. Proceedings of the IEEE International Conference on Big Data (Big Data), 4008–4016. (2019)

@inproceedings{CunningtonLRBC19,
  title = {{Towards a Neural-Symbolic Generative Policy Model}},
  booktitle = {Proceedings of the {{IEEE}} International Conference on Big Data (Big Data)},
  author = {Cunnington, Daniel and Law, Mark and Russo, Alessandra and Bertino, Elisa and Calo, Seraphin B.},
  year = {2019},
  pages = {4008--4016},
  url = {https://doi.org/10.1109/BigData47090.2019.9005569}
}

Cunnington, D., Manotas, I., Law, M., de Mel, G., Calo, S. B., Bertino, E., & Russo, A.

A Generative Policy Model for Connected and Autonomous Vehicles. Proceedings of the IEEE Intelligent Transportation Systems Conference (ITSC), 1558–1565. (2019)

@inproceedings{CunningtonMLMCB19,
  title = {{A Generative Policy Model for Connected and Autonomous Vehicles}},
  booktitle = {Proceedings of the {{IEEE}} Intelligent Transportation Systems Conference ({{ITSC}})},
  author = {Cunnington, Daniel and Manotas, Irene and Law, Mark and {de Mel}, Geeth and Calo, Seraphin B. and Bertino, Elisa and Russo, Alessandra},
  year = {2019},
  pages = {1558--1565},
  publisher = {{IEEE}},
  url = {https://doi.org/10.1109/ITSC.2019.8916782}
}

Gomoluch, P., Alrajeh, D., & Russo, A.

Learning Classical Planning Strategies with Policy Gradient. Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), 637–645. (2019)

@inproceedings{GomoluchAR19,
  author = {Gomoluch, Pawel and Alrajeh, Dalal and Russo, Alessandra},
  title = {{Learning Classical Planning Strategies with Policy Gradient}},
  booktitle = {Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {637--645},
  year = {2019},
  url = {https://aaai.org/ojs/index.php/ICAPS/article/view/3531}
}

Law, M., Russo, A., Bertino, E., Broda, K., & Lobo, J.

Representing and Learning Grammars in Answer Set Programming. Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI), 2919–2928. (2019)

@inproceedings{LawRBB019,
  title = {{Representing and Learning Grammars in Answer Set Programming}},
  booktitle = {Proceedings of the 33rd {{AAAI}} Conference on Artificial Intelligence ({{AAAI}})},
  author = {Law, Mark and Russo, Alessandra and Bertino, Elisa and Broda, Krysia and Lobo, Jorge},
  year = {2019},
  pages = {2919--2928},
  url = {https://doi.org/10.1609/aaai.v33i01.33012919}
}

Law, M., Russo, A., & Broda, K.

Logic-Based Learning of Answer Set Programs. In Reasoning Web. Explainable Artificial Intelligence (pp. 196–231). (2019)

@inbook{LawRB19,
  title = {{Logic-Based Learning of Answer Set Programs}},
  booktitle = {Reasoning Web. Explainable Artificial Intelligence},
  author = {Law, Mark and Russo, Alessandra and Broda, Krysia},
  year = {2019},
  pages = {196--231},
  url = {https://doi.org/10.1007/978-3-030-31423-1_6},
  _type = {book}
}

Tuckey, D., Broda, K., & Russo, A.

Saliency Maps Generation for Automatic Text Summarization. In CoRR: Vol. abs/1907.05664. (2019)

@unpublished{TuckeyBR19,
  title = {{Saliency Maps Generation for Automatic Text Summarization}},
  author = {Tuckey, David and Broda, Krysia and Russo, Alessandra},
  year = {2019},
  volume = {abs/1907.05664},
  url = {http://arxiv.org/abs/1907.05664},
  journal = {CoRR}
}

Verma, D. C., Calo, S. B., Bertino, E., Russo, A., & White, G.

Policy Based Ensembles for Applying ML on Big Data. Proceedings of the IEEE International Conference on Big Data (Big Data), 4038–4044. (2019)

@inproceedings{VermaCBR019,
  title = {{Policy Based Ensembles for Applying {{ML}} on Big Data}},
  booktitle = {Proceedings of the {{IEEE}} International Conference on Big Data (Big Data)},
  author = {Verma, Dinesh C. and Calo, Seraphin B. and Bertino, Elisa and Russo, Alessandra and White, Graham},
  year = {2019},
  pages = {4038--4044},
  url = {https://doi.org/10.1109/BigData47090.2019.9006193}
}

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. Proceedings of the 18th IEEE International Conference on Machine Learning and Applications (ICMLA), 1314–1321. (2019)

@inproceedings{WhiteCLBMR19,
  title = {{A Comparison between Statistical and Symbolic Learning Approaches for Generative Policy Models}},
  booktitle = {Proceedings of the 18th {{IEEE}} International Conference on Machine Learning and Applications ({{ICMLA}})},
  author = {White, Graham and Cunnington, Daniel and Law, Mark and Bertino, Elisa and {de Mel}, Geeth and Russo, Alessandra},
  year = {2019},
  pages = {1314--1321},
  url = {https://doi.org/10.1109/ICMLA.2019.00214}
}

White, G., Ingham, J., Law, M., & Russo, A.

Using an ASG Based Generative Policy to Model Human Rules. IEEE International Conference on Smart Computing (SMARTCOMP), 99–103. (2019)

@inproceedings{WhiteILR19,
  title = {{Using an {{ASG}} Based Generative Policy to Model Human Rules}},
  booktitle = {{{IEEE}} International Conference on Smart Computing ({{SMARTCOMP}})},
  author = {White, Graham and Ingham, John and Law, Mark and Russo, Alessandra},
  year = {2019},
  pages = {99--103},
  url = {https://doi.org/10.1109/SMARTCOMP.2019.00036}
}

Alrajeh, D., & Russo, A.

Logic-Based Learning: Theory and Application. In Machine Learning for Dynamic Software Analysis: Potentials and Limits (pp. 219–256). (2018)

@inbook{AlrajehR18,
  title = {{Logic-Based Learning: {{Theory}} and Application}},
  booktitle = {Machine Learning for Dynamic Software Analysis: Potentials and Limits},
  author = {Alrajeh, Dalal and Russo, Alessandra},
  year = {2018},
  pages = {219--256},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-96562-8_9},
  _type = {book}
}

Aspis, Y., Broda, K., & Russo, A.

Tensor-Based Abduction in Horn Propositional Programs. Proceedings of the 28th International Conference on Inductive Logic Programming (ILP), 68–75. (2018)

@inproceedings{AspisBR18,
  title = {{Tensor-Based Abduction in Horn Propositional Programs}},
  booktitle = {Proceedings of the 28th International Conference on Inductive Logic Programming ({{ILP}})},
  author = {Aspis, Yaniv and Broda, Krysia and Russo, Alessandra},
  year = {2018},
  pages = {68--75},
  url = {http://ceur-ws.org/Vol-2206/paper5.pdf}
}

Calo, S. B., Manotas, I., de Mel, G., Cunnington, D., Law, M., Verma, D. C., Russo, A., & Bertino, E.

AGENP: An ASGrammar-Based GENerative Policy Framework. International Workshop on Policy-Based Autonomic Data Governance (PADG), 3–20. (2018)

@inproceedings{CaloMMCLVRB18,
  title = {{{{AGENP}}: {{An ASGrammar}}-Based {{GENerative}} Policy Framework}},
  booktitle = {International Workshop on Policy-Based Autonomic Data Governance ({{PADG}})},
  author = {Calo, Seraphin B. and Manotas, Irene and {de Mel}, Geeth and Cunnington, Daniel and Law, Mark and Verma, Dinesh C. and Russo, Alessandra and Bertino, Elisa},
  year = {2018},
  pages = {3--20},
  url = {https://doi.org/10.1007/978-3-030-17277-0_1},
  _type = {workshop}
}

Cussens, J., & Russo, A.

Preface to the Special Issue on Inductive Logic Programming. Mach. Learn., 107(7), 1095–1096. (2018)

@article{CussensR18,
  title = {{Preface to the Special Issue on Inductive Logic Programming}},
  author = {Cussens, James and Russo, Alessandra},
  year = {2018},
  volume = {107},
  pages = {1095--1096},
  url = {https://doi.org/10.1007/s10994-018-5720-6},
  journal = {Mach. Learn.},
  number = {7}
}

Law, M.

Inductive Learning of Answer Set Programs [PhD thesis, Imperial College London]. (2018)

@phdthesis{Law18,
  author = {Law, Mark},
  title = {{Inductive Learning of Answer Set Programs}},
  school = {Imperial College London},
  year = {2018},
  url = {https://doi.org/10.25560/64824}
}

Law, M., Russo, A., & Broda, K.

The Complexity and Generality of Learning Answer Set Programs. Artif. Intell., 259, 110–146. (2018)

@article{LawRB18,
  title = {{The Complexity and Generality of Learning Answer Set Programs}},
  author = {Law, Mark and Russo, Alessandra and Broda, Krysia},
  year = {2018},
  volume = {259},
  pages = {110--146},
  url = {https://doi.org/10.1016/j.artint.2018.03.005},
  journal = {Artif. Intell.}
}

Wu, B., Russo, A., Law, M., & Inoue, K.

Learning Commonsense Knowledge through Interactive Dialogue. Technical Communications of the 34th International Conference on Logic Programming (ICLP), 12:1–12:19. (2018)

@inproceedings{WuRLI18,
  title = {{Learning Commonsense Knowledge through Interactive Dialogue}},
  booktitle = {Technical Communications of the 34th International Conference on Logic Programming ({{ICLP}})},
  author = {Wu, Benjamin and Russo, Alessandra and Law, Mark and Inoue, Katsumi},
  year = {2018},
  pages = {12:1--12:19},
  url = {https://doi.org/10.4230/OASIcs.ICLP.2018.12}
}

Bertino, E., de Mel, G., Russo, A., Calo, S. B., & Verma, D. C.

Community-Based Self Generation of Policies and Processes for Assets: Concepts and Research Directions. Proceedings of the IEEE International Conference on Big Data (Big Data), 2961–2969. (2017)

@inproceedings{BertinoMRCV17,
  title = {{Community-Based Self Generation of Policies and Processes for Assets: {{Concepts}} and Research Directions}},
  booktitle = {Proceedings of the {{IEEE}} International Conference on Big Data ({{Big Data}})},
  author = {Bertino, Elisa and {de Mel}, Geeth and Russo, Alessandra and Calo, Seraphin B. and Verma, Dinesh C.},
  year = {2017},
  pages = {2961--2969},
  url = {https://doi.org/10.1109/BigData.2017.8258265}
}

Chabierski, P., Russo, A., Law, M., & Broda, K.

Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. Proceedings of the 13th International Symposium on Commonsense Reasoning (COMMONSENSE). (2017)

@inproceedings{ChabierskiRLB17,
  title = {{Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs}},
  booktitle = {Proceedings of the 13th International Symposium on Commonsense Reasoning ({{COMMONSENSE}})},
  author = {Chabierski, Piotr and Russo, Alessandra and Law, Mark and Broda, Krysia},
  year = {2017},
  url = {http://ceur-ws.org/Vol-2052/paper5.pdf}
}

Gomoluch, P., Alrajeh, D., Russo, A., & Bucchiarone, A.

Towards learning domain-independent planning heuristics. Workshop on Architectures for Generality and Autonomy (AGA) at the 26th International Joint Conference on Artificial Intelligence (IJCAI). (2017)

@inproceedings{Gomoluch2017,
  author = {Gomoluch, Pawel and Alrajeh, Dalal and Russo, Alessandra and Bucchiarone, Antonio},
  title = {Towards learning domain-independent planning heuristics},
  booktitle = {Workshop on Architectures for Generality and Autonomy (AGA) at the 26th International Joint Conference on Artificial Intelligence (IJCAI)},
  year = {2017},
  _type = {workshop},
  url = {https://arxiv.org/abs/1707.06895}
}

Rafiq, Y., Dickens, L., Russo, A., Bandara, A. K., Yang, M., Stuart, A., Levine, M., Calikli, G., Price, B. A., & Nuseibeh, B.

Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 280–285. (2017)

@inproceedings{RafiqDRBYSLCPN17,
  title = {{Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks}},
  booktitle = {Proceedings of the 32nd {{IEEE}}/{{ACM}} International Conference on Automated Software Engineering ({{ASE}})},
  author = {Rafiq, Yasmin and Dickens, Luke and Russo, Alessandra and Bandara, Arosha K. and Yang, Mu and Stuart, Avelie and Levine, Mark and Calikli, Gul and Price, Blaine A. and Nuseibeh, Bashar},
  year = {2017},
  pages = {280--285},
  url = {https://doi.org/10.1109/ASE.2017.8115641}
}

Rankothge, W., Le, F., Russo, A., & Lobo, J.

Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms. IEEE Trans Netw Serv Manag, 14(2), 343–356. (2017)

@article{RankothgeLRL17,
  title = {{Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms}},
  author = {Rankothge, Windhya and Le, Franck and Russo, Alessandra and Lobo, Jorge},
  year = {2017},
  volume = {14},
  pages = {343--356},
  url = {https://doi.org/10.1109/TNSM.2017.2686979},
  journal = {IEEE Trans Netw Serv Manag},
  number = {2}
}

Alrajeh, D., Russo, A., Uchitel, S., & Kramer, J.

Logic-Based Learning in Software Engineering. Proceedings of the 38th International Conference on Software Engineering (ICSE), 892–893. (2016)

@inproceedings{AlrajehRUK25,
  title = {{Logic-Based Learning in Software Engineering}},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering ({{ICSE}})},
  author = {Alrajeh, Dalal and Russo, Alessandra and Uchitel, Sebasti{\'a}n and Kramer, Jeff},
  year = {2016},
  pages = {892--893},
  url = {https://doi.org/10.1145/2889160.2891050}
}

Alrajeh, D., van Lamsweerde, A., Kramer, J., Russo, A., & Uchitel, S.

Risk-Driven Revision of Requirements Models. Proceedings of the 38th International Conference on Software Engineering (ICSE), 855–865. (2016)

@inproceedings{AlrajehLKRU16,
  title = {{Risk-Driven Revision of Requirements Models}},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering ({{ICSE}})},
  author = {Alrajeh, Dalal and {van Lamsweerde}, Axel and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2016},
  pages = {855--865},
  url = {https://doi.org/10.1145/2884781.2884838}
}

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. Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART), 506–511. (2016)

@inproceedings{BikakisCCCMMRV16,
  title = {{Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots}},
  booktitle = {Proceedings of the 8th International Conference on Agents and Artificial Intelligence ({{ICAART}})},
  author = {Bikakis, Antonis and Caire, Patrice and Clark, Keith and Cornelius, Gary and Ma, Jiefei and Miller, Rob and Russo, Alessandra and Voos, Holger},
  year = {2016},
  pages = {506--511},
  url = {https://doi.org/10.5220/0005823405060511}
}

Deane, G.

Preferential Description Logics: Reasoning in the presence of inconsistencies [PhD thesis, Imperial College London]. (2016)

@phdthesis{Deane16,
  author = {Deane, Graham},
  title = {{Preferential Description Logics: Reasoning in the presence of inconsistencies}},
  school = {Imperial College London},
  year = {2016},
  url = {https://doi.org/10.25560/40430}
}

Dragiev, S., Russo, A., Broda, K., Law, M., & Turliuc, C.-R.

An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. Proceedings of the 26th International Conference on Inductive Logic Programming (ILP), 20–26. (2016)

@inproceedings{DragievRBLT16,
  title = {{An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming}},
  booktitle = {Proceedings of the 26th International Conference on Inductive Logic Programming (ILP)},
  author = {Dragiev, Stanislav and Russo, Alessandra and Broda, Krysia and Law, Mark and Turliuc, Calin-Rares},
  year = {2016},
  pages = {20--26},
  url = {http://ceur-ws.org/Vol-1865/paper-04.pdf}
}

Law, M., Russo, A., & Broda, K.

Iterative Learning of Answer Set Programs from Context Dependent Examples. Theory Pract. Log. Program., 16(5-6), 834–848. (2016)

@article{LawRB16,
  title = {{Iterative Learning of Answer Set Programs from Context Dependent Examples}},
  author = {Law, Mark and Russo, Alessandra and Broda, Krysia},
  year = {2016},
  volume = {16},
  pages = {834--848},
  url = {https://doi.org/10.1017/S1471068416000351},
  journal = {Theory Pract. Log. Program.},
  number = {5-6}
}

Ma, J., Le, F., Russo, A., & Lobo, J.

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. IEEE Trans. Knowl. Data Eng., 28(6), 1489–1502. (2016)

@article{MaLRL16,
  title = {{Declarative Framework for Specification, Simulation and Analysis of Distributed Applications}},
  author = {Ma, Jiefei and Le, Franck and Russo, Alessandra and Lobo, Jorge},
  year = {2016},
  volume = {28},
  pages = {1489--1502},
  url = {https://doi.org/10.1109/TKDE.2016.2515604},
  journal = {IEEE Trans. Knowl. Data Eng.},
  number = {6}
}

Turliuc, C.-R., Dickens, L., Russo, A., & Broda, K.

Probabilistic Abductive Logic Programming Using Dirichlet Priors. Int. J. Approx. Reason., 78, 223–240. (2016)

@article{TurliucDRB16,
  title = {{Probabilistic Abductive Logic Programming Using {{Dirichlet}} Priors}},
  author = {Turliuc, Calin-Rares and Dickens, Luke and Russo, Alessandra and Broda, Krysia},
  year = {2016},
  volume = {78},
  pages = {223--240},
  url = {https://doi.org/10.1016/j.ijar.2016.07.001},
  journal = {Int. J. Approx. Reason.}
}

Al-Negheimish, H., & Russo, A.

Reduction of ILP Search Space with Bottom-up Propositionalisation. Proceedings of the 26th International Conference on Inductive Logic Programming (ILP), 1–7. (2016)

@inproceedings{AlNegheimishR16,
  title = {{Reduction of {{ILP}} Search Space with Bottom-up Propositionalisation}},
  booktitle = {Proceedings of the 26th International Conference on Inductive Logic Programming (ILP)},
  author = {{Al-Negheimish}, Hadeel and Russo, Alessandra},
  year = {2016},
  pages = {1--7},
  url = {http://ceur-ws.org/Vol-1865/paper-01.pdf}
}

Çalikli, 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. Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 47–56. (2016)

@inproceedings{CalikliLBRDPSLN16,
  title = {{Privacy Dynamics: Learning Privacy Norms for Social Software}},
  booktitle = {Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ({{SEAMS}})},
  author = {{\c C}alikli, G{\"u}l and Law, Mark and Bandara, Arosha K. and Russo, Alessandra and Dickens, Luke and Price, Blaine A. and Stuart, Avelie and Levine, Mark and Nuseibeh, Bashar},
  year = {2016},
  pages = {47--56},
  url = {https://doi.org/10.1145/2897053.2897063}
}

Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S.

Automated Support for Diagnosis and Repair. Commun. ACM, 58(2), 65–72. (2015)

@article{AlrajehKRU15,
  title = {{Automated Support for Diagnosis and Repair}},
  author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2015},
  volume = {58},
  pages = {65--72},
  url = {https://doi.org/10.1145/2658986},
  journal = {Commun. ACM},
  number = {2}
}

Athakravi, D.

Inductive Logic Programming Using Bounded Hypothesis Space [PhD thesis, Imperial College London]. (2015)

@phdthesis{Athakravi15,
  author = {Athakravi, Duangtida},
  title = {{Inductive Logic Programming Using Bounded Hypothesis Space}},
  school = {Imperial College London},
  year = {2015},
  url = {https://doi.org/10.25560/33798}
}

Athakravi, D., Satoh, K., Law, M., Broda, K., & Russo, A.

Automated Inference of Rules with Exception from Past Legal Cases Using ASP. Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 83–96. (2015)

@inproceedings{AthakraviSLBR15,
  title = {{Automated Inference of Rules with Exception from Past Legal Cases Using {{ASP}}}},
  booktitle = {Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning ({{LPNMR}})},
  author = {Athakravi, Duangtida and Satoh, Ken and Law, Mark and Broda, Krysia and Russo, Alessandra},
  year = {2015},
  pages = {83--96},
  url = {https://doi.org/10.1007/978-3-319-23264-5_8}
}

Bucchiarone, A., Dulay, N., Lavygina, A., Marconi, A., Raik, H., & Russo, A.

An Approach for Collective Adaptation in Socio-Technical Systems. IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 43–48. (2015)

@inproceedings{BucchiaroneDLMR15,
  title = {{An Approach for Collective Adaptation in Socio-Technical Systems}},
  booktitle = {{{IEEE}} International Conference on Self-Adaptive and Self-Organizing Systems Workshops},
  author = {Bucchiarone, Antonio and Dulay, Naranker and Lavygina, Anna and Marconi, Annapaola and Raik, Heorhi and Russo, Alessandra},
  year = {2015},
  pages = {43--48},
  url = {https://doi.org/10.1109/SASOW.2015.12},
  _type = {workshop}
}

Deane, G., Broda, K., & Russo, A.

Reasoning in the Presence of Inconsistency through Preferential ALC. Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 67–80. (2015)

@inproceedings{DeaneBR15,
  title = {{Reasoning in the Presence of Inconsistency through {{Preferential ALC}}}},
  booktitle = {Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ({{LPAR}})},
  author = {Deane, Graham and Broda, Krysia and Russo, Alessandra},
  year = {2015},
  pages = {67--80},
  url = {https://easychair.org/publications/paper/Vj}
}

Lavygina, A., Russo, A., & Dulay, N.

Integrating Privacy and Safety Criteria into Planning Tasks. Proceedings of the 11th International Workshop on Security and Trust Management (STM), 20–36. (2015)

@inproceedings{LavyginaRD15,
  title = {{Integrating Privacy and Safety Criteria into Planning Tasks}},
  booktitle = {Proceedings of the 11th International Workshop on Security and Trust Management ({{STM}})},
  author = {Lavygina, Anna and Russo, Alessandra and Dulay, Naranker},
  year = {2015},
  pages = {20--36},
  url = {https://doi.org/10.1007/978-3-319-24858-5_2},
  _type = {workshop}
}

Law, M., Russo, A., & Broda, K.

Learning Weak Constraints in Answer Set Programming. Theory Pract. Log. Program., 15(4-5), 511–525. (2015)

@article{LawRB15,
  title = {{Learning Weak Constraints in Answer Set Programming}},
  author = {Law, Mark and Russo, Alessandra and Broda, Krysia},
  year = {2015},
  volume = {15},
  pages = {511--525},
  url = {https://doi.org/10.1017/S1471068415000198},
  journal = {Theory Pract. Log. Program.},
  number = {4-5}
}

Ma, J., Le, F., Russo, A., & Lobo, J.

Detecting Distributed Signature-Based Intrusion: The Case of Multi-Path Routing Attacks. Proceedings of the IEEE Conference on Computer Communications (INFOCOM), 558–566. (2015)

@inproceedings{MaLRL15,
  title = {{Detecting Distributed Signature-Based Intrusion: {{The}} Case of Multi-Path Routing Attacks}},
  booktitle = {Proceedings of the {{IEEE}} Conference on Computer Communications ({{INFOCOM}})},
  author = {Ma, Jiefei and Le, Franck and Russo, Alessandra and Lobo, Jorge},
  year = {2015},
  pages = {558--566},
  url = {https://doi.org/10.1109/INFOCOM.2015.7218423}
}

Rankothge, W., Le, F., Russo, A., & Lobo, J.

Experimental Results on the Use of Genetic Algorithms for Scaling Virtualized Network Functions. IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), 47–53. (2015)

@inproceedings{RankothgeLRL15,
  title = {{Experimental Results on the Use of Genetic Algorithms for Scaling Virtualized Network Functions}},
  booktitle = {{{IEEE}} Conference on Network Function Virtualization and Software Defined Networks ({{NFV}}-{{SDN}})},
  author = {Rankothge, Windhya and Le, Franck and Russo, Alessandra and Lobo, Jorge},
  year = {2015},
  pages = {47--53},
  url = {https://doi.org/10.1109/NFV-SDN.2015.7387405}
}

Rankothge, W., Ma, J., Le, F., Russo, A., & Lobo, J.

Towards Making Network Function Virtualization a Cloud Computing Service. Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management (IM), 89–97. (2015)

@inproceedings{RankothgeMLRL15,
  title = {{Towards Making Network Function Virtualization a Cloud Computing Service}},
  booktitle = {Proceedings of the {{IFIP}}/{{IEEE}} International Symposium on Integrated Network Management ({{IM}})},
  author = {Rankothge, Windhya and Ma, Jiefei and Le, Franck and Russo, Alessandra and Lobo, Jorge},
  year = {2015},
  pages = {89--97},
  url = {https://doi.org/10.1109/INM.2015.7140280}
}

Turliuc, C.-R., Dickens, L., Russo, A., & Broda, K.

Probabilistic Abductive Logic Programming Using Dirichlet Priors. Workshop on Probabilistic Logic Programming (PLP) at the 31st International Conference on Logic Programming (ICLP), 85–98. (2015)

@inproceedings{TurliucDRB15,
  title = {{Probabilistic Abductive Logic Programming Using Dirichlet Priors}},
  booktitle = {Workshop on Probabilistic Logic Programming (PLP) at the 31st International Conference on Logic Programming ({{ICLP}})},
  author = {Turliuc, Calin-Rares and Dickens, Luke and Russo, Alessandra and Broda, Krysia},
  year = {2015},
  pages = {85--98},
  url = {http://ceur-ws.org/Vol-1413/paper-07.pdf}
}

Athakravi, D., Alrajeh, D., Broda, K., Russo, A., & Satoh, K.

Inductive Learning Using Constraint-Driven Bias. Proceedings of the 24th International Conference on Inductive Logic Programming (ILP), 16–32. (2014)

@inproceedings{AthakraviABRS14,
  title = {{Inductive Learning Using Constraint-Driven Bias}},
  booktitle = {Proceedings of the 24th International Conference on Inductive Logic Programming ({{ILP}})},
  author = {Athakravi, Duangtida and Alrajeh, Dalal and Broda, Krysia and Russo, Alessandra and Satoh, Ken},
  year = {2014},
  pages = {16--32},
  url = {https://doi.org/10.1007/978-3-319-23708-4_2}
}

Law, M., Russo, A., & Broda, K.

Inductive Learning of Answer Set Programs. Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA), 311–325. (2014)

@inproceedings{LawRB14,
  title = {{Inductive Learning of Answer Set Programs}},
  booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence ({{JELIA}})},
  author = {Law, Mark and Russo, Alessandra and Broda, Krysia},
  year = {2014},
  pages = {311--325},
  url = {https://doi.org/10.1007/978-3-319-11558-0_22}
}

Smith, J., Lavygina, A., Ma, J., Russo, A., & Dulay, N.

Learning to Recognise Disruptive Smartphone Notifications. Proceedings of the 16th International Conference on Human-Computer Interaction with Mobile Devices & Services (MobileHCI), 121–124. (2014)

@inproceedings{SmithLMRD14,
  title = {{Learning to Recognise Disruptive Smartphone Notifications}},
  booktitle = {Proceedings of the 16th International Conference on {{Human}}-Computer Interaction with Mobile Devices \& Services ({{MobileHCI}})},
  author = {Smith, Jeremiah and Lavygina, Anna and Ma, Jiefei and Russo, Alessandra and Dulay, Naranker},
  year = {2014},
  pages = {121--124},
  url = {https://doi.org/10.1145/2628363.2628404}
}

Smith, J., Lavygina, A., Russo, A., & Dulay, N.

When Did Your Smartphone Bother You Last? Proceedings of the ACM Conference on Ubiquitous Computing (UbiComp), 409–414. (2014)

@inproceedings{SmithLRD14,
  title = {{When Did Your Smartphone Bother You Last?}},
  booktitle = {Proceedings of the {{ACM}} Conference on Ubiquitous Computing ({{UbiComp}})},
  author = {Smith, Jeremiah and Lavygina, Anna and Russo, Alessandra and Dulay, Naranker},
  year = {2014},
  pages = {409--414},
  url = {https://doi.org/10.1145/2638728.2641701}
}

Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S.

Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Softw. Eng., 39(3), 361–383. (2013)

@article{AlrajehKRU13,
  title = {{Elaborating Requirements Using Model Checking and Inductive Learning}},
  author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2013},
  volume = {39},
  pages = {361--383},
  url = {https://doi.org/10.1109/TSE.2012.41},
  journal = {IEEE Trans. Softw. Eng.},
  number = {3}
}

Alrajeh, D., Miller, R., Russo, A., & Uchitel, S.

Reasoning about Triggered Scenarios in Logic Programming. Theory Pract. Log. Program., 13(4-5-Online-Supplement). (2013)

@article{AlrajehMRU13,
  title = {{Reasoning about Triggered Scenarios in Logic Programming}},
  author = {Alrajeh, Dalal and Miller, Rob and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2013},
  volume = {13},
  url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013021.pdf},
  journal = {Theory Pract. Log. Program.},
  number = {4-5-Online-Supplement}
}

Alrajeh, D., Russo, A., Lockerbie, J., Maiden, N. A. M., Mavin, A., & Novak, M.

Computational Alignment of Goals and Scenarios for Complex Systems. Proceedings of the 35th International Conference on Software Engineering (ICSE), 1249–1252. (2013)

@inproceedings{AlrajehRLMMN04,
  title = {{Computational Alignment of Goals and Scenarios for Complex Systems}},
  booktitle = {Proceedings of the 35th International Conference on Software Engineering ({{ICSE}})},
  author = {Alrajeh, Dalal and Russo, Alessandra and Lockerbie, James and Maiden, Neil A. M. and Mavin, Alistair and Novak, Mark},
  year = {2013},
  pages = {1249--1252},
  url = {https://doi.org/10.1109/ICSE.2013.6606690}
}

Athakravi, D., Corapi, D., Broda, K., & Russo, A.

Learning through Hypothesis Refinement Using Answer Set Programming. Proceedings of the 23rd International Conference on Inductive Logic Programming (ILP), 31–46. (2013)

@inproceedings{AthakraviCBR13,
  title = {{Learning through Hypothesis Refinement Using Answer Set Programming}},
  booktitle = {Proceedings of the 23rd International Conference on Inductive Logic Programming ({{ILP}})},
  author = {Athakravi, Duangtida and Corapi, Domenico and Broda, Krysia and Russo, Alessandra},
  year = {2013},
  pages = {31--46},
  url = {https://doi.org/10.1007/978-3-662-44923-3_3}
}

Ma, J., Le, F., Wood, D., Russo, A., & Lobo, J.

A Declarative Approach to Distributed Computing: Specification, Execution and Analysis. Theory Pract. Log. Program., 13(4-5), 815–830. (2013)

@article{MaLWRL13,
  title = {{A Declarative Approach to Distributed Computing: {{Specification}}, Execution and Analysis}},
  author = {Ma, Jiefei and Le, Franck and Wood, David and Russo, Alessandra and Lobo, Jorge},
  year = {2013},
  volume = {13},
  pages = {815--830},
  url = {https://doi.org/10.1017/S1471068413000513},
  journal = {Theory Pract. Log. Program.},
  number = {4-5}
}

Sykes, D., Corapi, D., Magee, J., Kramer, J., Russo, A., & Inoue, K.

Learning Revised Models for Planning in Adaptive Systems. Proceedings of the 35th International Conference on Software Engineering (ICSE), 63–71. (2013)

@inproceedings{SykesCMKRI13,
  title = {{Learning Revised Models for Planning in Adaptive Systems}},
  booktitle = {Proceedings of the 35th International Conference on Software Engineering ({{ICSE}})},
  author = {Sykes, Daniel and Corapi, Domenico and Magee, Jeff and Kramer, Jeff and Russo, Alessandra and Inoue, Katsumi},
  year = {2013},
  pages = {63--71},
  url = {https://doi.org/10.1109/ICSE.2013.6606552}
}

Turliuc, C.-R., Maimari, N., Russo, A., & Broda, K.

On Minimality and Integrity Constraints in Probabilistic Abduction. Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 759–775. (2013)

@inproceedings{TurliucMRB13,
  title = {{On Minimality and Integrity Constraints in Probabilistic Abduction}},
  booktitle = {Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ({{LPAR}})},
  author = {Turliuc, Calin-Rares and Maimari, Nataly and Russo, Alessandra and Broda, Krysia},
  year = {2013},
  pages = {759--775},
  url = {https://doi.org/10.1007/978-3-642-45221-5_51}
}

Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V. A., Chechik, M., de Caso, G., D’Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., & Sibay, G. E.

Supporting Incremental Behaviour Model Elaboration. Comput Sci Res Dev, 28(4), 279–293. (2013)

@article{UchitelABBCCDFGKRS13,
  title = {{Supporting Incremental Behaviour Model Elaboration}},
  author = {Uchitel, Sebasti{\'a}n and Alrajeh, Dalal and {Ben-David}, Shoham and Braberman, V{\'i}ctor A. and Chechik, Marsha and {de Caso}, Guido and D'Ippolito, Nicol{\'a}s and Fischbein, Dario and Garbervetsky, Diego and Kramer, Jeff and Russo, Alessandra and Sibay, German E.},
  year = {2013},
  volume = {28},
  pages = {279--293},
  url = {https://doi.org/10.1007/s00450-012-0233-1},
  journal = {Comput Sci Res Dev},
  number = {4}
}

Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S.

Learning from Vacuously Satisfiable Scenario-Based Specifications. Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE), 377–393. (2012)

@inproceedings{AlrajehKRU12,
  title = {{Learning from Vacuously Satisfiable Scenario-Based Specifications}},
  booktitle = {Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering ({{FASE}})},
  author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2012},
  pages = {377--393},
  url = {https://doi.org/10.1007/978-3-642-28872-2_26}
}

Alrajeh, D., Kramer, J., van Lamsweerde, A., Russo, A., & Uchitel, S.

Generating Obstacle Conditions for Requirements Completeness. Proceedings of the 34th International Conference on Software Engineering (ICSE), 705–715. (2012)

@inproceedings{AlrajehKLRU12,
  title = {{Generating Obstacle Conditions for Requirements Completeness}},
  booktitle = {Proceedings of the 34th International Conference on Software Engineering ({{ICSE}})},
  author = {Alrajeh, Dalal and Kramer, Jeff and {van Lamsweerde}, Axel and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2012},
  pages = {705--715},
  url = {https://doi.org/10.1109/ICSE.2012.6227147}
}

Athakravi, D., Broda, K., & Russo, A.

Predicate Invention in Inductive Logic Programming. Imperial College Computing Student Workshop (ICCSW), 15–21. (2012)

@inproceedings{AthakraviBR12,
  title = {{Predicate Invention in Inductive Logic Programming}},
  booktitle = {Imperial College Computing Student Workshop ({{ICCSW}})},
  author = {Athakravi, Duangtida and Broda, Krysia and Russo, Alessandra},
  year = {2012},
  pages = {15--21},
  url = {https://doi.org/10.4230/OASIcs.ICCSW.2012.15},
  _type = {workshop}
}

Athakravi, D., Corapi, D., Russo, A., Vos, M. D., Padget, J. A., & Satoh, K.

Handling Change in Normative Specifications. Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 1369–1370. (2012)

@inproceedings{AthakraviCRVPS12,
  title = {{Handling Change in Normative Specifications}},
  booktitle = {Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
  author = {Athakravi, Duangtida and Corapi, Domenico and Russo, Alessandra and Vos, Marina De and Padget, Julian A. and Satoh, Ken},
  year = {2012},
  pages = {1369--1370},
  url = {http://dl.acm.org/citation.cfm?id=2344010}
}

Becker, M. Y., Russo, A., & Sultana, N.

Foundations of Logic-Based Trust Management. IEEE Symposium on Security and Privacy (SP), 161–175. (2012)

@inproceedings{BeckerRS12,
  title = {{Foundations of Logic-Based Trust Management}},
  booktitle = {{{IEEE}} Symposium on Security and Privacy ({{SP}})},
  author = {Becker, Moritz Y. and Russo, Alessandra and Sultana, Nik},
  year = {2012},
  pages = {161--175},
  url = {https://doi.org/10.1109/SP.2012.20}
}

Dickens, L., Molloy, I., Lobo, J., Cheng, P.-C., & Russo, A.

Learning Stochastic Models of Information Flow. Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE), 570–581. (2012)

@inproceedings{DickensMLCR12,
  title = {{Learning Stochastic Models of Information Flow}},
  booktitle = {Proceedings of the {{IEEE}} 28th International Conference on Data Engineering ({{ICDE}})},
  author = {Dickens, Luke and Molloy, Ian and Lobo, Jorge and Cheng, Pau-Chen and Russo, Alessandra},
  year = {2012},
  pages = {570--581},
  url = {https://doi.org/10.1109/ICDE.2012.103}
}

Lobo, J., Ma, J., Russo, A., & Le, F.

Declarative Distributed Computing. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz (pp. 454–470). Springer. (2012)

@inbook{LoboMRL12,
  title = {{Declarative Distributed Computing}},
  booktitle = {Correct Reasoning - Essays on Logic-Based {{AI}} in Honour of Vladimir Lifschitz},
  author = {Lobo, Jorge and Ma, Jiefei and Russo, Alessandra and Le, Franck},
  year = {2012},
  pages = {454--470},
  publisher = {{Springer}},
  url = {https://doi.org/10.1007/978-3-642-30743-0_31},
  _type = {book}
}

Molloy, I., Dickens, L., Morisset, C., Cheng, P.-C., Lobo, J., & Russo, A.

Risk-Based Security Decisions under Uncertainty. Proceedings of the 2nd ACM Conference on Data and Application Security and Privacy (CODASPY), 157–168. (2012)

@inproceedings{MolloyDMCLR12,
  title = {{Risk-Based Security Decisions under Uncertainty}},
  booktitle = {Proceedings of the 2nd {{ACM}} Conference on Data and Application Security and Privacy ({{CODASPY}})},
  author = {Molloy, Ian and Dickens, Luke and Morisset, Charles and Cheng, Pau-Chen and Lobo, Jorge and Russo, Alessandra},
  year = {2012},
  pages = {157--168},
  url = {https://doi.org/10.1145/2133601.2133622}
}

Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S.

An Inductive Approach for Modal Transition System Refinement. Technical Communications of the 27th International Conference on Logic Programming (ICLP), 106–116. (2011)

@inproceedings{AlrajehKRU11,
  title = {{An Inductive Approach for Modal Transition System Refinement}},
  booktitle = {Technical Communications of the 27th International Conference on Logic Programming ({{ICLP}})},
  author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2011},
  pages = {106--116},
  url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.106}
}

Alrajeh, D., Russo, A., Uchitel, S., & Kramer, J.

Integrating Model Checking and Inductive Logic Programming. Proceedings of the 21st International Conference on Inductive Logic Programming (ILP), 45–60. (2011)

@inproceedings{AlrajehRUK12,
  title = {{Integrating Model Checking and Inductive Logic Programming}},
  booktitle = {Proceedings of the 21st International Conference on Inductive Logic Programming ({{ILP}})},
  author = {Alrajeh, Dalal and Russo, Alessandra and Uchitel, Sebasti{\'a}n and Kramer, Jeff},
  year = {2011},
  pages = {45--60},
  url = {https://doi.org/10.1007/978-3-642-31951-8_9}
}

Corapi, D.

Nonmonotonic Inductive Logic Programming as Abductive Search [PhD thesis, Imperial College London]. (2011)

@phdthesis{Corapi11,
  author = {Corapi, Domenico},
  title = {{Nonmonotonic Inductive Logic Programming as Abductive Search}},
  school = {Imperial College London},
  year = {2011},
  url = {https://doi.org/10.25560/9814}
}

Corapi, D., Russo, A., & Lupu, E.

Inductive Logic Programming in Answer Set Programming. Proceedings of the 21st International Conference on Inductive Logic Programming (ILP), 91–97. (2011)

@inproceedings{CorapiRL12,
  title = {{Inductive Logic Programming in Answer Set Programming}},
  booktitle = {Proceedings of the 21st International Conference on Inductive Logic Programming ({{ILP}})},
  author = {Corapi, Domenico and Russo, Alessandra and Lupu, Emil},
  year = {2011},
  pages = {91--97},
  url = {https://doi.org/10.1007/978-3-642-31951-8_12}
}

Corapi, D., Sykes, D., Inoue, K., & Russo, A.

Probabilistic Rule Learning in Nonmonotonic Domains. International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), 243–258. (2011)

@inproceedings{CorapiSIR11,
  title = {{Probabilistic Rule Learning in Nonmonotonic Domains}},
  booktitle = {International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)},
  author = {Corapi, Domenico and Sykes, Daniel and Inoue, Katsumi and Russo, Alessandra},
  year = {2011},
  pages = {243--258},
  _type = {workshop},
  url = {https://doi.org/10.1007/978-3-642-22359-4_17}
}

Craven, R., Lobo, J., Lupu, E., Russo, A., & Sloman, M.

Policy Refinement: Decomposition and Operationalization for Dynamic Domains. Proceedings of the 7th International Conference on Network and Service Management (CNSM), 1–9. (2011)

@inproceedings{CravenLLRS11,
  title = {{Policy Refinement: {{Decomposition}} and Operationalization for Dynamic Domains}},
  booktitle = {Proceedings of the 7th International Conference on Network and Service Management ({{CNSM}})},
  author = {Craven, Robert and Lobo, Jorge and Lupu, Emil and Russo, Alessandra and Sloman, Morris},
  year = {2011},
  pages = {1--9},
  url = {http://ieeexplore.ieee.org/document/6103981/}
}

Kimber, T.

Learning Definite and Normal Logic Programs by Induction on Failure [PhD thesis, Imperial College London]. (2011)

@phdthesis{Kimber11,
  author = {Kimber, Timothy},
  title = {{Learning Definite and Normal Logic Programs by Induction on Failure}},
  school = {Imperial College London},
  year = {2011},
  url = {https://doi.org/10.25560/9961}
}

Lobo, J., Ma, J., Russo, A., Lupu, E., Calo, S. B., & Sloman, M.

Refinement of History-Based Policies. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday (pp. 280–299). Springer. (2011)

@inbook{LoboMRLCS11,
  title = {{Refinement of History-Based Policies}},
  booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday},
  author = {Lobo, Jorge and Ma, Jiefei and Russo, Alessandra and Lupu, Emil and Calo, Seraphin B. and Sloman, Morris},
  year = {2011},
  pages = {280--299},
  publisher = {{Springer}},
  url = {https://doi.org/10.1007/978-3-642-20832-4_18},
  _type = {book}
}

Ma, J.

Distributed Abductive Reasoning: Theory, Implementation and Application [PhD thesis, Imperial College London]. (2011)

@phdthesis{Ma11,
  author = {Ma, Jiefei},
  title = {{Distributed Abductive Reasoning: Theory, Implementation and Application}},
  school = {Imperial College London},
  year = {2011},
  url = {https://doi.org/10.25560/9163}
}

Ma, J., Russo, A., Broda, K., & Lupu, E.

Multi-Agent Abductive Reasoning with Confidentiality. Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 1137–1138. (2011)

@inproceedings{MaRBL11,
  title = {{Multi-Agent Abductive Reasoning with Confidentiality}},
  booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems ({{AAMAS}})},
  author = {Ma, Jiefei and Russo, Alessandra and Broda, Krysia and Lupu, Emil},
  year = {2011},
  pages = {1137--1138},
  url = {http://portal.acm.org/citation.cfm?id=2034456&CFID=69154334&CFTOKEN=45298625}
}

Markitanis, A., Corapi, D., Russo, A., & Lupu, E. C.

Learning User Behaviours in Real Mobile Domains. Latest Advances in Inductive Logic Programming (ILP), 43–51. (2011)

@inproceedings{MarkitanisCRL11,
  title = {{Learning User Behaviours in Real Mobile Domains}},
  booktitle = {Latest Advances in Inductive Logic Programming ({{ILP}})},
  author = {Markitanis, Andreas and Corapi, Domenico and Russo, Alessandra and Lupu, Emil C.},
  year = {2011},
  pages = {43--51},
  url = {https://doi.org/10.1142/9781783265091_0006}
}

Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S.

Deriving Non-Zeno Behaviour Models from Goal Models Using ILP. Form. Asp. Comput, 22(3-4), 217–241. (2010)

@article{AlrajehKRU10,
  title = {{Deriving Non-{{Zeno}} Behaviour Models from Goal Models Using {{ILP}}}},
  author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2010},
  volume = {22},
  pages = {217--241},
  url = {https://doi.org/10.1007/s00165-009-0128-5},
  journal = {Form. Asp. Comput},
  number = {3-4}
}

Casale, S., Russo, A., & Serrano, S.

Analysis of Robustness of Attributes Selection Applied to Speech Emotion Recognition. Proceedings of the 18th European Signal Processing Conference (EUSIPCO), 1174–1178. (2010)

@inproceedings{CasaleRS10,
  title = {{Analysis of Robustness of Attributes Selection Applied to Speech Emotion Recognition}},
  booktitle = {Proceedings of the 18th European Signal Processing Conference ({{EUSIPCO}})},
  author = {Casale, Salvatore and Russo, Alessandra and Serrano, Salvatore},
  year = {2010},
  pages = {1174--1178},
  url = {http://ieeexplore.ieee.org/document/7096476/}
}

Corapi, D., Russo, A., & Lupu, E.

Inductive Logic Programming as Abductive Search. Technical Communications of the 26th International Conference on Logic Programming (ICLP), 54–63. (2010)

@inproceedings{CorapiRL10,
  title = {{Inductive Logic Programming as Abductive Search}},
  booktitle = {Technical Communications of the 26th International Conference on Logic Programming ({{ICLP}})},
  author = {Corapi, Domenico and Russo, Alessandra and Lupu, Emil},
  year = {2010},
  pages = {54--63},
  url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.54}
}

Corapi, D., Vos, M. D., Padget, J. A., Russo, A., & Satoh, K.

Norm Refinement and Design through Inductive Learning. International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN), 77–94. (2010)

@inproceedings{CorapiVPRS10,
  title = {{Norm Refinement and Design through Inductive Learning}},
  booktitle = {International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN)},
  author = {Corapi, Domenico and Vos, Marina De and Padget, Julian A. and Russo, Alessandra and Satoh, Ken},
  year = {2010},
  pages = {77--94},
  _type = {workshop},
  url = {https://doi.org/10.1007/978-3-642-21268-0_5}
}

Craven, R., Lobo, J., Lupu, E. C., Russo, A., & Sloman, M.

Decomposition Techniques for Policy Refinement. Proceedings of the 6th International Conference on Network and Service Management (CNSM), 72–79. (2010)

@inproceedings{CravenLLRS10,
  title = {{Decomposition Techniques for Policy Refinement}},
  booktitle = {Proceedings of the 6th International Conference on Network and Service Management ({{CNSM}})},
  author = {Craven, Robert and Lobo, Jorge and Lupu, Emil C. and Russo, Alessandra and Sloman, Morris},
  year = {2010},
  pages = {72--79},
  url = {https://doi.org/10.1109/CNSM.2010.5691331}
}

Dickens, L., Broda, K., & Russo, A.

The Dynamics of Multi-Agent Reinforcement Learning. Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), 367–372. (2010)

@inproceedings{DickensBR10,
  title = {{The Dynamics of Multi-Agent Reinforcement Learning}},
  booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence (ECAI)},
  author = {Dickens, Luke and Broda, Krysia and Russo, Alessandra},
  year = {2010},
  pages = {367--372},
  url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17774}
}

Gabbay, D. M., Rodrigues, O., & Russo, A.

Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Springer. (2010)

@book{GabbayRR10,
  title = {{Revision, Acceptability and Context - Theoretical and Algorithmic Aspects}},
  author = {Gabbay, Dov M. and Rodrigues, Odinaldo and Russo, Alessandra},
  year = {2010},
  publisher = {{Springer}},
  url = {https://doi.org/10.1007/978-3-642-14159-1},
  isbn = {978-3-642-14158-4},
  series = {Cognitive Technologies}
}

Hosobe, H., Satoh, K., Ma, J., Russo, A., & Broda, K.

Speculative Constraint Processing for Hierarchical Agents. AI Commun. Eur. J. Artif. Intell., 23(4), 373–388. (2010)

@article{HosobeSMRB10,
  title = {{Speculative Constraint Processing for Hierarchical Agents}},
  author = {Hosobe, Hiroshi and Satoh, Ken and Ma, Jiefei and Russo, Alessandra and Broda, Krysia},
  year = {2010},
  volume = {23},
  pages = {373--388},
  url = {https://doi.org/10.3233/AIC-2010-0480},
  journal = {AI Commun. Eur. J. Artif. Intell.},
  number = {4}
}

Ma, J., Broda, K., Goebel, R., Hosobe, H., Russo, A., & Satoh, K.

Speculative Abductive Reasoning for Hierarchical Agent Systems. International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), 49–64. (2010)

@inproceedings{MaBGHRS10,
  title = {{Speculative Abductive Reasoning for Hierarchical Agent Systems}},
  booktitle = {International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)},
  author = {Ma, Jiefei and Broda, Krysia and Goebel, Randy and Hosobe, Hiroshi and Russo, Alessandra and Satoh, Ken},
  year = {2010},
  pages = {49--64},
  _type = {workshop},
  url = {https://doi.org/10.1007/978-3-642-14977-1_7}
}

Ma, J., Broda, K., Russo, A., & Lupu, E.

Distributed Abductive Reasoning with Constraints. International Workshop on Declarative Agent Languages and Technologies (DALT), 148–166. (2010)

@inproceedings{MaBRL10,
  title = {{Distributed Abductive Reasoning with Constraints}},
  booktitle = {International Workshop on Declarative Agent Languages and Technologies ({{DALT}})},
  author = {Ma, Jiefei and Broda, Krysia and Russo, Alessandra and Lupu, Emil},
  year = {2010},
  pages = {148--166},
  _type = {workshop},
  url = {https://doi.org/10.1007/978-3-642-20715-0_9}
}

Ma, J., Russo, A., Broda, K., & Lupu, E.

Distributed Abductive Reasoning with Constraints. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 1381–1382. (2010)

@inproceedings{MaRBL10,
  title = {{Distributed Abductive Reasoning with Constraints}},
  booktitle = {Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems ({{AAMAS}})},
  author = {Ma, Jiefei and Russo, Alessandra and Broda, Krysia and Lupu, Emil},
  year = {2010},
  pages = {1381--1382},
  url = {https://dl.acm.org/citation.cfm?id=1838392}
}

Maggi, F. M., Corapi, D., Russo, A., Lupu, E., & Visaggio, G.

Revising Process Models through Inductive Learning. Business Process Management Workshops, 66, 182–193. (2010)

@inproceedings{MaggiCRLV10,
  title = {{Revising Process Models through Inductive Learning}},
  booktitle = {Business Process Management Workshops},
  author = {Maggi, Fabrizio Maria and Corapi, Domenico and Russo, Alessandra and Lupu, Emil and Visaggio, Giuseppe},
  year = {2010},
  volume = {66},
  pages = {182--193},
  url = {https://doi.org/10.1007/978-3-642-20511-8_16}
}

Alrajeh, D.

Requirements Elaboration Using Model Checking and Inductive Learning [PhD thesis]. Imperial College London. (2009)

@phdthesis{Alrajeh09,
  author = {Alrajeh, Dalal},
  title = {{Requirements Elaboration Using Model Checking and Inductive Learning}},
  school = {Imperial College London},
  year = {2009}
}

Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S.

Learning Operational Requirements from Goal Models. Proceedings of the 31st International Conference on Software Engineering (ICSE), 265–275. (2009)

@inproceedings{AlrajehKRU09,
  title = {{Learning Operational Requirements from Goal Models}},
  booktitle = {Proceedings of the 31st International Conference on Software Engineering ({{ICSE}})},
  author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2009},
  pages = {265--275},
  url = {https://doi.org/10.1109/ICSE.2009.5070527}
}

Alrajeh, D., Ray, O., Russo, A., & Uchitel, S.

Using Abduction and Induction for Operational Requirements Elaboration. J. Appl. Log., 7(3), 275–288. (2009)

@article{AlrajehRRU09,
  title = {{Using Abduction and Induction for Operational Requirements Elaboration}},
  author = {Alrajeh, Dalal and Ray, Oliver and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2009},
  volume = {7},
  pages = {275--288},
  url = {https://doi.org/10.1016/j.jal.2008.10.002},
  journal = {J. Appl. Log.},
  number = {3}
}

Bandara, A. K., Kakas, A. C., Lupu, E. C., & Russo, A.

Using Argumentation Logic for Firewall Configuration Management. Proceedings of the 11th IFIP/IEEE International Symposium on Integrated Network Management (IM), 180–187. (2009)

@inproceedings{BandaraKLR09,
  title = {{Using Argumentation Logic for Firewall Configuration Management}},
  booktitle = {Proceedings of the 11th {{IFIP}}/{{IEEE}} International Symposium on Integrated Network Management (IM)},
  author = {Bandara, Arosha K. and Kakas, Antonis C. and Lupu, Emil C. and Russo, Alessandra},
  year = {2009},
  pages = {180--187},
  url = {https://doi.org/10.1109/INM.2009.5188808}
}

Beritelli, F., Casale, S., Russo, A., & Serrano, S.

Adaptive V/UV Speech Detection Based on Characterization of Background Noise. EURASIP J Audio Speech Music Process, 2009. (2009)

@article{BeritelliCRS09,
  title = {{Adaptive {{V}}/{{UV}} Speech Detection Based on Characterization of Background Noise}},
  author = {Beritelli, Francesco and Casale, Salvatore and Russo, Alessandra and Serrano, Salvatore},
  year = {2009},
  volume = {2009},
  url = {https://doi.org/10.1155/2009/965436},
  journal = {EURASIP J Audio Speech Music Process}
}

Broda, K., Clark, K., Miller, R., & Russo, A.

SAGE: A Logical Agent-Based Environment Monitoring and Control System. Proceedings of the European Conference on Ambient Intelligence (AmI), 112–117. (2009)

@inproceedings{BrodaCMR09,
  title = {{{SAGE}}: {{A}} Logical Agent-Based Environment Monitoring and Control System},
  booktitle = {Proceedings of the European Conference on Ambient Intelligence ({{AmI}})},
  author = {Broda, Krysia and Clark, Keith and Miller, Rob and Russo, Alessandra},
  year = {2009},
  pages = {112--117},
  url = {https://doi.org/10.1007/978-3-642-05408-2_14}
}

Charalambides, M., Flegkas, P., Pavlou, G., Rubio-Loyola, J., Bandara, A. K., Lupu, E. C., Russo, A., Dulay, N., & Sloman, M.

Policy Conflict Analysis for Diffserv Quality of Service Management. IEEE Trans Netw Serv Manag, 6(1), 15–30. (2009)

@article{CharalambidesFPRBLRDS09,
  title = {{Policy Conflict Analysis for Diffserv Quality of Service Management}},
  author = {Charalambides, Marinos and Flegkas, Paris and Pavlou, George and {Rubio-Loyola}, Javier and Bandara, Arosha K. and Lupu, Emil C. and Russo, Alessandra and Dulay, Naranker and Sloman, Morris},
  year = {2009},
  volume = {6},
  pages = {15--30},
  url = {https://doi.org/10.1109/TNSM.2009.090302},
  journal = {IEEE Trans Netw Serv Manag},
  number = {1}
}

Corapi, D., Ray, O., Russo, A., Bandara, A. K., & Lupu, E. C.

Learning Rules from User Behaviour. Proceedings of the 5th IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 459–468. (2009)

@inproceedings{CorapiRRBL09,
  title = {{Learning Rules from User Behaviour}},
  booktitle = {Proceedings of the 5th IFIP Conference on Artificial Intelligence Applications and Innovations ({{AIAI}})},
  author = {Corapi, Domenico and Ray, Oliver and Russo, Alessandra and Bandara, Arosha K. and Lupu, Emil C.},
  year = {2009},
  pages = {459--468},
  url = {https://doi.org/10.1007/978-1-4419-0221-4_54}
}

Craven, R., Lobo, J., Lupu, E., Russo, A., & Sloman, M.

Security Policy Refinement Using Data Integration: A Position Paper. Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration (SafeConfig), 25–28. (2009)

@inproceedings{CravenLLRS09,
  title = {{Security Policy Refinement Using Data Integration: A Position Paper}},
  booktitle = {Proceedings of the 2nd {{ACM}} Workshop on Assurable and Usable Security Configuration ({{SafeConfig}})},
  author = {Craven, Robert and Lobo, Jorge and Lupu, Emil and Russo, Alessandra and Sloman, Morris},
  year = {2009},
  pages = {25--28},
  url = {https://doi.org/10.1145/1655062.1655068},
  _type = {workshop}
}

Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E. C., & Bandara, A. K.

Expressive Policy Analysis with Enhanced System Dynamicity. Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security (ASIACCS), 239–250. (2009)

@inproceedings{CravenLMRLB09,
  title = {{Expressive Policy Analysis with Enhanced System Dynamicity}},
  booktitle = {Proceedings of the 2009 {{ACM}} Symposium on Information, Computer and Communications Security ({{ASIACCS}})},
  author = {Craven, Robert and Lobo, Jorge and Ma, Jiefei and Russo, Alessandra and Lupu, Emil C. and Bandara, Arosha K.},
  year = {2009},
  pages = {239--250},
  url = {https://doi.org/10.1145/1533057.1533091}
}

Dickens, L.

Learning to Act Stochastically [PhD thesis, Imperial College London]. (2009)

@phdthesis{Dickens09,
  author = {Dickens, Luke},
  title = {{Learning to Act Stochastically}},
  school = {Imperial College London},
  year = {2009},
  url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.367.4138&rep=rep1&type=pdf}
}

Kimber, T., Broda, K., & Russo, A.

Induction on Failure: Learning Connected Horn Theories. Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 169–181. (2009)

@inproceedings{KimberBR09,
  title = {{Induction on Failure: {{Learning}} Connected Horn Theories}},
  booktitle = {Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning ({{LPNMR}})},
  author = {Kimber, Tim and Broda, Krysia and Russo, Alessandra},
  year = {2009},
  pages = {169--181},
  url = {https://doi.org/10.1007/978-3-642-04238-6_16}
}

Ma, J., Russo, A., Broda, K., Hosobe, H., & Satoh, K.

On the Implementation of Speculative Constraint Processing. International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), 178–195. (2009)

@inproceedings{MaRBHS09,
  title = {{On the Implementation of Speculative Constraint Processing}},
  booktitle = {International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)},
  author = {Ma, Jiefei and Russo, Alessandra and Broda, Krysia and Hosobe, Hiroshi and Satoh, Ken},
  year = {2009},
  pages = {178--195},
  _type = {workshop},
  url = {https://doi.org/10.1007/978-3-642-16867-3_10}
}

Ma, J., Russo, A., Broda, K., & Lupu, E.

Multi-Agent Planning with Confidentiality. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 1275–1276. (2009)

@inproceedings{MaRBL09,
  title = {{Multi-Agent Planning with Confidentiality}},
  booktitle = {Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems ({{AAMAS}})},
  author = {Ma, Jiefei and Russo, Alessandra and Broda, Krysia and Lupu, Emil},
  year = {2009},
  pages = {1275--1276},
  url = {https://dl.acm.org/citation.cfm?id=1558249}
}

Alrajeh, D., Russo, A., & Uchitel, S.

Deriving Non-Zeno Behavior Models from Goal Models Using ILP. Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE), 1–15. (2008)

@inproceedings{AlrajehRU08,
  title = {{Deriving Non-Zeno Behavior Models from Goal Models Using {{ILP}}}},
  booktitle = {Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering ({{FASE}})},
  author = {Alrajeh, Dalal and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2008},
  pages = {1--15},
  url = {https://doi.org/10.1007/978-3-540-78743-3_1}
}

Casale, S., Russo, A., Scebba, G., & Serrano, S.

Speech Emotion Classification Using Machine Learning Algorithms. Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC), 158–165. (2008)

@inproceedings{CasaleRSS08,
  title = {{Speech Emotion Classification Using Machine Learning Algorithms}},
  booktitle = {Proceedings of the 2th {{IEEE}} International Conference on Semantic Computing ({{ICSC}})},
  author = {Casale, Salvatore and Russo, Alessandra and Scebba, G. and Serrano, Salvatore},
  year = {2008},
  pages = {158--165},
  url = {https://doi.org/10.1109/ICSC.2008.43}
}

Gabbay, D. M., Rodrigues, O., & Russo, A.

Belief Revision in Non-Classical Logics. Rev. Symb. Log., 1(3), 267–304. (2008)

@article{GabbayRR08,
  title = {{Belief Revision in Non-{{Classical}} Logics}},
  author = {Gabbay, Dov M. and Rodrigues, Odinaldo and Russo, Alessandra},
  year = {2008},
  volume = {1},
  pages = {267--304},
  url = {https://doi.org/10.1017/S1755020308080246},
  journal = {Rev. Symb. Log.},
  number = {3}
}

Ma, J., Broda, K., Russo, A., & Clark, K.

A Dynamic System for Distributed Reasoning. Proceedings of the AAAI 2008 Spring Symposium on Architectures for Intelligent Theory-Based Agents, 31–36. (2008)

@inproceedings{MaBRC08,
  title = {{A Dynamic System for Distributed Reasoning}},
  booktitle = {Proceedings of the {AAAI} 2008 Spring Symposium on Architectures for Intelligent Theory-Based Agents},
  author = {Ma, Jiefei and Broda, Krysia and Russo, Alessandra and Clark, Keith},
  year = {2008},
  pages = {31--36},
  url = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-006.php}
}

Ma, J., Russo, A., Broda, K., & Clark, K.

DARE: A System for Distributed Abductive Reasoning. Auton Agents Multi Agent Syst, 16(3), 271–297. (2008)

@article{MaRBC08,
  title = {{{{DARE}}: A System for Distributed Abductive Reasoning}},
  author = {Ma, Jiefei and Russo, Alessandra and Broda, Krysia and Clark, Keith},
  year = {2008},
  volume = {16},
  pages = {271--297},
  url = {https://doi.org/10.1007/s10458-008-9028-y},
  journal = {Auton Agents Multi Agent Syst},
  number = {3}
}

Bandara, A. K., Russo, A., & Lupu, E. C.

Towards Learning Privacy Policies. 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), 274. (2007)

@inproceedings{BandaraRL07,
  title = {{Towards Learning Privacy Policies}},
  booktitle = {8th {{IEEE}} International Workshop on Policies for Distributed Systems and Networks ({{POLICY}})},
  author = {Bandara, Arosha K. and Russo, Alessandra and Lupu, Emil C.},
  year = {2007},
  pages = {274},
  url = {https://doi.org/10.1109/POLICY.2007.45},
  _type = {workshop}
}

Casale, S., Russo, A., & Serrano, S.

Multistyle Classification of Speech under Stress Using Feature Subset Selection Based on Genetic Algorithms. Speech Commun., 49(10-11), 801–810. (2007)

@article{CasaleRS07,
  title = {{Multistyle Classification of Speech under Stress Using Feature Subset Selection Based on Genetic Algorithms}},
  author = {Casale, Salvatore and Russo, Alessandra and Serrano, Salvatore},
  year = {2007},
  volume = {49},
  pages = {801--810},
  url = {https://doi.org/10.1016/j.specom.2007.04.012},
  journal = {Speech Commun.},
  number = {10-11}
}

Heaven, W. J. D.

Object-Oriented Specification: Analysable Patterns and Change Management [PhD thesis]. Imperial College London. (2007)

@phdthesis{Heaven07,
  author = {Heaven, William John Douglas},
  title = {{Object-Oriented Specification: Analysable Patterns and Change Management}},
  school = {Imperial College London},
  year = {2007}
}

Maraviglia, G., Masi, M., Merlo, V., Licandro, F., Russo, A., & Schembra, G.

Synchronous Multipoint E-Learning Realized on an Intelligent Software-Router Platform over Unicast Networks: Design and Performance Issues. Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1172–1179. (2007)

@inproceedings{MaravigliaMMLRS07,
  title = {{Synchronous Multipoint {{E}}-Learning Realized on an Intelligent Software-Router Platform over Unicast Networks: {{Design}} and Performance Issues}},
  booktitle = {Proceedings of 12th {{IEEE}} International Conference on Emerging Technologies and Factory Automation ({{ETFA}})},
  author = {Maraviglia, Giuseppe and Masi, Marina and Merlo, Vincenzo and Licandro, Francesco and Russo, Alessandra and Schembra, Giovanni},
  year = {2007},
  pages = {1172--1179},
  url = {https://doi.org/10.1109/EFTA.2007.4416914}
}

Alrajeh, D., Ray, O., Russo, A., & Uchitel, S.

Extracting Requirements from Scenarios with ILP. Proceedings of the 16th International Conference on Inductive Logic Programming (ILP), 64–78. (2006)

@inproceedings{AlrajehRRU06,
  title = {{Extracting Requirements from Scenarios with {{ILP}}}},
  booktitle = {Proceedings of the 16th International Conference on Inductive Logic Programming ({{ILP}})},
  author = {Alrajeh, Dalal and Ray, Oliver and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2006},
  pages = {64--78},
  url = {https://doi.org/10.1007/978-3-540-73847-3_14}
}

Alrajeh, D., Russo, A., & Uchitel, S.

Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning. Proceedings of the International Workshop on Scenarios and State Machines (SCESM): Models, Algorithms, and Tools, 29–36. (2006)

@inproceedings{AlrajehRU06,
  title = {{Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning}},
  booktitle = {Proceedings of the International Workshop on Scenarios and State Machines (SCESM): {{Models}}, Algorithms, and Tools},
  author = {Alrajeh, Dalal and Russo, Alessandra and Uchitel, Sebasti{\'a}n},
  year = {2006},
  pages = {29--36},
  url = {https://doi.org/10.1145/1138953.1138960},
  _type = {workshop}
}

Bandara, A. K., Kakas, A. C., Lupu, E. C., & Russo, A.

Using Argumentation Logic for Firewall Policy Specification and Analysis. International Workshop on Distributed Systems: Operations and Management (DSOM), 185–196. (2006)

@inproceedings{BandaraKLR06,
  title = {{Using Argumentation Logic for Firewall Policy Specification and Analysis}},
  booktitle = {International Workshop on Distributed Systems: {{Operations}} and Management ({{DSOM}})},
  author = {Bandara, Arosha K. and Kakas, Antonis C. and Lupu, Emil C. and Russo, Alessandra},
  year = {2006},
  pages = {185--196},
  _type = {workshop},
  url = {https://doi.org/10.1007/11907466_16}
}

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 Trans Netw Serv Manag, 3(2), 2–13. (2006)

@article{BandaraLRDSFCP06,
  title = {{Policy Refinement for {{IP}} Differentiated Services {{Quality}} of {{Service}} Management}},
  author = {Bandara, Arosha K. and Lupu, Emil C. and Russo, Alessandra and Dulay, Naranker and Sloman, Morris and Flegkas, Paris and Charalambides, Marinos and Pavlou, George},
  year = {2006},
  volume = {3},
  pages = {2--13},
  url = {https://doi.org/10.1109/TNSM.2006.4798308},
  journal = {IEEE Trans Netw Serv Manag},
  number = {2}
}

Casale, S., Russo, A., & Serrano, S.

Classification of Speech under Stress Using Features Selected by Genetic Algorithms. Proceedings of the 14th European Signal Processing Conference (EUSIPCO), 1–5. (2006)

@inproceedings{CasaleRS06,
  title = {{Classification of Speech under Stress Using Features Selected by Genetic Algorithms}},
  booktitle = {Proceedings of the 14th European Signal Processing Conference ({{EUSIPCO}})},
  author = {Casale, Salvatore and Russo, Alessandra and Serrano, Salvatore},
  year = {2006},
  pages = {1--5},
  url = {http://ieeexplore.ieee.org/document/7071480/}
}

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. Proceedings of the 10th IEEE/IFIP Network Operations and Management Symposium (NOMS), 294–304. (2006)

@inproceedings{CharalambidesFPRBLRSD06,
  title = {{Dynamic Policy Analysis and Conflict Resolution for {{DiffServ}} Quality of Service Management}},
  booktitle = {Proceedings of the 10th {{IEEE}}/{{IFIP}} Network Operations and Management Symposium ({{NOMS}})},
  author = {Charalambides, Marinos and Flegkas, Paris and Pavlou, George and {Rubio-Loyola}, Javier and Bandara, Arosha K. and Lupu, Emil C. and Russo, Alessandra and Sloman, Morris and Dulay, Naranker},
  year = {2006},
  pages = {294--304},
  url = {https://doi.org/10.1109/NOMS.2006.1687560}
}

Bandara, A. K.

A Formal Approach to Analysis and Refinement of Policies [PhD thesis]. Imperial College London. (2005)

@phdthesis{Bandara05,
  author = {Bandara, Arosha K.},
  title = {{A Formal Approach to Analysis and Refinement of Policies}},
  school = {Imperial College London},
  year = {2005}
}

Bandara, A. K., Lupu, E. C., Russo, A., Dulay, N., Sloman, M., Flegkas, P., Charalambides, M., & Pavlou, G.

Policy Refinement for DiffServ Quality of Service Management. Proceedings of the 9th IFIP/IEEE International Symposium on Integrated Network Management (IM), 469–482. (2005)

@inproceedings{BandaraLRDSFCP05,
  title = {{Policy Refinement for {{DiffServ}} Quality of Service Management}},
  booktitle = {Proceedings of the 9th {{IFIP}}/{{IEEE}} International Symposium on Integrated Network Management (IM)},
  author = {Bandara, Arosha K. and Lupu, Emil C. and Russo, Alessandra and Dulay, Naranker and Sloman, Morris and Flegkas, Paris and Charalambides, Marinos and Pavlou, George},
  year = {2005},
  pages = {469--482},
  url = {https://doi.org/10.1109/INM.2005.1440817}
}

Broda, K., & Russo, A.

Compiled Labelled Deductive Systems for Access Control. In We Will Show Them: Essays in Honour of Dov Gabbay (pp. 309–338). College Publications. (2005)

@inbook{BrodaR05,
  author = {Broda, K and Russo, A},
  booktitle = {We Will Show Them: Essays in Honour of Dov Gabbay},
  pages = {309--338},
  publisher = {College Publications},
  title = {{Compiled Labelled Deductive Systems for Access Control}},
  url = {http://pubs.doc.ic.ac.uk/CLDS-for-Access-Control},
  year = {2005},
  _type = {book}
}

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. 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), 99–108. (2005)

@inproceedings{CharalambidesFPBLRDSR05,
  title = {{Policy Conflict Analysis for Quality of Service Management}},
  booktitle = {6th {{IEEE}} International Workshop on Policies for Distributed Systems and Networks ({{POLICY}})},
  author = {Charalambides, Marinos and Flegkas, Paris and Pavlou, George and Bandara, Arosha K. and Lupu, Emil C. and Russo, Alessandra and Dulay, Naranker and Sloman, Morris and {Rubio-Loyola}, Javier},
  year = {2005},
  pages = {99--108},
  url = {https://doi.org/10.1109/POLICY.2005.23},
  _type = {workshop}
}

Heaven, W., & Russo, A.

Enhancing the Alloy Analyzer with Patterns of Analysis. Proceedings of the 15th International Workshop on Logic Programming Environments, 14–30. (2005)

@inproceedings{HeavenR05,
  title = {{Enhancing the Alloy Analyzer with Patterns of Analysis}},
  booktitle = {Proceedings of the 15th International Workshop on Logic Programming Environments},
  author = {Heaven, William and Russo, Alessandra},
  year = {2005},
  pages = {14--30},
  url = {http://arxiv.org/abs/cs.pl/0508109}
}

Ray, O.

Hybrid Abductive Inductive Learning [PhD thesis]. Imperial College London. (2005)

@phdthesis{Ray05,
  author = {Ray, Oliver},
  title = {{Hybrid Abductive Inductive Learning}},
  school = {Imperial College London},
  year = {2005}
}

Bandara, A. K., Lupu, E., Moffett, J. D., & Russo, A.

A Goal-Based Approach to Policy Refinement. 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), 229–239. (2004)

@inproceedings{BandaraLMR04,
  title = {{A Goal-Based Approach to Policy Refinement}},
  booktitle = {5th {{IEEE}} International Workshop on Policies for Distributed Systems and Networks ({{POLICY}})},
  author = {Bandara, Arosha K. and Lupu, Emil and Moffett, Jonathan D. and Russo, Alessandra},
  year = {2004},
  pages = {229--239},
  url = {https://doi.org/10.1109/POLICY.2004.1309175},
  _type = {workshop}
}

Ray, O., Broda, K., & Russo, A.

Generalised Kernel Sets for Inverse Entailment. Proceedings of the 20th International Conference on Logic Programming (ICLP), 165–179. (2004)

@inproceedings{RayBR04,
  title = {{Generalised Kernel Sets for Inverse Entailment}},
  booktitle = {Proceedings of the 20th International Conference on Logic Programming ({{ICLP}})},
  author = {Ray, Oliver and Broda, Krysia and Russo, Alessandra},
  year = {2004},
  pages = {165--179},
  url = {https://doi.org/10.1007/978-3-540-27775-0_12}
}

Rodrigues, O., d’Avila Garcez, A. S., & Russo, A.

Reasoning about Requirements Evolution Using Clustered Belief Revision. Proceedings of the 17th Brazilian Symposium on Artificial Intelligence (SBIA), 41–51. (2004)

@inproceedings{RodriguesGR04,
  title = {{Reasoning about Requirements Evolution Using Clustered Belief Revision}},
  booktitle = {Proceedings of the 17th Brazilian Symposium on Artificial Intelligence (SBIA)},
  author = {Rodrigues, Odinaldo and d'Avila Garcez, Artur S. and Russo, Alessandra},
  year = {2004},
  pages = {41--51},
  url = {https://doi.org/10.1007/978-3-540-28645-5_5}
}

Bandara, A. K., Lupu, E., & Russo, A.

Using Event Calculus to Formalise Policy Specification and Analysis. 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), 26–39. (2003)

@inproceedings{BandaraLR03,
  title = {{Using Event Calculus to Formalise Policy Specification and Analysis}},
  booktitle = {4th {{IEEE}} International Workshop on Policies for Distributed Systems and Networks ({{POLICY}})},
  author = {Bandara, Arosha K. and Lupu, Emil and Russo, Alessandra},
  year = {2003},
  pages = {26--39},
  url = {https://doi.org/10.1109/POLICY.2003.1206955},
  _type = {workshop}
}

Ray, O., Broda, K., & Russo, A.

Hybrid Abductive Inductive Learning: A Generalisation of Progol. Proceedings of the 13th International Conference (ILP), 311–328. (2003)

@inproceedings{RayBR03,
  title = {{Hybrid Abductive Inductive Learning: {{A}} Generalisation of Progol}},
  booktitle = {Proceedings of the 13th International Conference ({{ILP}})},
  author = {Ray, Oliver and Broda, Krysia and Russo, Alessandra},
  year = {2003},
  pages = {311--328},
  url = {https://doi.org/10.1007/978-3-540-39917-9_21}
}

d’Avila Garcez, A. S., Russo, A., Nuseibeh, B., & Kramer, J.

Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications. IEE Proc Softw, 150(1), 25–38. (2003)

@article{GarcezRNK03,
  title = {{Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications}},
  author = {d'Avila Garcez, Artur S. and Russo, Alessandra and Nuseibeh, Bashar and Kramer, Jeff},
  year = {2003},
  volume = {150},
  pages = {25--38},
  url = {https://doi.org/10.1049/ip-sen:20030207},
  journal = {IEE Proc Softw},
  number = {1}
}

Broda, K., Gabbay, D. M., Lamb, L. C., & Russo, A.

Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL Interest Group Pure Appl. Log., 10(2), 123–163. (2002)

@article{BrodaGLR02,
  title = {{Labelled Natural Deduction for Conditional Logics of Normality}},
  author = {Broda, Krysia and Gabbay, Dov M. and Lamb, Lu{\'i}s C. and Russo, Alessandra},
  year = {2002},
  volume = {10},
  pages = {123--163},
  url = {https://doi.org/10.1093/jigpal/10.2.123},
  journal = {Log. J. IGPL Interest Group Pure Appl. Log.},
  number = {2}
}

Russo, A., Miller, R., Nuseibeh, B., & Kramer, J.

An Abductive Approach for Analysing Event-Based Requirements Specifications. Proceedings of the 18th International Conference on Logic Programming (ICLP), 22–37. (2002)

@inproceedings{RussoMNK02,
  title = {{An Abductive Approach for Analysing Event-Based Requirements Specifications}},
  booktitle = {Proceedings of the 18th International Conference on Logic Programming ({{ICLP}})},
  author = {Russo, Alessandra and Miller, Rob and Nuseibeh, Bashar and Kramer, Jeff},
  year = {2002},
  pages = {22--37},
  url = {https://doi.org/10.1007/3-540-45619-8_3}
}

Nuseibeh, B., Easterbrook, S. M., & Russo, A.

Making Inconsistency Respectable in Software Development. J Syst Softw, 58(2), 171–180. (2001)

@article{NuseibehER01,
  title = {{Making Inconsistency Respectable in Software Development}},
  author = {Nuseibeh, Bashar and Easterbrook, Steve M. and Russo, Alessandra},
  year = {2001},
  volume = {58},
  pages = {171--180},
  url = {https://doi.org/10.1016/S0164-1212(01)00036-X},
  journal = {J Syst Softw},
  number = {2}
}

d’Avila Garcez, A. S., Russo, A., Nuseibeh, B., & Kramer, J.

An Analysis-Revision Cycle to Evolve Requirements Specifications. Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE), 354–358. (2001)

@inproceedings{GarcezRNK01,
  title = {{An Analysis-Revision Cycle to Evolve Requirements Specifications}},
  booktitle = {Proceedings of the 16th {{IEEE}} International Conference on Automated Software Engineering ({{ASE}})},
  author = {d'Avila Garcez, Artur S. and Russo, Alessandra and Nuseibeh, Bashar and Kramer, Jeff},
  year = {2001},
  pages = {354--358},
  url = {https://doi.org/10.1109/ASE.2001.989828}
}

Nuseibeh, B., Easterbrook, S. M., & Russo, A.

Leveraging Inconsistency in Software Development. Computer, 33(4), 24–29. (2000)

@article{NuseibehER00,
  title = {{Leveraging Inconsistency in Software Development}},
  author = {Nuseibeh, Bashar and Easterbrook, Steve M. and Russo, Alessandra},
  year = {2000},
  volume = {33},
  pages = {24--29},
  url = {https://doi.org/10.1109/2.839317},
  journal = {Computer},
  number = {4}
}

Broda, K., Finger, M., & Russo, A.

Labelled Natural Deduction for Substructural Logics. Log. J. IGPL Interest Group Pure Appl. Log., 7(3), 283–318. (1999)

@article{BrodaFR99,
  title = {{Labelled Natural Deduction for Substructural Logics}},
  author = {Broda, Krysia and Finger, Marcelo and Russo, Alessandra},
  year = {1999},
  volume = {7},
  pages = {283--318},
  url = {https://doi.org/10.1093/jigpal/7.3.283},
  journal = {Log. J. IGPL Interest Group Pure Appl. Log.},
  number = {3}
}

Nuseibeh, B., & Russo, A.

Using Abduction to Evolve Inconsistent Requirements Specification. Australas J Inf Syst, 6(2). (1999)

@article{NuseibehR99,
  title = {{Using Abduction to Evolve Inconsistent Requirements Specification}},
  author = {Nuseibeh, Bashar and Russo, Alessandra},
  year = {1999},
  volume = {6},
  url = {http://journal.acs.org.au/index.php/ajis/article/view/296},
  journal = {Australas J Inf Syst},
  number = {2}
}

Russo, A., Nuseibeh, B., & Kramer, J.

Restructuring Requirement Specifications. IEE Proc Softw, 146(1), 44–50. (1999)

@article{RussoNK99,
  title = {{Restructuring Requirement Specifications}},
  author = {Russo, Alessandra and Nuseibeh, Bashar and Kramer, Jeff},
  year = {1999},
  volume = {146},
  pages = {44--50},
  url = {https://doi.org/10.1049/ip-sen:19990156},
  journal = {IEE Proc Softw},
  number = {1}
}

Russo, A., Nuseibeh, B., & Kramer, J.

Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study. Proceedings of the 3rd International Conference on Requirements Engineering (ICRE), 51–60. (1998)

@inproceedings{RussoNK98,
  title = {{Restructuring Requirements Specifications for Managing Inconsistency and Change: {{A}} Case Study}},
  booktitle = {Proceedings of the 3rd International Conference on Requirements Engineering ({{ICRE}})},
  author = {Russo, Alessandra and Nuseibeh, Bashar and Kramer, Jeff},
  year = {1998},
  pages = {51--60},
  publisher = {{IEEE Computer Society}},
  url = {https://doi.org/10.1109/ICRE.1998.667808}
}

D’Agostino, M., Gabbay, D. M., & Russo, A.

Grafting Modalities onto Substructural Implication Systems. Stud Logica, 59(1), 65–102. (1997)

@article{DAgostinoGR97,
  title = {{Grafting Modalities onto Substructural Implication Systems}},
  author = {D'Agostino, Marcello and Gabbay, Dov M. and Russo, Alessandra},
  year = {1997},
  volume = {59},
  pages = {65--102},
  url = {https://doi.org/10.1023/A:1004947400860},
  journal = {Stud Logica},
  number = {1}
}

Russo, A.

Generalising Propositional Modal Logic Using Labelled Deductive Systems. Proceedings of the International Workshop on Frontiers of Combining Systems (FroCoS), 57–73. (1996)

@inproceedings{Russo96,
  title = {{Generalising Propositional Modal Logic Using Labelled Deductive Systems}},
  booktitle = {Proceedings of the International Workshop on Frontiers of Combining Systems ({{FroCoS}})},
  author = {Russo, Alessandra},
  year = {1996},
  pages = {57--73},
  _type = {workshop}
}

de Rosis, F., Pizzutilo, S., Russo, A., Berry, D. C., & Molina, F. J. N.

Modeling the User Knowledge by Belief Networks. User Model User Adapt Interact, 2(4), 367–388. (1992)

@article{RosisPRBM92,
  title = {{Modeling the User Knowledge by Belief Networks}},
  author = {{de Rosis}, Fiorella and Pizzutilo, Sebastiano and Russo, Alessandra and Berry, Dianne C. and Molina, F. Javier Nicolau},
  year = {1992},
  volume = {2},
  pages = {367--388},
  url = {https://doi.org/10.1007/BF01101110},
  journal = {User Model User Adapt Interact},
  number = {4}
}

About

Information