Alessandra Russo
#167,653
Most Influential Person Now
Ph.D. Imperial College London 1996
Alessandra Russo's Degrees
- PhD Computer Science Imperial College London
Similar Degrees You Can Earn
Why Is Alessandra Russo Influential?
(Suggest an Edit or Addition)According to Wikipedia, Alessandra Russo is a professor in Applied Computational Logic at the Department of Computing, Imperial College London. Career She obtained a Laurea in Computer Science from the University of Bari in 1990 achieving a grade of 110/110 before completing her PhD at Imperial College London in 1996. From 1997 to 2001 she worked at Imperial as a Research Associate before being appointed a lecturer in 2001.
Alessandra Russo's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Leveraging Inconsistency in Software Development (2000) (221)
- Using event calculus to formalise policy specification and analysis (2003) (205)
- Making inconsistency respectable in software development (2001) (192)
- A goal-based approach to policy refinement (2004) (190)
- Advances in Artificial Intelligence – SBIA 2004 (2004) (151)
- Inductive Learning of Answer Set Programs (2014) (114)
- Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms (2017) (108)
- Learning operational requirements from goal models (2009) (92)
- Expressive policy analysis with enhanced system dynamicity (2009) (85)
- Towards making network function virtualization a cloud computing service (2015) (83)
- An Abductive Approach for Analysing Event-Based Requirements Specifications (2002) (80)
- Policy conflict analysis for quality of service management (2005) (79)
- Inductive Logic Programming as Abductive Search (2010) (76)
- Risk-based security decisions under uncertainty (2012) (71)
- Inductive Logic Programming in Answer Set Programming (2011) (69)
- Mapping UML Models incorporating OCL Constraints into Object-Z (2003) (63)
- Using Argumentation Logic for Firewall Policy Specification and Analysis (2006) (62)
- Learning revised models for planning in adaptive systems (2013) (61)
- Hybrid Abductive Inductive Learning: A Generalisation of Progol (2003) (58)
- Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management (2006) (52)
- Policy conflict analysis for diffserv quality of service management (2009) (49)
- BELIEF REVISION IN NON-CLASSICAL LOGICS (2008) (47)
- Policy refinement for DiffServ quality of service management (2005) (47)
- SAGE: A Logical Agent-Based Environment Monitoring and Control System (2009) (46)
- Iterative Learning of Answer Set Programs from Context Dependent Examples (2016) (46)
- Using argumentation logic for firewall configuration management (2009) (45)
- Generating obstacle conditions for requirements completeness (2012) (41)
- Normative design using inductive learning (2011) (40)
- Combining abductive reasoning and inductive learning to evolve requirements specifications (2003) (39)
- The complexity and generality of learning answer set programs (2018) (39)
- Generalising Propositional Modal Logic Using Labelled Deductive Systems (1996) (38)
- Learning weak constraints in answer set programming (2015) (37)
- Privacy Dynamics: Learning Privacy Norms for Social Software (2016) (36)
- RADON: rational decomposition and orchestration for serverless computing (2019) (36)
- Elaborating Requirements Using Model Checking and Inductive Learning (2013) (35)
- Using Abduction to Evolve Inconsistent Requirements Specification (1999) (34)
- Learning Through Hypothesis Refinement Using Answer Set Programming (2013) (34)
- FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria (2020) (33)
- Policy refinement: Decomposition and operationalization for dynamic domains (2011) (32)
- The ILASP system for Inductive Learning of Answer Set Programs (2020) (31)
- Learning Rules from User Behaviour (2009) (30)
- Experimental results on the use of genetic algorithms for scaling virtualized network functions (2015) (30)
- Inductive Learning of Answer Set Programs from Noisy Examples (2018) (28)
- Policy refinement for IP differentiated services Quality of Service management (2006) (28)
- Probabilistic Rule Learning in Nonmonotonic Domains (2011) (27)
- Decomposition techniques for policy refinement (2010) (27)
- Methods and Tools for Policy Analysis (2019) (27)
- Learning Stochastic Models of Information Flow (2012) (26)
- DARE: a system for distributed abductive reasoning (2008) (26)
- Induction on Failure: Learning Connected Horn Theories (2009) (24)
- Extracting Requirements from Scenarios with ILP (2007) (23)
- Detecting distributed signature-based intrusion: The case of multi-path routing attacks (2015) (23)
- An analysis-revision cycle to evolve requirements specifications (2001) (22)
- Restructuring requirements specifications for managing inconsistency and change: a case study (1998) (22)
- Automated support for diagnosis and repair (2015) (21)
- Learning to recognise disruptive smartphone notifications (2014) (21)
- Induction of Subgoal Automata for Reinforcement Learning (2019) (21)
- Predicate Invention in Inductive Logic Programming (2012) (21)
- Representing and Learning Grammars in Answer Set Programming (2019) (20)
- Labelled Natural Deduction for Substructural Logics (1999) (20)
- Plumes of Sacrifice: Transformations in Sixteenth-Century Mexican Feather Art (2002) (20)
- Using abduction and induction for operational requirements elaboration (2009) (20)
- Grafting Modalities onto Substructural Implication Systems (1997) (19)
- Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (2004) (19)
- Revision by Translation (2000) (18)
- Restructuring Requirements Specifications (1999) (17)
- A Hybrid Abductive Inductive Proof Procedure (2004) (17)
- Supporting incremental behaviour model elaboration (2012) (16)
- USING ABDUCTION TO EVOLVE INCONSISTENT REQUIREMENTS SPECIFICATIONS (1999) (15)
- Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms (2017) (15)
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning (2018) (15)
- Handling Change in Normative Specifications (2012) (15)
- Regions in Transition in the Former Soviet Area (2017) (15)
- Polisma - A Framework for Learning Attribute-Based Access Control Policies (2020) (15)
- Labelled Natural Deduction for Conditional Logics of Normality (2002) (15)
- Induction and Exploitation of Subgoal Automata for Reinforcement Learning (2020) (14)
- Overlap with contestation? Comparing norms and policies of regional organizations in the post-Soviet space (2017) (14)
- Learning from Vacuously Satisfiable Scenario-Based Specifications (2012) (14)
- Images take flight : feather art in Mexico and Europe, 1400 - 1700 (2015) (14)
- Revision, Acceptability and Context - Theoretical and Algorithmic Aspects (2010) (13)
- Modal Labelled Deductive Systems (1995) (13)
- Speculative Abductive Reasoning for Hierarchical Agent Systems (2010) (13)
- Deriving non-Zeno behaviour models from goal models using ILP (2008) (13)
- An Approach for Collective Adaptation in Socio-Technical Systems (2015) (13)
- Why do Authoritarian Leaders do Regionalism? Ontological Security and Eurasian Regional Cooperation (2018) (13)
- AGENP: An ASGrammar-based GENerative Policy Framework (2018) (13)
- Integration of flow studies for robust selection of mechanoresponsive genes (2016) (13)
- Reasoning About Requirements Evolution Using Clustered Belief Revision (2004) (12)
- Foundations of Logic-Based Trust Management (2012) (12)
- Toward a Formal Characterization of Policy Specification & Analysis (2007) (12)
- An Inductive Approach for Modal Transition System Refinement (2011) (11)
- Inferring operational requirements from scenarios and goal models using inductive learning (2006) (11)
- Logic-Based Learning of Answer Set Programs (2019) (11)
- Probabilistic Abductive Logic Programming using Dirichlet Priors (2016) (11)
- Fringe Regionalism (2018) (11)
- Modeling the user knowledge by belief networks (1992) (11)
- An Abductive Approach for Handling Inconsistencies in SCR Specifications (2000) (11)
- ON THE USE OF LOGICAL ABDUCTION IN SOFTWARE ENGINEERING (11)
- Learning User Behaviours in Real Mobile Domains (2011) (10)
- A declarative approach to distributed computing: Specification, execution and analysis (2013) (10)
- Learning Neural Search Policies for Classical Planning (2019) (10)
- Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-Consistent Logical Systems (10)
- Revising Process Models through Inductive Learning (2010) (10)
- A Translation Method for Belnap Logic Imperial College Research Report DoC 98 / 7 (1998) (10)
- Cortés's objects and the idea of New Spain Inventories as spatial narratives (2011) (10)
- Simplified Reduct for Choice Rules in ASP (2015) (9)
- A Generative Policy Model for Connected and Autonomous Vehicles (2019) (9)
- On the consequences of acting in the presence of inconsistency (1998) (9)
- Roundtable: The Global Before Globalization (2010) (9)
- Security policy refinement using data integration: a position paper (2009) (9)
- Learning Classical Planning Strategies with Policy Gradient (2018) (8)
- Inductive Learning Using Constraint-Driven Bias (2014) (8)
- The securitisation of cultural heritage (2018) (8)
- Information, Uncertainty and Fusion (2000) (8)
- Norm Refinement and Design through Inductive Learning (2010) (8)
- Integrating Model Checking and Inductive Logic Programming (2011) (8)
- Numerical reasoning in machine reading comprehension tasks: are we there yet? (2021) (8)
- An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming (2016) (8)
- Declarative Distributed Computing (2012) (8)
- A Formal Framework for Policy Analysis (2008) (8)
- Distributed Abductive Reasoning with Constraints (2010) (8)
- A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction (1998) (7)
- The Untranslatable Image: A Mestizo History of the Arts in New Spain, 1500-1600 (2014) (7)
- Whose Enemy at the Gates? Border Management in the Context of EU Crisis Response in Libya and Ukraine (2020) (7)
- Risk-Driven Revision of Requirements Models (2016) (7)
- Transformation Methods in LDS (1999) (7)
- Refinement of History-Based Policies (2011) (7)
- Towards Learning Risk Estimation Functions for Access Control (2010) (7)
- DeepLogic: End-to-End Logical Reasoning (2018) (7)
- Automated Inference of Rules with Exception from Past Legal Cases Using ASP (2015) (7)
- A unified compilation style labelled deductive system for modal, substructural and fuzzy logics (2000) (7)
- Towards learning domain-independent planning heuristics (2017) (7)
- Tensor-Based Abduction in Horn Propositional Programs (2018) (6)
- Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs (2017) (6)
- When did your smartphone bother you last? (2014) (6)
- Policy refinement for DiffServ quality of service (2005) (6)
- Logic-Based Learning: Theory and Application (2018) (6)
- Risk-Based Access Control Decisions Under Uncertainty ? (2011) (6)
- Community-based self generation of policies and processes for assets: Concepts and research directions (2017) (6)
- Learning to share: Engineering adaptive decision-support for online social networks (2017) (5)
- Stable and Supported Semantics in Continuous Vector Spaces (2020) (5)
- Governance Beyond the Law (2019) (5)
- A ‘Potemkin Village’? Governance Transfer by the CIS (2015) (5)
- How the EU is facing crises in its neighbourhood: Evidence from Libya and Ukraine (2017) (5)
- Declarative Framework for Specification, Simulation and Analysis of Distributed Applications (2016) (5)
- Generalised Kernel Sets for Inverse Entailment (2004) (5)
- Using an ASG Based Generative Policy to Model Human Rules (2019) (4)
- Speculative constraint processing for hierarchical agents (2010) (4)
- The Dynamics of Multi-Agent Reinforcement Learning (2010) (4)
- Restructuring requirement specifications (1999) (4)
- Introduction: “The Good, the Bad and the Ugly”: Transnational Perspectives on the Extralegal Field (2019) (4)
- Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework (2022) (4)
- Enhancing the Alloy Analyzer with Patterns of Analysis (2005) (4)
- Reasoning in the presence of inconsistency through Preferential ALC (2015) (4)
- 2018 International Conference on Artificial Intelligence: Applications and Innovations (2018) (4)
- On Minimality and Integrity Constraints in Probabilistic Abduction (2013) (4)
- Multi-agent Confidential Abductive Reasoning (2011) (4)
- Scalable Non-observational Predicate Learning in ASP (2021) (4)
- Monuments under attack : from protection to securitisation (2017) (4)
- A Tale of Two Bodies: On Aesthetic Condensation in the Mexican Colonial Graffiti of Actopan, 1629 (2006) (4)
- An artistic humanity: New positions on art and freedom in the context of Iberian expansion, 1500–1600 (2015) (4)
- US mainland, EU archipelago? Convergence and divergence on transnational organized crime (2014) (4)
- Reaching for allies? The dialectics and overlaps between international relations and area studies in the study of politics, security and conflicts (2022) (3)
- Regional security governance in the former Soviet space? Researching institutions, actors and practices (2016) (3)
- FFNSL: Feed-Forward Neural-Symbolic Learner (2021) (3)
- Foundations of trust management (2012) (3)
- ASIA: Automated Social Identity Assessment using linguistic style (2021) (3)
- The CCCTB and possible elements of a technical outline: the ‘switch-over’ clause (2008) (3)
- Compiled Labelled Deductive Systems for Access Control (2005) (3)
- Reasoning about Triggered Scenarios in Logic Programming (2013) (3)
- On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision (2020) (3)
- Multi-agent planning with confidentiality (2009) (3)
- Multi-agent abductive reasoning with confidentiality (2011) (3)
- Generative Policies for Coalition Systems - A Symbolic Learning Framework (2019) (3)
- Saliency Maps Generation for Automatic Text Summarization (2019) (3)
- NSL: Hybrid Interpretable Learning From Noisy Raw Data (2020) (3)
- Comparative regionalism: Still emerging, already to be reformed? (2016) (3)
- Logic-Based Learning in Software Engineering (2016) (3)
- Policy based ensembles for multi domain operations (2020) (3)
- Transparent Modelling of Finite Stochastic Processes for Multiple Agents (2008) (3)
- A Linear Algebraic Approach to Logic Programming (2018) (2)
- European Workshop on Reinforcement Learning (2008) (2)
- Proof of the Soundness and Completeness of ILASP 2 (2015) (2)
- Towards Structure Learning under the Credal Semantics (2020) (2)
- Towards Learning Privacy Policies (2007) (2)
- A regional house…of cards? Discursive and imaginative processes of region-building within and around Georgia (2016) (2)
- Computational alignment of goals and scenarios for complex systems (2013) (2)
- Coalition situational understanding via explainable neuro-symbolic reasoning and learning (2021) (2)
- Democratic diffusion failures or successful authoritarian protection? Central Asian undeclared policies vis-à-vis the 'Arab spring' (2014) (2)
- On the Implementation of Speculative Constraint Processing (2009) (2)
- Learning Diverse Representations for Fast Adaptation to Distribution Shift (2020) (2)
- The Politics of Safe Research in Violent and Illiberal Contexts (2020) (2)
- Learning Commonsense Knowledge Through Interactive Dialogue (2018) (2)
- 2nd International Workshop on the Induction of Process Models (2008) (2)
- Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering (2011) (2)
- Discrete Reasoning Templates for Natural Language Understanding (2021) (2)
- FLAP - A Federated Learning Framework for Attribute-based Access Control Policies (2020) (2)
- Proof of soundness and completeness (2011) (1)
- Symbolic Representation and Inference of Regulatory Network Structures (2014) (1)
- The external dimension of the EU's fight against transnational crime: Transferring political rationalities of crime control (2021) (1)
- 13th International Conference on Inductive Logic Programming (2003) (1)
- Predicting a Salient Social Identity from Linguistic Style (2019) (1)
- Topical Neural Theorem Prover that Induces Rules (2020) (1)
- Region-making at Last in the Former Soviet Area: Some Suggestions for Future Research (2018) (1)
- Restructuring Requirements Speciications for Inconsistency Analysis: a Case Study (1998) (1)
- Feather Creations. Materials, Production and Circulation. (2006) (1)
- Lights on the Antipodes: Francisco de Holanda and an Art History of the Universal (2020) (1)
- Modelling MAS with Finite Analytic Stochastic Processes (2008) (1)
- pix2rule: End-to-end Neuro-symbolic Rule Learning (2021) (1)
- Policy technologies for security management in coalition networks (2010) (1)
- PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics (2021) (1)
- OCL Evaluation Framework Integrated Environment for Syntactic and Semantic Evaluation of OCL Constraints (2008) (1)
- Notes from the Field: Tradition (2013) (1)
- Supporting incremental behaviour model elaboration (2012) (1)
- Information frames, implication systems and modalities (1996) (1)
- Online Symbolic Learning of Policies for Explainable Security (2021) (1)
- A Tableau Compiled Labelled Deductive System for Hybrid Logic (2007) (1)
- Introducing Revision Theory (2010) (1)
- Learning Invariants through Soft Unification (2019) (1)
- Expressive Policy Analysis with Laws of System Change (2009) (1)
- On Security Policy Migrations (2020) (1)
- Preface to the special issue on inductive logic programming (2018) (0)
- Object-Level Deletion (2010) (0)
- Comparative regionalism: Still emerging, already to be reformed? (2016) (0)
- Evidence-based governance: the role of epidemiological indicators in negotiation with stakeholders (2020) (0)
- Actors and Sites for Knowledge Production on Radicalisation in Europe and Beyond (2021) (0)
- The Open University ’ s repository of research publications and other research outputs Using Event Calculus to Formalise Policy Specification and Analysis Conference Item (2016) (0)
- "EVERYWHERE IN THIS NEW SPAIN": EXTENSION AND ARTICULATION OF AN ARTISTIC WORLD (2010) (0)
- Governance Beyond the Law : The Immoral , The Illegal , The Criminal (0)
- Producing Regional Spaces from the Margins: Fringe Regionalism: A Conceptual Proposal to Recalibrate the Study of Regions (2018) (0)
- The Practice of Fringe Regionalism: Evidence from the Caucasus and the Sahara (2018) (0)
- Learning Reward Machines in Cooperative Multi-Agent Tasks (2023) (0)
- Towards a Wider Application of Fringe Regionalism: Comparisons and Transfers (2018) (0)
- Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots (2016) (0)
- Caring, protecting and disciplining (2019) (0)
- Post-Soviet States and Post-Soviet Regions (2018) (0)
- A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (2021) (0)
- The Outside-In Facet: Regional Models of Governance Transfer? (2018) (0)
- Stepwise Revision Operations (2010) (0)
- Model-based software quality assurance tools and techniques presented at FASE 2018 (2019) (0)
- Multi-agent Abductive Reasoning with Confidentiality (Extended Abstract) (2011) (0)
- A Declarative Framework for the Analysis of Routing Protocols (2012) (0)
- A Translation Method for Four-valued Logics (1998) (0)
- Critical Response to “An Armenian Village in Turkey: An Identity Squeezed Between Inherited Memories and Future Prospects” (2014) (0)
- ’ s repository of research publications and other research outputs Learning to Share : Engineering Adaptive Decision-Support for Online Social Networks Conference or Workshop Item (2018) (0)
- Towards a Neural-Symbolic Generative Policy Model (2019) (0)
- Collective Adaptation of Socio-Technical Systems (2015) (0)
- A Comparison Between Statistical and Symbolic Learning Approaches for Generative Policy Models (2019) (0)
- Hierarchies of Reward Machines (2022) (0)
- Regional Models of Security Governance in the Former Soviet Space: a Research Agenda (2016) (0)
- Reduction of ILP Search Space with Bottom-Up Propositionalisation (2016) (0)
- The Paradox of Russian Hegemony (2018) (0)
- Background and Overview (2010) (0)
- Compiled Labelled Deductive Systems for Modal and Conditional Logics (2004) (0)
- Introduction to the 36th International Conference on Logic Programming Special Issue I (2020) (0)
- Integrating Privacy and Safety Criteria into Planning Tasks (2015) (0)
- Formalizing Consistency and Coherence of Representation Learning (2022) (0)
- The Inside-Out Facet: State Identity and Regional Imaginaries (2018) (0)
- Recomposing the Image (2013) (0)
- Radicalisation, counter-radicalisation and countering violent extremism in the Western Balkans and the South Caucasus: the cases of Kosovo and Georgia (2022) (0)
- Algorithmic Context Revision (2010) (0)
- Labelled Natural Deduction for (1999) (0)
- Policy based Ensembles for applying ML on Big Data (2019) (0)
- Distributed Declarative Computing (2012) (0)
- Towards a Coalition Focused Neural-Symbolic Generative Policy Model (2019) (0)
- Reasoning Techniques for Analysis and Refinement of Policies for Service Management (0)
- Using Analysis Patterns to Uncover Specification Errors (2008) (0)
- The Open University ’ s repository of research publications and other research outputs A Goal-based Approach to Policy Refinement Conference Item (2016) (0)
- Structured Revision: Non-linear Methods for Information Change (2010) (0)
- 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 (2018) (0)
- Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data (2022) (0)
- Joint Proceedings of the 2 nd Workshop on Natural Language Processing and Automated Reasoning , and the 2 nd International Workshop on Learning and Nonmonotonic Reasoning at LPNMR 2015 (2015) (0)
- Data for NFVSDN experiments (2017) (0)
- Symbolic representation and inference of regulatory networks: uncovering mechanosensitive gene networks (2014) (0)
- Towards Neural-Symbolic Learning to support Human-Agent Operations (2021) (0)
- Introductory Remarks: The Case for Fringe Regionalism (2018) (0)
- The RADON Verification Tool: Proofs of Correctness (2020) (0)
- Back Matter (2005) (0)
- Dynamics : Learning Privacy Norms for Social Software Conference or Workshop Item (2019) (0)
- Conclusions and Discussions (2010) (0)
- Revision by Translation ( short version ) (1999) (0)
- A general framework for scientifically inspired explanations in AI (2020) (0)
- Restructuring Requirements Speci cations for Analysis and Change Management (1998) (0)
- A Dynamic System for Distributed Reasoning (2008) (0)
- PAQMAN : Policy Analysis for Quality of service MANagemen (2003) (0)
- Preface to the special issue on inductive logic programming (2018) (0)
- Leveraging in Software (2000) (0)
- A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge (2022) (0)
- Editorial (2019) (0)
- Norm Refinement and Design through Inductive Learning (cid:63) (2010) (0)
- Coherent and Consistent Relational Transfer Learning with Auto-encoders (2021) (0)
- A Declarative Framework for the Verification of Network Protocols (2013) (0)
- HySTER: A Hybrid Spatio-Temporal Event Reasoner (2021) (0)
- Introduction to the 36th International Conference on Logic Programming Special Issue II (2020) (0)
- Inductive Learning of Complex Knowledge from Raw Data (2022) (0)
- Fundamental Approaches to Software Engineering (2006) (0)
- Editorial: Islands of Organised Crime: Spatiality, Mobility and Confinement (2019) (0)
- Handling Change in Normative Specifications (Extended Abstract) (2012) (0)
- The state before criminal firearms (2021) (0)
- Region-Building in the Former Soviet Space (2018) (0)
- Multi-agent Planning with Confidentiality (Extended Abstract) (2009) (0)
- A novel integrated platform for gene network inference and validation: beyond the dream consortium (2014) (0)
This paper list is powered by the following services:
Other Resources About Alessandra Russo
What Schools Are Affiliated With Alessandra Russo?
Alessandra Russo is affiliated with the following schools:
