Alessandra Russo

255 papers A* 26A 9B 25C 8Misc 1Journal 103Unranked 79

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	$\texttt{SEM-CTRL}$: Semantically Controlled Decoding. Trans. Mach. Learn. Res. Mohammad Albinhassan, Pranava Madhyastha, Alessandra Russo
2026	A*	`conf`	Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs. AAAI Daniel Furelos-Blanco, Charles Pert, Frederik Kelbel, Alex F. Spies, Alessandra Russo, Michael Dennis
2026	J	`jnl`	Failure Detection in Chemical Processes Using Symbolic Machine Learning: A Case Study on Ethylene Oxidation. CoRR Julien Amblard, Niklas Groll, Matthew Tait, Mark Law, Gürkan Sin, Alessandra Russo
2026	J	`jnl`	Grounding Generated Videos in Feasible Plans via World Models. CoRR Christos Ziakas, Amir Bar, Alessandra Russo
2026	J	`jnl`	Interpretable Attention-Based Multi-Agent PPO for Latency Spike Resolution in 6G RAN Slicing. CoRR Kavan Fatehi, Mostafa Rahmani Ghourtani, Amir Sonee, Poonam Yadav, Alessandra Russo, Hamed Ahmadi, Radu Calinescu
2026	J	`jnl`	LearnAD: Learning Interpretable Rules for Brain Networks in Alzheimer's Disease Classification. CoRR Thomas Andrews, Mark Law, Sara Ahmadi-Abhari, Alessandra Russo
2026	J	`jnl`	Towards ILP-based LTLf passive learning. J. Log. Comput. Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2025	J	`jnl`	An Empirical Study of Conformal Prediction in LLM with ASP Scaffolds for Robust Reasoning. CoRR Navdeep Kaur, Lachlan McPheat, Alessandra Russo, Anthony G. Cohn, Pranava Madhyastha
2025	J	`jnl`	Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs. CoRR Daniel Furelos-Blanco, Charles Pert, Frederik Kelbel, Alex F. Spies, Alessandra Russo, Michael Dennis
2025	J	`jnl`	DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning. CoRR Lachlan McPheat, Navdeep Kaur, Robert E. Blackwell, Alessandra Russo, Anthony G. Cohn, Pranava Madhyastha
2025	C	`conf`	Disentangling Neural Disjunctive Normal Form Models. NeSy Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo
2025	J	`jnl`	Disentangling Neural Disjunctive Normal Form Models. CoRR Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo
2025	J	`jnl`	Explainable Reinforcement and Causal Learning for Improving Trust to 6G Stakeholders. IEEE Open J. Commun. Soc. Miguel Arana-Catania, Amir Sonee, Abdul-Manan Khan, Kavan Fatehi, Yun Tang, Bailu Jin, Anna Soligo, David Boyle, Radu Calinescu, Poonam Yadav, Hamed Ahmadi, Antonios Tsourdos, Weisi Guo, Alessandra Russo
2025	A	`conf`	FORM: Learning Expressive and Transferable First-Order Logic Reward Machines. AAMAS Leo Ardon, Daniel Furelos-Blanco, Roko Parac, Alessandra Russo
2025	J	`jnl`	FORM: Learning Expressive and Transferable First-Order Logic Reward Machines. CoRR Leo Ardon, Daniel Furelos-Blanco, Roko Parac, Alessandra Russo
2025	—	`conf`	Learning and Enforcing Context-Sensitive Control for LLMs. ACL (4) Mohammad Albinhassan, Pranava Madhyastha, Mark Law, Alessandra Russo
2025	A	`conf`	Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies. AAMAS Kexin Gu Baugh, Luke Dickens, Alessandra Russo
2025	J	`jnl`	Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies. CoRR Kexin Gu Baugh, Luke Dickens, Alessandra Russo
2025	J	`jnl`	Preliminary Investigation into Uncertainty-Aware Attack Stage Classification. CoRR Alessandro Gaudenzi, Lorenzo Nodari, Lance M. Kaplan, Alessandra Russo, Murat Sensoy, Federico Cerutti
2025	J	`jnl`	Question Answering with LLMs and Learning from Answer Sets. CoRR Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo
2025	—	`conf`	RNN Generalization to Omega-Regular Languages. OVERLAY Charles Pert, Dalal Alrajeh, Alessandra Russo
2025	J	`jnl`	RNN Generalization to Omega-Regular Languages. CoRR Charles Pert, Dalal Alrajeh, Alessandra Russo
2025	J	`jnl`	Red-Bandit: Test-Time Adaptation for LLM Red-Teaming via Bandit-Guided LoRA Experts. CoRR Christos Ziakas, Nicholas Loo, Nishita Jain, Alessandra Russo
2025	J	`jnl`	SEM-CTRL: Semantically Controlled Decoding. CoRR Mohammad Albinhassan, Pranava Madhyastha, Alessandra Russo
2025	J	`jnl`	Test-Time Adaptation for Generalizable Task Progress Estimation. CoRR Christos Ziakas, Alessandra Russo
2025	—	`conf`	Towards Cyber Resilience against APTs. ITASEC/SERICS Alessandro Gaudenzi, Lorenzo Nodari, Rodolfo V. Valentim, Danilo Giordano, Idilio Drago, Alessandra Russo, Federico Cerutti
2024	—	`conf`	A Declarative Framework for Temporal Reasoning in Green-Aware Applications. GreenAI@AI*IA Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo
2024	—	`conf`	Embed2Rule Scalable Neuro-Symbolic Learning via Latent Space Weak-Labelling. NeSy (1) Yaniv Aspis, Mohammad Albinhassan, Jorge Lobo, Alessandra Russo
2024	A*	`conf`	Learning Robust Reward Machines from Noisy Labels. KR Roko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, Alessandra Russo
2024	J	`jnl`	Learning Robust Reward Machines from Noisy Labels. CoRR Roko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, Alessandra Russo
2024	J	`jnl`	Learning Rules from KGs Guided by Language Models. CoRR Zihang Peng, Daria Stepanova, Vinh Thinh Ho, Heike Adel, Alessandra Russo, Simon Ott
2024	C	`conf`	TeamCollab: A Framework for Collaborative Perception-Cognition-Communication-Action. FUSION Julian de Gortari Briseno, Roko Parac, Leo Ardon, Marc Roig Vilamala, Daniel Furelos-Blanco, Lance M. Kaplan, Vinod K. Mishra, Federico Cerutti, Alun D. Preece, Alessandra Russo, Mani Srivastava
2024	—	`conf`	The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning. NeSy (1) Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2024	J	`jnl`	The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning. CoRR Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2024	B	`conf`	Towards Explainable Weather Forecasting Through FastLAS. LPNMR Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait
2024	J	`jnl`	Transformers Use Causal World Models in Maze-Solving Tasks. CoRR Alex F. Spies, William Edwards, Michael I. Ivanitskiy, Adrians Skapars, Tilman Räuker, Katsumi Inoue, Alessandra Russo, Murray Shanahan
2024	B	`conf`	Using Learning from Answer Sets for Robust Question Answering with LLM. LPNMR Irfan Kareem, Katie Gallagher, Manuel A. Borroto, Francesco Ricca, Alessandra Russo
2024	J	`jnl`	ω-regular Expression Synthesis from Transition-Based Büchi Automata. CoRR Charles Pert, Dalal Alrajeh, Alessandra Russo
2023	J	`jnl`	A Unifying Framework for Learning Argumentation Semantics. CoRR Zlatina Mileva, Antonis Bikakis, Fabio Aurelio D'Asaro, Mark Law, Alessandra Russo
2023	—	`conf`	Active Learning in Neurosymbolic AI with Embed2Sym. COGAI@IJCLR Alexander Philipp Rader, Alessandra Russo
2023	J	`jnl`	FFNSL: Feed-Forward Neural-Symbolic Learner. Mach. Learn. Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2023	—	`conf`	FLAP - A Federated Learning Framework for Attribute-based Access Control Policies. CODASPY Amani Abu Jabal, Elisa Bertino, Jorge Lobo, Dinesh C. Verma, Seraphin B. Calo, Alessandra Russo
2023	A*	`conf`	Hierarchies of Reward Machines. ICML Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2023	J	`jnl`	Introduction to the 39 Theory Pract. Log. Program. Stefania Costantini, Enrico Pontelli, Alessandra Russo, Francesca Toni
2023	J	`jnl`	Learning Reward Machines in Cooperative Multi-Agent Tasks. CoRR Leo Ardon, Daniel Furelos-Blanco, Alessandra Russo
2023	—	`conf`	Learning Reward Machines in Cooperative Multi-agent Tasks. AAMAS Workshops Leo Ardon, Daniel Furelos-Blanco, Alessandra Russo
2023	J	`jnl`	NeuralFastLAS: Fast Logic-Based Learning from Raw Data. CoRR Theo Charalambous, Yaniv Aspis, Alessandra Russo
2023	—	`conf`	Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. AAMAS Workshops Vaishak Belle, Michael Fisher, Alessandra Russo, Ekaterina Komendantskaya, Alistair Nottle
2023	A*	`conf`	Neuro-Symbolic Learning of Answer Set Programs from Raw Data. IJCAI Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2023	—	`conf`	Neuro-symbolic Rule Learning in Real-world Classification Tasks. AAAI Spring Symposium: MAKE Kexin Gu Baugh, Nuri Cingillioglu, Alessandra Russo
2023	J	`jnl`	Neuro-symbolic Rule Learning in Real-world Classification Tasks. CoRR Kexin Gu Baugh, Nuri Cingillioglu, Alessandra Russo
2023	B	`ed.`	Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. ICLP Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
2023	J	`jnl`	RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care. CoRR Rakhilya Lee Mekhtieva, Brandon Forbes, Dalal Alrajeh, Brendan Delaney, Alessandra Russo
2023	J	`jnl`	Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition. CoRR Amrit Diggavi Seshadri, Alessandra Russo
2023	B	`conf`	Towards ILP-Based LTL f Passive Learning. ILP Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2023	A	`conf`	Towards preserving word order importance through Forced Invalidation. EACL Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo
2023	J	`jnl`	Towards preserving word order importance through Forced Invalidation. CoRR Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo
2022	—	`conf`	A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. ICLP Workshops David Tuckey, Krysia Broda, Alessandra Russo
2022	J	`jnl`	Automatic Concept Extraction for Concept Bottleneck-based Video Classification. CoRR Jeya Vikranth Jeyakumar, Luke Dickens, Luis Garcia, Yu-Hsi Cheng, Diego Ramirez-Echavarria, Joseph Noor, Alessandra Russo, Lance M. Kaplan, Erik Blasch, Mani B. Srivastava
2022	A*	`conf`	Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (Extended Abstract). IJCAI Ludovico Mitchener, David Tuckey, Matthew Crosby, Alessandra Russo
2022	J	`jnl`	Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework. Mach. Learn. Ludovico Mitchener, David Tuckey, Matthew Crosby, Alessandra Russo
2022	A*	`conf`	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. KR Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo
2022	A*	`conf`	Formalizing Consistency and Coherence of Representation Learning. NeurIPS Harald Strömfelt, Luke Dickens, Artur S. d'Avila Garcez, Alessandra Russo
2022	J	`jnl`	Hierarchies of Reward Machines. CoRR Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2022	J	`jnl`	Inductive Learning of Complex Knowledge from Raw Data. CoRR Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2022	A*	`conf`	Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data. IJCAI Mark Law, Krysia Broda, Alessandra Russo
2022	J	`jnl`	Sparse Relational Reasoning with Object-Centric Representations. CoRR Alex F. Spies, Alessandra Russo, Murray Shanahan
2021	C	`conf`	Coherent and Consistent Relational Transfer Learning with Auto-encoders. NeSy Harald Strömfelt, Luke Dickens, Artur S. d'Avila Garcez, Alessandra Russo
2021	—	`conf`	Discrete Reasoning Templates for Natural Language Understanding. EACL (Student Research Workshop) Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo
2021	J	`jnl`	Discrete Reasoning Templates for Natural Language Understanding. CoRR Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo
2021	J	`jnl`	FF-NSL: Feed-Forward Neural-Symbolic Learner. CoRR Daniel Cunnington, Mark Law, Alessandra Russo, Jorge Lobo
2021	J	`jnl`	HySTER: A Hybrid Spatio-Temporal Event Reasoner. CoRR Théophile Sautory, Nuri Cingillioglu, Alessandra Russo
2021	J	`jnl`	Induction and Exploitation of Subgoal Automata for Reinforcement Learning. J. Artif. Intell. Res. Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2021	—	`conf`	Inductive Learning of Complex Knowledge from Raw Data. TFSOCTAI@AAAI Fall Symposium Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo
2021	—	`conf`	Numerical reasoning in machine reading comprehension tasks: are we there yet? EMNLP (1) Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo
2021	J	`jnl`	Numerical reasoning in machine reading comprehension tasks: are we there yet? CoRR Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo
2021	—	`conf`	Online Symbolic Learning of Policies for Explainable Security. TPS-ISA Arthur Drozdov, Mark Law, Jorge Lobo, Alessandra Russo, Mercion Wilathgamuwage Don
2021	J	`jnl`	PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics. CoRR David Tuckey, Alessandra Russo, Krysia Broda
2021	A*	`conf`	Scalable Non-observational Predicate Learning in ASP. IJCAI Mark Law, Alessandra Russo, Krysia Broda, Elisa Bertino
2021	C	`conf`	Towards Neural-Symbolic Learning to support Human-Agent Operations. FUSION Daniel Cunnington, Mark Law, Alessandra Russo, Jorge Lobo, Lance M. Kaplan
2021	C	`conf`	pix2rule: End-to-end Neuro-symbolic Rule Learning. NeSy Nuri Cingillioglu, Alessandra Russo
2021	J	`jnl`	pix2rule: End-to-end Neuro-symbolic Rule Learning. CoRR Nuri Cingillioglu, Alessandra Russo
2020	J	`jnl`	A general framework for scientifically inspired explanations in AI. CoRR David Tuckey, Alessandra Russo, Krysia Broda
2020	J	`jnl`	FLAP - A Federated Learning Framework for Attribute-based Access Control Policies. CoRR Amani Abu Jabal, Elisa Bertino, Jorge Lobo, Dinesh C. Verma, Seraphin B. Calo, Alessandra Russo
2020	A*	`conf`	FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. AAAI Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
2020	J	`jnl`	Induction and Exploitation of Subgoal Automata for Reinforcement Learning. CoRR Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2020	A*	`conf`	Induction of Subgoal Automata for Reinforcement Learning. AAAI Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson
2020	J	`jnl`	Introduction to the 36th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. Francesco Ricca, Alessandra Russo
2020	J	`jnl`	Introduction to the 36th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. Francesco Ricca, Alessandra Russo
2020	J	`jnl`	Learning Diverse Representations for Fast Adaptation to Distribution Shift. CoRR Daniel Pace, Alessandra Russo, Murray Shanahan
2020	A*	`conf`	Learning Invariants through Soft Unification. NeurIPS Nuri Cingillioglu, Alessandra Russo
2020	A*	`conf`	Learning Neural Search Policies for Classical Planning. ICAPS Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
2020	J	`jnl`	Model-based software quality assurance tools and techniques presented at FASE 2018. Int. J. Softw. Tools Technol. Transf. Alessandra Russo, Andy Schürr
2020	J	`jnl`	NSL: Hybrid Interpretable Learning From Noisy Raw Data. CoRR Daniel Cunnington, Alessandra Russo, Mark Law, Jorge Lobo, Lance M. Kaplan
2020	C	`conf`	On Security Policy Migrations. SACMAT Jorge Lobo, Elisa Bertino, Alessandra Russo
2020	J	`jnl`	On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision. CoRR Harald Strömfelt, Luke Dickens, Artur S. d'Avila Garcez, Alessandra Russo
2020	—	`conf`	Polisma - A Framework for Learning Attribute-Based Access Control Policies. ESORICS (1) Amani Abu Jabal, Elisa Bertino, Jorge Lobo, Mark Law, Alessandra Russo, Seraphin B. Calo, Dinesh C. Verma
2020	—	`ed.`	Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. ICLP Technical Communications Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
2020	J	`jnl`	RADON: rational decomposition and orchestration for serverless computing. SICS Softw.-Intensive Cyber Phys. Syst. Giuliano Casale, Matej Artac, Willem-Jan van den Heuvel, André van Hoorn, Pelle Jakovits, Frank Leymann, M. Long, V. Papanikolaou, Domenico Presenza, Alessandra Russo, Satish Narayana Srirama, Damian A. Tamburri, Michael Wurster, Lulai Zhu
2020	A*	`conf`	Stable and Supported Semantics in Continuous Vector Spaces. KR Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo
2020	J	`jnl`	The ILASP system for Inductive Learning of Answer Set Programs. CoRR Mark Law, Alessandra Russo, Krysia Broda
2020	—	`conf`	Topical Neural Theorem Prover that Induces Rules. GCAI Shuang Xia, Krysia Broda, Alessandra Russo
2020	—	`conf`	Towards Structure Learning under the Credal Semantics. ICLP Workshops David Tuckey, Krysia Broda, Alessandra Russo
2019	C	`conf`	A Comparison Between Statistical and Symbolic Learning Approaches for Generative Policy Models. ICMLA Graham White, Daniel Cunnington, Mark Law, Elisa Bertino, Geeth de Mel, Alessandra Russo
2019	—	`conf`	A Generative Policy Model for Connected and Autonomous Vehicles. ITSC Daniel Cunnington, Irene Manotas, Mark Law, Geeth de Mel, Seraphin B. Calo, Elisa Bertino, Alessandra Russo
2019	—	`conf`	DeepLogic: Towards End-to-End Differentiable Logical Reasoning. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering Nuri Cingillioglu, Alessandra Russo
2019	J	`jnl`	Editorial. Formal Aspects Comput. Alessandra Russo, Andy Schürr, Heike Wehrheim
2019	A	`conf`	Generative Policies for Coalition Systems - A Symbolic Learning Framework. ICDCS Elisa Bertino, Graham White, Jorge Lobo, John Ingham, Gregory H. Cirincione, Alessandra Russo, Mark Law, Seraphin B. Calo, Irene Manotas, Dinesh C. Verma, Amani Abu Jabal, Daniel Cunnington, Geeth de Mel
2019	J	`jnl`	Induction of Subgoal Automata for Reinforcement Learning. CoRR Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson
2019	A*	`conf`	Learning Classical Planning Strategies with Policy Gradient. ICAPS Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo
2019	J	`jnl`	Learning Invariants through Soft Unification. CoRR Nuri Cingillioglu, Alessandra Russo
2019	J	`jnl`	Learning Neural Search Policies for Classical Planning. CoRR Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
2019	—	`conf`	Logic-Based Learning of Answer Set Programs. RW Mark Law, Alessandra Russo, Krysia Broda
2019	J	`jnl`	Methods and Tools for Policy Analysis. ACM Comput. Surv. Amani Abu Jabal, Maryam Davari, Elisa Bertino, Christian Makaya, Seraphin B. Calo, Dinesh C. Verma, Alessandra Russo, Christopher Williams
2019	—	`conf`	Policy based Ensembles for applying ML on Big Data. IEEE BigData Dinesh C. Verma, Seraphin B. Calo, Elisa Bertino, Alessandra Russo, Graham White
2019	—	`ed.`	Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. ESEC/SIGSOFT FSE Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo
2019	A*	`conf`	Representing and Learning Grammars in Answer Set Programming. AAAI Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
2019	J	`jnl`	Saliency Maps Generation for Automatic Text Summarization. CoRR David Tuckey, Krysia Broda, Alessandra Russo
2019	—	`conf`	Towards a Neural-Symbolic Generative Policy Model. IEEE BigData Daniel Cunnington, Mark Law, Alessandra Russo, Elisa Bertino, Seraphin B. Calo
2019	B	`conf`	Using an ASG Based Generative Policy to Model Human Rules. SMARTCOMP Graham White, John Ingham, Mark Law, Alessandra Russo
2018	—	`conf`	AGENP: An ASGrammar-based GENerative Policy Framework. PADG@ESORICS Seraphin B. Calo, Irene Manotas, Geeth de Mel, Daniel Cunnington, Mark Law, Dinesh C. Verma, Alessandra Russo, Elisa Bertino
2018	J	`jnl`	DeepLogic: End-to-End Logical Reasoning. CoRR Nuri Cingillioglu, Alessandra Russo
2018	B	`ed.`	Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. FASE Alessandra Russo, Andy Schürr
2018	J	`jnl`	Inductive Learning of Answer Set Programs from Noisy Examples. CoRR Mark Law, Alessandra Russo, Krysia Broda
2018	J	`jnl`	Learning Classical Planning Strategies with Policy Gradient. CoRR Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo
2018	—	`conf`	Learning Commonsense Knowledge Through Interactive Dialogue. ICLP (Technical Communications) Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
2018	—	`conf`	Logic-Based Learning: Theory and Application. Machine Learning for Dynamic Software Analysis Dalal Alrajeh, Alessandra Russo
2018	J	`jnl`	Preface to the special issue on inductive logic programming. Mach. Learn. James Cussens, Alessandra Russo
2018	—	`conf`	Tensor-Based Abduction in Horn Propositional Programs. ILP Up-and-Coming / Short Papers Yaniv Aspis, Krysia Broda, Alessandra Russo
2018	J	`jnl`	The complexity and generality of learning answer set programs. Artif. Intell. Mark Law, Alessandra Russo, Krysia Broda
2017	—	`conf`	Community-based self generation of policies and processes for assets: Concepts and research directions. IEEE BigData Elisa Bertino, Geeth de Mel, Alessandra Russo, Seraphin B. Calo, Dinesh C. Verma
2017	J	`jnl`	Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms. CoRR Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo
2017	B	`ed.`	Inductive Logic Programming - 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers ILP James Cussens, Alessandra Russo
2017	A*	`conf`	Learning to share: engineering adaptive decision-support for online social networks. ASE Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, Bashar Nuseibeh
2017	—	`conf`	Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. COMMONSENSE Piotr Chabierski, Alessandra Russo, Mark Law, Krysia Broda
2017	J	`jnl`	Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms. IEEE Trans. Netw. Serv. Manag. Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo
2017	—	`ed.`	Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016. ILP (Short Papers) James Cussens, Alessandra Russo
2017	J	`jnl`	Towards learning domain-independent planning heuristics. CoRR Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone
2016	—	`conf`	An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. ILP (Short Papers) Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc
2016	—	`conf`	Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. ICAART (2) Antonis Bikakis, Patrice Caire, Keith Clark, Gary Cornelius, Jiefei Ma, Rob Miller, Alessandra Russo, Holger Voos
2016	J	`jnl`	Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. IEEE Trans. Knowl. Data Eng. Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo
2016	J	`jnl`	Iterative Learning of Answer Set Programs from Context Dependent Examples. CoRR Mark Law, Alessandra Russo, Krysia Broda
2016	J	`jnl`	Iterative Learning of Answer Set Programs from Context Dependent Examples. Theory Pract. Log. Program. Mark Law, Alessandra Russo, Krysia Broda
2016	—	`conf`	Logic-based learning in software engineering. ICSE (Companion Volume) Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2016	—	`conf`	Privacy dynamics: learning privacy norms for social software. SEAMS@ICSE Gül Çalikli, Mark Law, Arosha K. Bandara, Alessandra Russo, Luke Dickens, Blaine A. Price, Avelie Stuart, Mark Levine, Bashar Nuseibeh
2016	J	`jnl`	Probabilistic abductive logic programming using Dirichlet priors. Int. J. Approx. Reason. Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda
2016	—	`conf`	Reduction of ILP Search Space with Bottom-Up Propositionalisation. ILP (Short Papers) Hadeel Al-Negheimish, Alessandra Russo
2016	A*	`conf`	Risk-driven revision of requirements models. ICSE Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2015	—	`conf`	An Approach for Collective Adaptation in Socio-Technical Systems. SASO Workshops Antonio Bucchiarone, Naranker Dulay, Anna Lavygina, Annapaola Marconi, Heorhi Raik, Alessandra Russo
2015	B	`conf`	Automated Inference of Rules with Exception from Past Legal Cases Using ASP. LPNMR Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo
2015	J	`jnl`	Automated support for diagnosis and repair. Commun. ACM Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2015	A*	`conf`	Detecting distributed signature-based intrusion: The case of multi-path routing attacks. INFOCOM Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo
2015	—	`conf`	Experimental results on the use of genetic algorithms for scaling virtualized network functions. NFV-SDN Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo
2015	—	`conf`	Integrating Privacy and Safety Criteria into Planning Tasks. STM Anna Lavygina, Alessandra Russo, Naranker Dulay
2015	J	`jnl`	Learning Weak Constraints in Answer Set Programming. CoRR Mark Law, Alessandra Russo, Krysia Broda
2015	J	`jnl`	Learning weak constraints in answer set programming. Theory Pract. Log. Program. Mark Law, Alessandra Russo, Krysia Broda
2015	—	`conf`	Probabilistic Abductive Logic Programming using Dirichlet Priors. PLP@ICLP Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda
2015	—	`conf`	Reasoning in the presence of inconsistency through Preferential ALC. LPAR (short papers) Graham Deane, Krysia Broda, Alessandra Russo
2015	B	`conf`	Towards making network function virtualization a cloud computing service. IM Windhya Rankothge, Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo
2014	B	`conf`	Inductive Learning Using Constraint-Driven Bias. ILP Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh
2014	B	`conf`	Inductive Learning of Answer Set Programs. JELIA Mark Law, Alessandra Russo, Krysia Broda
2014	—	`conf`	Learning to recognise disruptive smartphone notifications. Mobile HCI Jeremiah Smith, Anna Lavygina, Jiefei Ma, Alessandra Russo, Naranker Dulay
2014	—	`conf`	When did your smartphone bother you last? UbiComp Adjunct Jeremiah Smith, Anna Lavygina, Alessandra Russo, Naranker Dulay
2013	J	`jnl`	A declarative approach to distributed computing: Specification, execution and analysis. Theory Pract. Log. Program. Jiefei Ma, Franck Le, David Wood, Alessandra Russo, Jorge Lobo
2013	A*	`conf`	Computational alignment of goals and scenarios for complex systems. ICSE Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak
2013	J	`jnl`	Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2013	B	`conf`	Learning Through Hypothesis Refinement Using Answer Set Programming. ILP Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo
2013	A*	`conf`	Learning revised models for planning in adaptive systems. ICSE Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue
2013	B	`conf`	On Minimality and Integrity Constraints in Probabilistic Abduction. LPAR Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda
2013	J	`jnl`	Reasoning about Triggered Scenarios in Logic Programming. Theory Pract. Log. Program. Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel
2013	J	`jnl`	Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
2012	—	`conf`	Declarative Distributed Computing. Correct Reasoning Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le
2012	A*	`conf`	Foundations of Logic-Based Trust Management. IEEE Symposium on Security and Privacy Moritz Y. Becker, Alessandra Russo, Nik Sultana
2012	A*	`conf`	Generating obstacle conditions for requirements completeness. ICSE Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
2012	—	`conf`	Handling Change in Normative Specifications. DALT Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012	A	`conf`	Handling change in normative specifications. AAMAS Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012	A*	`conf`	Learning Stochastic Models of Information Flow. ICDE Luke Dickens, Ian M. Molloy, Jorge Lobo, Pau-Chen Cheng, Alessandra Russo
2012	B	`conf`	Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2012	—	`conf`	Predicate Invention in Inductive Logic Programming. ICCSW Duangtida Athakravi, Krysia Broda, Alessandra Russo
2012	—	`conf`	Risk-based security decisions under uncertainty. CODASPY Ian M. Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo
2011	—	`conf`	An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2011	B	`conf`	Inductive Logic Programming in Answer Set Programming. ILP Domenico Corapi, Alessandra Russo, Emil Lupu
2011	B	`conf`	Integrating Model Checking and Inductive Logic Programming. ILP Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2011	—	`conf`	Learning User Behaviours in Real Mobile Domains. ILP (Late Breaking Papers) Andreas Markitanis, Domenico Corapi, Alessandra Russo, Emil C. Lupu
2011	—	`conf`	Multi-agent Confidential Abductive Reasoning. ICLP (Technical Communications) Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2011	A	`conf`	Multi-agent abductive reasoning with confidentiality. AAMAS Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2011	J	`jnl`	Normative design using inductive learning CoRR Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011	J	`jnl`	Normative design using inductive learning. Theory Pract. Log. Program. Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011	B	`conf`	Policy refinement: Decomposition and operationalization for dynamic domains. CNSM Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman
2011	—	`conf`	Probabilistic Rule Learning in Nonmonotonic Domains. CLIMA Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
2011	—	`conf`	Refinement of History-Based Policies. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman
2010	—	`conf`	Analysis of robustness of attributes selection applied to speech emotion recognition. EUSIPCO Salvatore Casale, Alessandra Russo, Salvatore Serrano
2010	B	`conf`	Decomposition techniques for policy refinement. CNSM Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman
2010	J	`jnl`	Deriving non-Zeno behaviour models from goal models using ILP. Formal Aspects Comput. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2010	—	`conf`	Distributed Abductive Reasoning with Constraints. DALT Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu
2010	A	`conf`	Distributed abductive reasoning with constraints. AAMAS Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2010	—	`conf`	Inductive Logic Programming as Abductive Search. ICLP (Technical Communications) Domenico Corapi, Alessandra Russo, Emil Lupu
2010	—	`conf`	Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010	—	`conf`	Norm Refinement and Design through Inductive Learning. MALLOW Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010	—	`conf`	Revising Process Models through Inductive Learning. Business Process Management Workshops Fabrizio Maria Maggi, Domenico Corapi, Alessandra Russo, Emil Lupu, Giuseppe Visaggio
2010	—	`book`	Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo
2010	—	`conf`	Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
2010	J	`jnl`	Speculative constraint processing for hierarchical agents. AI Commun. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
2010	A	`conf`	The Dynamics of Multi-Agent Reinforcement Learning. ECAI Luke Dickens, Krysia Broda, Alessandra Russo
2009	J	`jnl`	Adaptive V/UV Speech Detection Based on Characterization of Background Noise. EURASIP J. Audio Speech Music. Process. Francesco Beritelli, Salvatore Casale, Alessandra Russo, Salvatore Serrano
2009	A	`conf`	Expressive policy analysis with enhanced system dynamicity. AsiaCCS Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara
2009	B	`conf`	Induction on Failure: Learning Connected Horn Theories. LPNMR Tim Kimber, Krysia Broda, Alessandra Russo
2009	Misc	`conf`	Learning Rules from User Behaviour. AIAI Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha K. Bandara, Emil C. Lupu
2009	A*	`conf`	Learning operational requirements from goal models. ICSE Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2009	—	`conf`	Multi-agent planning with confidentiality. AAMAS (2) Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2009	—	`conf`	On the Implementation of Speculative Constraint Processing. CLIMA Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
2009	J	`jnl`	Policy conflict analysis for diffserv quality of service management. IEEE Trans. Netw. Serv. Manag. Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman
2009	—	`conf`	SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo
2009	—	`conf`	Security policy refinement using data integration: a position paper. SafeConfig Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman
2009	J	`jnl`	Using abduction and induction for operational requirements elaboration. J. Appl. Log. Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
2009	—	`conf`	Using argumentation logic for firewall configuration management. Integrated Network Management Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2008	—	`conf`	A Dynamic System for Distributed Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark
2008	J	`jnl`	Belief Revision in non-Classical Logics. Rev. Symb. Log. Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo
2008	J	`jnl`	DARE: a system for distributed abductive reasoning. Auton. Agents Multi Agent Syst. Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark
2008	B	`conf`	Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
2008	—	`conf`	Speech Emotion Classification Using Machine Learning Algorithms. ICSC Salvatore Casale, Alessandra Russo, G. Scebba, Salvatore Serrano
2007	J	`jnl`	Multistyle classification of speech under stress using feature subset selection based on genetic algorithms. Speech Commun. Salvatore Casale, Alessandra Russo, Salvatore Serrano
2007	C	`conf`	Synchronous multipoint E-learning realized on an intelligent software-router platform over unicast networks: Design and performance issues. ETFA Giuseppe Maraviglia, Marina Masi, Vincenzo Merlo, Francesco Licandro, Alessandra Russo, Giovanni Schembra
2007	—	`conf`	Towards Learning Privacy Policies. POLICY Arosha K. Bandara, Alessandra Russo, Emil C. Lupu
2006	—	`conf`	Classification of speech under stress using features selected by genetic algorithms. EUSIPCO Salvatore Casale, Alessandra Russo, Salvatore Serrano
2006	B	`conf`	Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. NOMS Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Morris Sloman, Naranker Dulay
2006	B	`conf`	Extracting Requirements from Scenarios with ILP. ILP Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
2006	—	`conf`	Inferring operational requirements from scenarios and goal models using inductive learning. SCESM Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
2006	J	`jnl`	Policy refinement for IP differentiated services Quality of Service management. IEEE Trans. Netw. Serv. Manag. Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou
2006	—	`conf`	Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
2005	—	`conf`	Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) Krysia Broda, Alessandra Russo
2005	J	`jnl`	Enhancing the Alloy Analyzer with Patterns of Analysis CoRR William Heaven, Alessandra Russo
2005	—	`conf`	Enhancing the Alloy Analyzer with Patterns of Analysis. WLPE William Heaven, Alessandra Russo
2005	—	`conf`	Policy Conflict Analysis for Quality of Service Management. POLICY Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola
2005	—	`conf`	Policy refinement for DiffServ quality of service management. Integrated Network Management Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou
2004	—	`conf`	A Goal-based Approach to Policy Refinement. POLICY Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo
2004	J	`jnl`	A Hybrid Abductive Inductive Proof Procedure. Log. J. IGPL Oliver Ray, Krysia Broda, Alessandra Russo
2004	B	`conf`	Generalised Kernel Sets for Inverse Entailment. ICLP Oliver Ray, Krysia Broda, Alessandra Russo
2004	—	`conf`	Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo
2003	J	`jnl`	Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proc. Softw. Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
2003	B	`conf`	Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP Oliver Ray, Krysia Broda, Alessandra Russo
2003	—	`conf`	Using Event Calculus to Formalise Policy Specification and Analysis. POLICY Arosha K. Bandara, Emil Lupu, Alessandra Russo
2002	B	`conf`	An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
2002	J	`jnl`	Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
2001	A*	`conf`	An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
2001	J	`jnl`	Making inconsistency respectable in software development. J. Syst. Softw. Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo
2000	J	`jnl`	Leveraging Inconsistency in Software Development. Computer Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo
1999	J	`jnl`	Labelled Natural Deduction for Substructural Logics. Log. J. IGPL Krysia Broda, Marcelo Finger, Alessandra Russo
1999	J	`jnl`	Restructuring requirement specifications. IEE Proc. Softw. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
1999	J	`jnl`	Using Abduction to Evolve Inconsistent Requirements Specification. Australas. J. Inf. Syst. Bashar Nuseibeh, Alessandra Russo
1998	—	`conf`	On the Consequences of Acting in the Presence of Inconsistency. IWSSD Bashar Nuseibeh, Alessandra Russo
1998	—	`conf`	Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
1997	J	`jnl`	Grafting Modalities onto Substructural Implication Systems. Stud Logica Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
1996	—	`conf`	Generalising Propositional Modal Logic Using Labelled Deductive Systems. FroCoS Alessandra Russo
1992	J	`jnl`	Modeling the User Knowledge by Belief Networks. User Model. User Adapt. Interact. Fiorella de Rosis, Sebastiano Pizzutilo, Alessandra Russo, Dianne C. Berry, F. Javier Nicolau Molina