Alessandra Russo

Antonio Bucchiarone, Annapaola Marconi, Alessandra Russo, 2015, 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

Compiled Labelled Deductive Systems for Modal and Conditional Logics

Dov M. Gabbay, Alessandra Russo, Luis C. Lamb, 2004 .

Revision by Translation

Dov M. Gabbay, Alessandra Russo, Odinaldo Rodrigues, 2000 .

Tensor-Based Abduction in Horn Propositional Programs

Krysia Broda, Alessandra Russo, Yaniv Aspis, 2018, ILP Up-and-Coming / Short Papers.

An Abductive Approach for Analysing Event-Based Requirements Specifications

Bashar Nuseibeh, Alessandra Russo, Jeff Kramer, 2002, ICLP.

Using abduction and induction for operational requirements elaboration

Dalal Alrajeh, Oliver Ray, Alessandra Russo, 2009, J. Appl. Log..

Towards learning domain-independent planning heuristics pdf

Antonio Bucchiarone, Dalal Alrajeh, Alessandra Russo, 2017, ArXiv.

ON THE USE OF LOGICAL ABDUCTION IN SOFTWARE ENGINEERING

Alessandra Russo, 1910 .

A Hybrid Abductive Inductive Proof Procedure

Krysia Broda, Oliver Ray, Alessandra Russo, 2004, Log. J. IGPL.

Distributed Abductive Reasoning with Constraints

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2010, DALT.

Leveraging Inconsistency in Software Development

Bashar Nuseibeh, Alessandra Russo, Steve M. Easterbrook, 2000, Computer.

Expressive Policy Analysis with Laws of System Change

Jorge Lobo, Alessandra Russo, Emil C. Lupu, 2009 .

A Comparison Between Statistical and Symbolic Learning Approaches for Generative Policy Models

Elisa Bertino, Alessandra Russo, Geeth de Mel, 2019, 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA).

Deriving non-Zeno behaviour models from goal models using ILP

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2009, Formal Aspects of Computing.

Hybrid Abductive Inductive Learning: A Generalisation of Progol

Krysia Broda, Oliver Ray, Alessandra Russo, 2003, ILP.

Synchronous multipoint E-learning realized on an intelligent software-router platform over unicast networks: Design and performance issues

Giovanni Schembra, Alessandra Russo, Giuseppe Maraviglia, 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

Structured Revision: Non-linear Methods for Information Change

Dov M. Gabbay, Alessandra Russo, Odinaldo Rodrigues, 2010 .

Security policy refinement using data integration: a position paper

Jorge Lobo, Alessandra Russo, Emil C. Lupu, 2009, SafeConfig '09.

Symbolic representation and inference of regulatory networks: uncovering mechanosensitive gene networks

Krysia Broda, Alessandra Russo, Antonis C. Kakas, 2014 .

Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms pdf

Jorge Lobo, Franck Le, Alessandra Russo, 2017, ArXiv.

A V/UVSPEECHDETECTIONBASEDON CHARACTERIZATIONOF BACKGROUND NOISE

Alessandra Russo, Francesco Beritelli, Salvatore Casale, 2007 .

Methods and Tools for Policy Analysis

Elisa Bertino, Alessandra Russo, Amani Abu Jabal, 2019, ACM Comput. Surv..

Information, Uncertainty and Fusion

Dov M. Gabbay, Alessandra Russo, Odinaldo Rodrigues, 2000 .

Generating obstacle conditions for requirements completeness

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2012, 2012 34th International Conference on Software Engineering (ICSE).

Learning Classical Planning Strategies with Policy Gradient

Dalal Alrajeh, Alessandra Russo, Pawel Gomoluch, 2019, ICAPS.

BELIEF REVISION IN NON-CLASSICAL LOGICS

Dov M. Gabbay, Alessandra Russo, Odinaldo Rodrigues, 2008, The Review of Symbolic Logic.

Towards Learning Privacy Policies

Alessandra Russo, Emil C. Lupu, Arosha K. Bandara, 2007, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).

