Alessandra Russo

Orcid: 0000-0002-3318-8711

Affiliations:
  • Imperial College London, UK


According to our database1, Alessandra Russo authored at least 190 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning.
CoRR, 2024

2023
Introduction to the 39<sup>th</sup> International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program., July, 2023

FFNSL: Feed-Forward Neural-Symbolic Learner.
Mach. Learn., February, 2023

A Unifying Framework for Learning Argumentation Semantics.
CoRR, 2023

NeuralFastLAS: Fast Logic-Based Learning from Raw Data.
CoRR, 2023

Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition.
CoRR, 2023

RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care.
CoRR, 2023

Towards ILP-Based LTL f Passive Learning.
Proceedings of the Inductive Logic Programming - 32nd International Conference, 2023

Active Learning in Neurosymbolic AI with Embed2Sym.
Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023

Neuro-Symbolic Learning of Answer Set Programs from Raw Data.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Hierarchies of Reward Machines.
Proceedings of the International Conference on Machine Learning, 2023

Towards preserving word order importance through Forced Invalidation.
Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

FLAP - A Federated Learning Framework for Attribute-based Access Control Policies.
Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 2023

Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges.
Proceedings of the Autonomous Agents and Multiagent Systems. Best and Visionary Papers - AAMAS 2023 Workshops, London, UK, May 29, 2023

Learning Reward Machines in Cooperative Multi-agent Tasks.
Proceedings of the Autonomous Agents and Multiagent Systems. Best and Visionary Papers - AAMAS 2023 Workshops, London, UK, May 29, 2023

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), 2023

2022
Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework.
Mach. Learn., 2022

Sparse Relational Reasoning with Object-Centric Representations.
CoRR, 2022

Automatic Concept Extraction for Concept Bottleneck-based Video Classification.
CoRR, 2022

Formalizing Consistency and Coherence of Representation Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

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

Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021
Induction and Exploitation of Subgoal Automata for Reinforcement Learning.
J. Artif. Intell. Res., 2021

FF-NSL: Feed-Forward Neural-Symbolic Learner.
CoRR, 2021

PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics.
CoRR, 2021

HySTER: A Hybrid Spatio-Temporal Event Reasoner.
CoRR, 2021

Online Symbolic Learning of Policies for Explainable Security.
Proceedings of the 3rd IEEE International Conference on Trust, 2021

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

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

Scalable Non-observational Predicate Learning in ASP.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

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

Numerical reasoning in machine reading comprehension tasks: are we there yet?
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Discrete Reasoning Templates for Natural Language Understanding.
Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop, 2021

Inductive Learning of Complex Knowledge from Raw Data.
Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021

2020
Introduction to the 36th International Conference on Logic Programming Special Issue II.
Theory Pract. Log. Program., 2020

Introduction to the 36th International Conference on Logic Programming Special Issue I.
Theory Pract. Log. Program., 2020

Model-based software quality assurance tools and techniques presented at FASE 2018.
Int. J. Softw. Tools Technol. Transf., 2020

RADON: rational decomposition and orchestration for serverless computing.
SICS Softw.-Intensive Cyber Phys. Syst., 2020

NSL: Hybrid Interpretable Learning From Noisy Raw Data.
CoRR, 2020

On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision.
CoRR, 2020

Learning Diverse Representations for Fast Adaptation to Distribution Shift.
CoRR, 2020

The ILASP system for Inductive Learning of Answer Set Programs.
CoRR, 2020

A general framework for scientifically inspired explanations in AI.
CoRR, 2020

On Security Policy Migrations.
Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, 2020

Learning Invariants through Soft Unification.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Stable and Supported Semantics in Continuous Vector Spaces.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Towards Structure Learning under the Credal Semantics.
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Topical Neural Theorem Prover that Induces Rules.
Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

Polisma - A Framework for Learning Attribute-Based Access Control Policies.
Proceedings of the Computer Security - ESORICS 2020, 2020

Learning Neural Search Policies for Classical Planning.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Induction of Subgoal Automata for Reinforcement Learning.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Editorial.
Formal Aspects Comput., 2019

Methods and Tools for Policy Analysis.
ACM Comput. Surv., 2019

Saliency Maps Generation for Automatic Text Summarization.
CoRR, 2019

Using an ASG Based Generative Policy to Model Human Rules.
Proceedings of the IEEE International Conference on Smart Computing, 2019

Logic-Based Learning of Answer Set Programs.
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

A Generative Policy Model for Connected and Autonomous Vehicles.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

A Comparison Between Statistical and Symbolic Learning Approaches for Generative Policy Models.
Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

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

Policy based Ensembles for applying ML on Big Data.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

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