Inferring operational requirements from scenarios and goal models using inductive learning

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2006, SCESM '06.

Learning from Vacuously Satisfiable Scenario-Based Specifications

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2012, FASE.

A Dynamic System for Distributed Reasoning

Krysia Broda, Alessandra Russo, Jiefei Ma, 2008, AAAI Spring Symposium: Emotion, Personality, and Social Behavior.

Risk-Driven Revision of Requirements Models

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

Modeling the user knowledge by belief networks

Sebastiano Pizzutilo, Alessandra Russo, Fiorella de Rosis, 2005, User Modeling and User-Adapted Interaction.

Learning Rules from User Behaviour

Oliver Ray, Alessandra Russo, Emil C. Lupu, 2009, AIAI.

Analysis of robustness of attributes selection applied to speech emotion recognition

Alessandra Russo, Salvatore Casale, Salvatore Serrano, 2010, 2010 18th European Signal Processing Conference.

DeepLogic: End-to-End Logical Reasoning pdf

Alessandra Russo, Nuri Cingillioglu, A. Russo, 2018, ArXiv.

Automated Inference of Rules with Exception from Past Legal Cases Using ASP

Krysia Broda, Alessandra Russo, Duangtida Athakravi, 2015, LPNMR.

Data for NFVSDN experiments

Franck Le, Alessandra Russo, Jorge Lobo, 2017 .

Reasoning in the presence of inconsistency through Preferential ALC

Krysia Broda, Alessandra Russo, Graham Deane, 2015, LPAR.

A declarative approach to distributed computing: Specification, execution and analysis

Jorge Lobo, Franck Le, David Wood, 2013, Theory Pract. Log. Program..

Probabilistic Abductive Logic Programming using Dirichlet Priors

Krysia Broda, Alessandra Russo, Luke Dickens, 2016, PLP@ICLP.

Inductive Learning of Answer Set Programs from Noisy Examples pdf

Krysia Broda, Alessandra Russo, Mark Law, 2018, ArXiv.

Elaborating Requirements Using Model Checking and Inductive Learning

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2013, IEEE Transactions on Software Engineering.

Privacy dynamics: learning privacy norms for social software

Bashar Nuseibeh, Alessandra Russo, Blaine A. Price, 2016, SEAMS@ICSE.

Normative design using inductive learning pdf

Marina De Vos, Julian Padget, Alessandra Russo, 2011, Theory and Practice of Logic Programming.

Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs

Krysia Broda, Alessandra Russo, Mark Law, 2017, COMMONSENSE.

Compiled Labelled Deductive Systems for Access Control

Krysia Broda, Alessandra Russo, 2005, We Will Show Them!.

An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming

Krysia Broda, Alessandra Russo, Mark Law, 2016, ILP.

Community-based self generation of policies and processes for assets: Concepts and research directions

Elisa Bertino, Alessandra Russo, Dinesh C. Verma, 2017, 2017 IEEE International Conference on Big Data (Big Data).

Foundations of Logic-Based Trust Management

Alessandra Russo, Nik Sultana, Moritz Y. Becker, 2012, 2012 IEEE Symposium on Security and Privacy.

Learning revised models for planning in adaptive systems

Katsumi Inoue, Alessandra Russo, Domenico Corapi, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Generalising Propositional Modal Logic Using Labelled Deductive Systems

Alessandra Russo, A. Russo, 1996, FroCoS.

Computational alignment of goals and scenarios for complex systems

Neil A. M. Maiden, Dalal Alrajeh, Alessandra Russo, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Inductive Logic Programming as Abductive Search

Alessandra Russo, Emil C. Lupu, Domenico Corapi, 2010, ICLP.

Reduction of ILP Search Space with Bottom-Up Propositionalisation

Alessandra Russo, Hadeel Al-Negheimish, 2016, ILP.

Making inconsistency respectable in software development

Bashar Nuseibeh, Alessandra Russo, Steve M. Easterbrook, 2001, J. Syst. Softw..

Learning to recognise disruptive smartphone notifications

Alessandra Russo, Naranker Dulay, Jiefei Ma, 2014, MobileHCI '14.

OCL Evaluation Framework Integrated Environment for Syntactic and Semantic Evaluation of OCL Constraints

Alessandra Russo, Francesca Toni, Second Marker, 2008 .

Policy refinement for DiffServ quality of service management

George Pavlou, Paris Flegkas, Alessandra Russo, 2005, 2005 9th IFIP/IEEE International Symposium on Integrated Network Management, 2005. IM 2005..

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications

Jorge Lobo, Franck Le, Alessandra Russo, 2016, IEEE Transactions on Knowledge and Data Engineering.

Labelled Natural Deduction for Substructural Logics

Krysia Broda, Alessandra Russo, Marcelo Finger, 1999, Log. J. IGPL.

Using Abduction to Evolve Inconsistent Requirements Specification

Bashar Nuseibeh, Alessandra Russo, B. Nuseibeh, 1999, Australas. J. Inf. Syst..

Saliency Maps Generation for Automatic Text Summarization pdf

Krysia Broda, Alessandra Russo, David Tuckey, 2019, ArXiv.

Combining abductive reasoning and inductive learning to evolve requirements specifications

Bashar Nuseibeh, Artur S. d'Avila Garcez, Alessandra Russo, 2003, IEE Proc. Softw..

DARE: a system for distributed abductive reasoning

Krysia Broda, Alessandra Russo, Jiefei Ma, 2008, Autonomous Agents and Multi-Agent Systems.

Using argumentation logic for firewall configuration management

Alessandra Russo, Emil C. Lupu, Arosha K. Bandara, 2009, 2009 IFIP/IEEE International Symposium on Integrated Network Management.

A Translation Method for Four-valued Logics

Alessandra Russo, Odinaldo Rodrigues, A. Russo, 1998 .

Privacy Dynamics: Learning Privacy Norms for Social Software

Bashar Nuseibeh, Alessandra Russo, Blaine A. Price, 2016, 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Logic-Based Learning: Theory and Application

Dalal Alrajeh, Alessandra Russo, A. Russo, 2018, Machine Learning for Dynamic Software Analysis.

Towards making network function virtualization a cloud computing service

Jorge Lobo, Franck Le, Alessandra Russo, 2015, 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM).

The Dynamics of Multi-Agent Reinforcement Learning

Krysia Broda, Alessandra Russo, Luke Dickens, 2010, ECAI.

When did your smartphone bother you last?

Alessandra Russo, Naranker Dulay, Anna Lavygina, 2014, UbiComp Adjunct.

A novel integrated platform for gene network inference and validation: beyond the dream consortium

Krysia Broda, Alessandra Russo, Nataly Maimari, 2014 .

Adaptive V/UV Speech Detection Based on Characterization of Background Noise

Alessandra Russo, Francesco Beritelli, Salvatore Casale, 2009, EURASIP J. Audio Speech Music. Process..

Policy refinement for IP differentiated services Quality of Service management

George Pavlou, Paris Flegkas, Alessandra Russo, 2006, IEEE Transactions on Network and Service Management.

Learning weak constraints in answer set programming pdf

Krysia Broda, Alessandra Russo, Mark Law, 2015, Theory and Practice of Logic Programming.

Reasoning about Triggered Scenarios in Logic Programming

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2013, Theory Pract. Log. Program..

An Inductive Approach for Modal Transition System Refinement

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2011, ICLP.

Detecting distributed signature-based intrusion: The case of multi-path routing attacks

Jorge Lobo, Franck Le, Alessandra Russo, 2015, 2015 IEEE Conference on Computer Communications (INFOCOM).

Multi-agent Planning with Confidentiality (Extended Abstract)

Krysia Broda, Alessandra Russo, Emil Lupu, 2009 .

Multi-agent Confidential Abductive Reasoning

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2011, ICLP.

Expressive policy analysis with enhanced system dynamicity

Jorge Lobo, Alessandra Russo, Emil C. Lupu, 2009, ASIACCS '09.