Learning Classical Planning Strategies with Policy Gradient.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

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) Stanford University, 2019

Representing and Learning Grammars in Answer Set Programming.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Preface to the special issue on inductive logic programming.
Mach. Learn., 2018

Inductive Learning of Answer Set Programs from Noisy Examples.
CoRR, 2018

DeepLogic: End-to-End Logical Reasoning.
CoRR, 2018

The complexity and generality of learning answer set programs.
Artif. Intell., 2018

Tensor-Based Abduction in Horn Propositional Programs.
Proceedings of the Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), 2018

Learning Commonsense Knowledge Through Interactive Dialogue.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

AGENP: An ASGrammar-based GENerative Policy Framework.
Proceedings of the Policy-Based Autonomic Data Governance [extended papers from the Second International Workshop on Policy-based Autonomic Data Governance, 2018

Logic-Based Learning: Theory and Application.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017
Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms.
IEEE Trans. Netw. Serv. Manag., 2017

Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms.
CoRR, 2017

Towards learning domain-independent planning heuristics.
CoRR, 2017

Learning to share: engineering adaptive decision-support for online social networks.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

Community-based self generation of policies and processes for assets: Concepts and research directions.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016
Iterative Learning of Answer Set Programs from Context Dependent Examples.
Theory Pract. Log. Program., 2016

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications.
IEEE Trans. Knowl. Data Eng., 2016

Probabilistic abductive logic programming using Dirichlet priors.
Int. J. Approx. Reason., 2016

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

Reduction of ILP Search Space with Bottom-Up Propositionalisation.
Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

Privacy dynamics: learning privacy norms for social software.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Logic-based learning in software engineering.
Proceedings of the 38th International Conference on Software Engineering, 2016

Risk-driven revision of requirements models.
Proceedings of the 38th International Conference on Software Engineering, 2016

Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015
Learning weak constraints in answer set programming.
Theory Pract. Log. Program., 2015

Automated support for diagnosis and repair.
Commun. ACM, 2015

Integrating Privacy and Safety Criteria into Planning Tasks.
Proceedings of the Security and Trust Management - 11th International Workshop, 2015

An Approach for Collective Adaptation in Socio-Technical Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Experimental results on the use of genetic algorithms for scaling virtualized network functions.
Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015

Automated Inference of Rules with Exception from Past Legal Cases Using ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Reasoning in the presence of inconsistency through Preferential ALC.
Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Detecting distributed signature-based intrusion: The case of multi-path routing attacks.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Towards making network function virtualization a cloud computing service.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

2014
Learning to recognise disruptive smartphone notifications.
Proceedings of the 16th international conference on Human-computer interaction with mobile devices & services, 2014

Inductive Learning of Answer Set Programs.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Inductive Learning Using Constraint-Driven Bias.
Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

When did your smartphone bother you last?
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

2013
Elaborating Requirements Using Model Checking and Inductive Learning.
IEEE Trans. Software Eng., 2013

A declarative approach to distributed computing: Specification, execution and analysis.
Theory Pract. Log. Program., 2013

Reasoning about Triggered Scenarios in Logic Programming.
Theory Pract. Log. Program., 2013

Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev., 2013

On Minimality and Integrity Constraints in Probabilistic Abduction.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Learning Through Hypothesis Refinement Using Answer Set Programming.
Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

Learning revised models for planning in adaptive systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

Computational alignment of goals and scenarios for complex systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Foundations of Logic-Based Trust Management.
Proceedings of the IEEE Symposium on Security and Privacy, 2012

Generating obstacle conditions for requirements completeness.
Proceedings of the 34th International Conference on Software Engineering, 2012

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

Predicate Invention in Inductive Logic Programming.
Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Learning from Vacuously Satisfiable Scenario-Based Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Risk-based security decisions under uncertainty.
Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

Declarative Distributed Computing.
Proceedings of the Correct Reasoning, 2012

Handling change in normative specifications.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Normative design using inductive learning.
Theory Pract. Log. Program., 2011

Learning User Behaviours in Real Mobile Domains.
Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Inductive Logic Programming in Answer Set Programming.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Integrating Model Checking and Inductive Logic Programming.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Multi-agent Confidential Abductive Reasoning.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

An Inductive Approach for Modal Transition System Refinement.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Policy refinement: Decomposition and operationalization for dynamic domains.
Proceedings of the 7th International Conference on Network and Service Management, 2011

Probabilistic Rule Learning in Nonmonotonic Domains.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Refinement of History-Based Policies.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Multi-agent abductive reasoning with confidentiality.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Deriving non-Zeno behaviour models from goal models using ILP.
Formal Aspects Comput., 2010

Speculative constraint processing for hierarchical agents.
AI Commun., 2010

Norm Refinement and Design through Inductive Learning.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Inductive Logic Programming as Abductive Search.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Analysis of robustness of attributes selection applied to speech emotion recognition.
Proceedings of the 18th European Signal Processing Conference, 2010

The Dynamics of Multi-Agent Reinforcement Learning.
Proceedings of the ECAI 2010, 2010

Distributed Abductive Reasoning with Constraints.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Decomposition techniques for policy refinement.
Proceedings of the 6th International Conference on Network and Service Management, 2010

Speculative Abductive Reasoning for Hierarchical Agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Revising Process Models through Inductive Learning.
Proceedings of the Business Process Management Workshops, 2010

Revision, Acceptability and Context - Theoretical and Algorithmic Aspects.
Cognitive Technologies, Springer, ISBN: 978-3-642-14158-4, 2010

2009
Policy conflict analysis for diffserv quality of service management.
IEEE Trans. Netw. Serv. Manag., 2009

Using abduction and induction for operational requirements elaboration.
J. Appl. Log., 2009

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

Security policy refinement using data integration: a position paper.
Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

Induction on Failure: Learning Connected Horn Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Using argumentation logic for firewall configuration management.
Proceedings of the Integrated Network Management, 2009

Learning Rules from User Behaviour.
Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

Learning operational requirements from goal models.
Proceedings of the 31st International Conference on Software Engineering, 2009

On the Implementation of Speculative Constraint Processing.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Expressive policy analysis with enhanced system dynamicity.
Proceedings of the 2009 ACM Symposium on Information, 2009

Multi-agent planning with confidentiality.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

SAGE: A Logical Agent-Based Environment Monitoring and Control System.
Proceedings of the Ambient Intelligence, 2009

2008
Belief Revision in non-Classical Logics.
Rev. Symb. Log., 2008

DARE: a system for distributed abductive reasoning.
Auton. Agents Multi Agent Syst., 2008

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

Deriving Non-zeno Behavior Models from Goal Models Using ILP.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Dynamic System for Distributed Reasoning.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007
Multistyle classification of speech under stress using feature subset selection based on genetic algorithms.
Speech Commun., 2007

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

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, 2007

2006
Policy refinement for IP differentiated services Quality of Service management.
IEEE Trans. Netw. Serv. Manag., 2006

Inferring operational requirements from scenarios and goal models using inductive learning.
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management.
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

Extracting Requirements from Scenarios with ILP.
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Classification of speech under stress using features selected by genetic algorithms.
Proceedings of the 14th European Signal Processing Conference, 2006

Using Argumentation Logic for Firewall Policy Specification and Analysis.
Proceedings of the Large Scale Management of Distributed Systems, 2006

2005
Policy Conflict Analysis for Quality of Service Management.
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

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

Policy refinement for DiffServ quality of service management.
Proceedings of the Integrated Network Management, 2005

Compiled Labelled Deductive Systems for Access Control.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004
A Hybrid Abductive Inductive Proof Procedure.
Log. J. IGPL, 2004

Reasoning About Requirements Evolution Using Clustered Belief Revision.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

A Goal-based Approach to Policy Refinement.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Generalised Kernel Sets for Inverse Entailment.
Proceedings of the Logic Programming, 20th International Conference, 2004

2003
Combining abductive reasoning and inductive learning to evolve requirements specifications.
IEE Proc. Softw., 2003

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

Hybrid Abductive Inductive Learning: A Generalisation of Progol.
Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

2002
Labelled Natural Deduction for Conditional Logics of Normality.
Log. J. IGPL, 2002

An Abductive Approach for Analysing Event-Based Requirements Specifications.
Proceedings of the Logic Programming, 18th International Conference, 2002

2001
Making inconsistency respectable in software development.
J. Syst. Softw., 2001

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

2000
Leveraging Inconsistency in Software Development.
Computer, 2000

1999
Labelled Natural Deduction for Substructural Logics.
Log. J. IGPL, 1999

Restructuring requirement specifications.
IEE Proc. Softw., 1999

Using Abduction to Evolve Inconsistent Requirements Specification.
Australas. J. Inf. Syst., 1999

1998
On the Consequences of Acting in the Presence of Inconsistency.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.
Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1997
Grafting Modalities onto Substructural Implication Systems.
Stud Logica, 1997

1996
Generalising Propositional Modal Logic Using Labelled Deductive Systems.
Proceedings of the Frontiers of Combining Systems, 1996

1992
Modeling the User Knowledge by Belief Networks.
User Model. User Adapt. Interact., 1992


  Loading...