Learning Commonsense Knowledge Through Interactive Dialogue

Katsumi Inoue, Alessandra Russo, Mark Law, 2018, ICLP.

Recomposing the Image

Alessandra Russo, A. Russo, 2013 .

Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics

Krysia Broda, Dov M. Gabbay, Alessandra Russo, 2004 .

AGENP: An ASGrammar-based GENerative Policy Framework

Elisa Bertino, Alessandra Russo, Dinesh C. Verma, 2018, PADG@ESORICS.

On the consequences of acting in the presence of inconsistency

Bashar Nuseibeh, Alessandra Russo, B. Nuseibeh, 1998, Proceedings Ninth International Workshop on Software Specification and Design.

Multi-agent abductive reasoning with confidentiality

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2011, AAMAS.

The complexity and generality of learning answer set programs

Krysia Broda, Alessandra Russo, Mark Law, 2018, Artif. Intell..

A goal-based approach to policy refinement

Alessandra Russo, Emil C. Lupu, Arosha K. Bandara, 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..

Revising Process Models through Inductive Learning

Giuseppe Visaggio, Alessandra Russo, Fabrizio Maria Maggi, 2010, Business Process Management Workshops.

Learning User Behaviours in Real Mobile Domains

Alessandra Russo, Emil C. Lupu, Emil Lupu, 2011, ILP.

Revision, Acceptability and Context - Theoretical and Algorithmic Aspects

Dov M. Gabbay, Alessandra Russo, Odinaldo Rodrigues, 2010, Cognitive Technologies.

Speculative constraint processing for hierarchical agents

Krysia Broda, Alessandra Russo, Ken Satoh, 2010, AI Commun..

Reasoning About Requirements Evolution Using Clustered Belief Revision

Artur S. d'Avila Garcez, Alessandra Russo, Odinaldo Rodrigues, 2004, SBIA.

Handling Change in Normative Specifications

Marina De Vos, Julian Padget, Alessandra Russo, 2012, DALT.

Speculative Abductive Reasoning for Hierarchical Agent Systems

Krysia Broda, Alessandra Russo, Randy Goebel, 2010, CLIMA.

Probabilistic Rule Learning in Nonmonotonic Domains

Katsumi Inoue, Alessandra Russo, Domenico Corapi, 2011, CLIMA.

Logic-Based Learning in Software Engineering

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).

13th International Conference on Inductive Logic Programming

Akihiro Yamamoto, Krysia Broda, Oliver Ray, 2003 .

Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots

Alessandra Russo, Holger Voos, Patrice Caire, 2016, ICAART.

Mapping UML Models incorporating OCL Constraints into Object-Z

Krysia Broda, Alessandra Russo, David G. Roe, 2003 .

Representing and Learning Grammars in Answer Set Programming

Jorge Lobo, Elisa Bertino, Krysia Broda, 2019, AAAI.

A Generative Policy Model for Connected and Autonomous Vehicles

Elisa Bertino, Alessandra Russo, Geeth de Mel, 2019, 2019 IEEE Intelligent Transportation Systems Conference (ITSC).

DeepLogic: Towards End-to-End Differentiable Logical Reasoning

Alessandra Russo, Nuri Cingillioglu, A. Russo, 2018, AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering.

Multistyle classification of speech under stress using feature subset selection based on genetic algorithms

Alessandra Russo, Salvatore Casale, Salvatore Serrano, 2007, Speech Commun..

Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms

Franck Le, Alessandra Russo, Jorge Lobo, 2017, IEEE Transactions on Network and Service Management.

Declarative Distributed Computing

Jorge Lobo, Franck Le, Alessandra Russo, 2012, Correct Reasoning.

Speech Emotion Classification Using Machine Learning Algorithms

Alessandra Russo, Salvatore Casale, Salvatore Serrano, 2008, 2008 IEEE International Conference on Semantic Computing.

Learning to share: Engineering adaptive decision-support for online social networks

Bashar Nuseibeh, Alessandra Russo, Blaine A. Price, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Distributed Abductive Reasoning with Constraints

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2010, DALT.

Policy refinement: Decomposition and operationalization for dynamic domains

Jorge Lobo, Alessandra Russo, Emil C. Lupu, 2011, 2011 7th International Conference on Network and Service Management.

Integrating Model Checking and Inductive Logic Programming

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2011, ILP.

On the Implementation of Speculative Constraint Processing

Krysia Broda, Alessandra Russo, Ken Satoh, 2009, CLIMA.

Learning operational requirements from goal models

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2009, 2009 IEEE 31st International Conference on Software Engineering.

Advances in Artificial Intelligence – SBIA 2004

Alessandra Russo, Odinaldo Rodrigues, S Labidi, 2004, Lecture Notes in Computer Science.

Experimental results on the use of genetic algorithms for scaling virtualized network functions

Jorge Lobo, Franck Le, Alessandra Russo, 2015, 2015 IEEE Conference on Network Function Virtualization and Software Defined Network (NFV-SDN).

Using Argumentation Logic for Firewall Policy Specification and Analysis

Alessandra Russo, Emil C. Lupu, Arosha K. Bandara, 2006, DSOM.

Multi-agent planning with confidentiality

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2009, AAMAS.

Leveraging in Software

Bashar Nuseibeh, Alessandra Russo, Steve Easterbrook, 2000 .

2nd International Workshop on the Induction of Process Models

Oliver Ray, Alessandra Russo, Emil C. Lupu, 2008 .

SAGE: A Logical Agent-Based Environment Monitoring and Control System

Krysia Broda, Alessandra Russo, Rob Miller, 2009, AmI.

Deriving Non-zeno Behavior Models from Goal Models Using ILP

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2008, FASE.

Enhancing the Alloy Analyzer with Patterns of Analysis

Alessandra Russo, William Heaven, A. Russo, 2005, WLPE.

Algorithmic Context Revision

Dov M. Gabbay, Alessandra Russo, Odinaldo Rodrigues, 2010 .

Inductive Learning Using Constraint-Driven Bias

Krysia Broda, Dalal Alrajeh, Alessandra Russo, 2014, ILP.

An analysis-revision cycle to evolve requirements specifications

Bashar Nuseibeh, Artur S. d'Avila Garcez, Alessandra Russo, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

Norm Refinement and Design through Inductive Learning

Marina De Vos, Julian Padget, Alessandra Russo, 2010, MALLOW.

Generalised Kernel Sets for Inverse Entailment

Krysia Broda, Oliver Ray, Alessandra Russo, 2004, ICLP.

Integrating Privacy and Safety Criteria into Planning Tasks

Alessandra Russo, Naranker Dulay, Anna Lavygina, 2015, STM.

On Minimality and Integrity Constraints in Probabilistic Abduction

Krysia Broda, Alessandra Russo, Nataly Maimari, 2013, LPAR.

Using event calculus to formalise policy specification and analysis

Alessandra Russo, Emil C. Lupu, Arosha K. Bandara, 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

Restructuring requirement specifications

Bashar Nuseibeh, Alessandra Russo, Jeff Kramer, 1999, IEE Proc. Softw..

Learning Commonsense Knowledge Through Interactive Dialogue

Alessandra Russo, Katsumi Inoue, Mark Law, 2018, ICLP.

Type A Modified Transcochlear Approach (The Basic Type)

Alessandra Russo, Mario Sanna, Abdelkader Taibah, 2008 .

Toward a Formal Characterization of Policy Specification & Analysis

Jorge Lobo, Alessandra Russo, Emil C. Lupu, 2007 .

Learning Stochastic Models of Information Flow

Jorge Lobo, Alessandra Russo, Ian Molloy, 2012, 2012 IEEE 28th International Conference on Data Engineering.

Induction and Exploitation of Subgoal Automata for Reinforcement Learning

Krysia Broda, Alessandra Russo, Anders Jonsson, 2021, J. Artif. Intell. Res..