Alessandra Russo

Jorge Lobo

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Hierarchies of Reward Machines.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Towards preserving word order importance through Forced Invalidation.

[BibT_eX]

[DOI]

Pranava Madhyastha

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Vaishak Belle

Michael Fisher

Ekaterina Komendantskaya

Alistair Nottle

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.

[BibT_eX]

[DOI]

Leo Ardon

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.

[BibT_eX]

[DOI]

Kexin Gu Baugh

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.

[BibT_eX]

[DOI]

Mach. Learn., 2022

Sparse Relational Reasoning with Object-Centric Representations.

[BibT_eX]

[DOI]

Alex F. Spies

Murray Shanahan

CoRR, 2022

Automatic Concept Extraction for Concept Bottleneck-based Video Classification.

[BibT_eX]

[DOI]

Jeya Vikranth Jeyakumar

Luis Garcia

Yu-Hsi Cheng

Diego Ramirez-Echavarria

CoRR, 2022

Formalizing Consistency and Coherence of Representation Learning.

[BibT_eX]

[DOI]

Harald Strömfelt

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

FF-NSL: Feed-Forward Neural-Symbolic Learner.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

HySTER: A Hybrid Spatio-Temporal Event Reasoner.

[BibT_eX]

[DOI]

Théophile Sautory

Mercion Wilathgamuwage Don

CoRR, 2021

Online Symbolic Learning of Policies for Explainable Security.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Trust, 2021

Coherent and Consistent Relational Transfer Learning with Auto-encoders.

[BibT_eX]

[DOI]

Harald Strömfelt

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Towards Neural-Symbolic Learning to support Human-Agent Operations.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Information Fusion, 2021

Numerical reasoning in machine reading comprehension tasks: are we there yet?

[BibT_eX]

[DOI]

Pranava Madhyastha

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Discrete Reasoning Templates for Natural Language Understanding.

[BibT_eX]

[DOI]

Pranava Madhyastha

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Francesco Ricca

Theory Pract. Log. Program., 2020

Introduction to the 36th International Conference on Logic Programming Special Issue I.

[BibT_eX]

[DOI]

Francesco Ricca

Theory Pract. Log. Program., 2020

Model-based software quality assurance tools and techniques presented at FASE 2018.

[BibT_eX]

[DOI]

Willem-Jan van den Heuvel

Andy Schürr

Int. J. Softw. Tools Technol. Transf., 2020

RADON: rational decomposition and orchestration for serverless computing.

[BibT_eX]

[DOI]

Giuliano Casale

Matej Artac

Satish Narayana Srirama

Damian A. Tamburri

Michael Wurster

Lulai Zhu

SICS Softw.-Intensive Cyber Phys. Syst., 2020

NSL: Hybrid Interpretable Learning From Noisy Raw Data.

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

Harald Strömfelt

CoRR, 2020

Learning Diverse Representations for Fast Adaptation to Distribution Shift.

[BibT_eX]

[DOI]

Daniel Pace

Murray Shanahan

CoRR, 2020

The ILASP system for Inductive Learning of Answer Set Programs.

[BibT_eX]

[DOI]

CoRR, 2020

A general framework for scientifically inspired explanations in AI.

[BibT_eX]

[DOI]

CoRR, 2020

On Security Policy Migrations.

[BibT_eX]

[DOI]

Jorge Lobo

Elisa Bertino

Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, 2020

Learning Invariants through Soft Unification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Towards Structure Learning under the Credal Semantics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shuang Xia

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

Polisma - A Framework for Learning Attribute-Based Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2020, 2020

Learning Neural Search Policies for Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Induction of Subgoal Automata for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Editorial.

[BibT_eX]

[DOI]

Andy Schürr

Heike Wehrheim

Formal Aspects Comput., 2019

Methods and Tools for Policy Analysis.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

Saliency Maps Generation for Automatic Text Summarization.

[BibT_eX]

[DOI]

CoRR, 2019

Using an ASG Based Generative Policy to Model Human Rules.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Smart Computing, 2019

Logic-Based Learning of Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

A Generative Policy Model for Connected and Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

Generative Policies for Coalition Systems - A Symbolic Learning Framework.

[BibT_eX]

[DOI]

Gregory H. Cirincione

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Policy based Ensembles for applying ML on Big Data.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Towards a Neural-Symbolic Generative Policy Model.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Learning Classical Planning Strategies with Policy Gradient.

[BibT_eX]

[DOI]

Pawel Gomoluch

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

DeepLogic: Towards End-to-End Differentiable Logical Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Preface to the special issue on inductive logic programming.

[BibT_eX]

[DOI]

James Cussens

Mach. Learn., 2018

Inductive Learning of Answer Set Programs from Noisy Examples.

[BibT_eX]

[DOI]

CoRR, 2018

DeepLogic: End-to-End Logical Reasoning.

[BibT_eX]

[DOI]

CoRR, 2018

The complexity and generality of learning answer set programs.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Tensor-Based Abduction in Horn Propositional Programs.

[BibT_eX]

[DOI]

Yaniv Aspis

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.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

AGENP: An ASGrammar-based GENerative Policy Framework.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Towards learning domain-independent planning heuristics.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2016

Probabilistic abductive logic programming using Dirichlet priors.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2016

An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

Reduction of ILP Search Space with Bottom-Up Propositionalisation.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

Privacy dynamics: learning privacy norms for social software.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Logic-based learning in software engineering.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Risk-driven revision of requirements models.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015

Learning weak constraints in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Automated support for diagnosis and repair.

[BibT_eX]

[DOI]

Commun. ACM, 2015

Integrating Privacy and Safety Criteria into Planning Tasks.

[BibT_eX]

[DOI]

Anna Lavygina

Naranker Dulay

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

An Approach for Collective Adaptation in Socio-Technical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Reasoning in the presence of inconsistency through Preferential ALC.

[BibT_eX]

[DOI]

Graham Deane

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Towards making network function virtualization a cloud computing service.

[BibT_eX]

[DOI]

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

2014

Learning to recognise disruptive smartphone notifications.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Human-computer interaction with mobile devices & services, 2014

Inductive Learning of Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Inductive Learning Using Constraint-Driven Bias.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

When did your smartphone bother you last?

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

2013

Elaborating Requirements Using Model Checking and Inductive Learning.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Reasoning about Triggered Scenarios in Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Supporting incremental behaviour model elaboration.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2013

On Minimality and Integrity Constraints in Probabilistic Abduction.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Learning Through Hypothesis Refinement Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

Learning revised models for planning in adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Computational alignment of goals and scenarios for complex systems.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Foundations of Logic-Based Trust Management.

[BibT_eX]

[DOI]

Moritz Y. Becker

Nik Sultana

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Generating obstacle conditions for requirements completeness.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Learning Stochastic Models of Information Flow.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

Predicate Invention in Inductive Logic Programming.

[BibT_eX]

[DOI]

Duangtida Athakravi

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Learning from Vacuously Satisfiable Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Risk-based security decisions under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

Declarative Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

Handling change in normative specifications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Normative design using inductive learning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Learning User Behaviours in Real Mobile Domains.

[BibT_eX]

[DOI]

Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Inductive Logic Programming in Answer Set Programming.

[BibT_eX]

[DOI]

Domenico Corapi

Emil Lupu

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Integrating Model Checking and Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Multi-agent Confidential Abductive Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

An Inductive Approach for Modal Transition System Refinement.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Policy refinement: Decomposition and operationalization for dynamic domains.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Network and Service Management, 2011

Probabilistic Rule Learning in Nonmonotonic Domains.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Refinement of History-Based Policies.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Multi-agent abductive reasoning with confidentiality.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Speculative constraint processing for hierarchical agents.

[BibT_eX]

[DOI]

AI Commun., 2010

Norm Refinement and Design through Inductive Learning.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Inductive Logic Programming as Abductive Search.

[BibT_eX]

[DOI]

Domenico Corapi

Emil Lupu

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.

[BibT_eX]

[DOI]

Salvatore Casale

Salvatore Serrano

Proceedings of the 18th European Signal Processing Conference, 2010

The Dynamics of Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Distributed Abductive Reasoning with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Decomposition techniques for policy refinement.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Network and Service Management, 2010

Speculative Abductive Reasoning for Hierarchical Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Revising Process Models through Inductive Learning.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2010

Revision, Acceptability and Context - Theoretical and Algorithmic Aspects.

[BibT_eX]

[DOI]

Dov M. Gabbay

Odinaldo Rodrigues

Cognitive Technologies, Springer, ISBN: 978-3-642-14158-4, 2010

2009

Policy conflict analysis for diffserv quality of service management.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2009

Using abduction and induction for operational requirements elaboration.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

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

[BibT_eX]

[DOI]

EURASIP J. Audio Speech Music. Process., 2009

Security policy refinement using data integration: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

Induction on Failure: Learning Connected Horn Theories.

[BibT_eX]

[DOI]

Tim Kimber

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Using argumentation logic for firewall configuration management.

[BibT_eX]

[DOI]

Proceedings of the Integrated Network Management, 2009

Learning Rules from User Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

Learning operational requirements from goal models.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

On the Implementation of Speculative Constraint Processing.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Expressive policy analysis with enhanced system dynamicity.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Information, 2009

Multi-agent planning with confidentiality.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

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

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence, 2009

2008

Belief Revision in non-Classical Logics.

[BibT_eX]

[DOI]

Dov M. Gabbay

Odinaldo Rodrigues

Rev. Symb. Log., 2008

DARE: a system for distributed abductive reasoning.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2008

Speech Emotion Classification Using Machine Learning Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

Deriving Non-zeno Behavior Models from Goal Models Using ILP.

[BibT_eX]

[DOI]

Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Dynamic System for Distributed Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Salvatore Casale

Salvatore Serrano

Speech Commun., 2007

Towards Learning Privacy Policies.

[BibT_eX]

[DOI]

Arosha K. Bandara

Emil C. Lupu

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.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Policy refinement for IP differentiated services Quality of Service management.

[BibT_eX]

[DOI]

George Pavlou

IEEE Trans. Netw. Serv. Manag., 2006

Inferring operational requirements from scenarios and goal models using inductive learning.

[BibT_eX]

[DOI]

Sebastián Uchitel

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.

[BibT_eX]

[DOI]

Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

Extracting Requirements from Scenarios with ILP.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Classification of speech under stress using features selected by genetic algorithms.

[BibT_eX]

[DOI]

Salvatore Casale

Salvatore Serrano

Proceedings of the 14th European Signal Processing Conference, 2006

Using Argumentation Logic for Firewall Policy Specification and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Large Scale Management of Distributed Systems, 2006

2005

Policy Conflict Analysis for Quality of Service Management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

William Heaven

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

Policy refinement for DiffServ quality of service management.

[BibT_eX]

[DOI]

George Pavlou

Proceedings of the Integrated Network Management, 2005

Compiled Labelled Deductive Systems for Access Control.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

A Hybrid Abductive Inductive Proof Procedure.

[BibT_eX]

[DOI]

Oliver Ray

Log. J. IGPL, 2004

Reasoning About Requirements Evolution Using Clustered Belief Revision.

[BibT_eX]

[DOI]

Odinaldo Rodrigues

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.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Generalised Kernel Sets for Inverse Entailment.

[BibT_eX]

[DOI]

Oliver Ray

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Combining abductive reasoning and inductive learning to evolve requirements specifications.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2003

Using Event Calculus to Formalise Policy Specification and Analysis.

[BibT_eX]

[DOI]

Arosha K. Bandara

Emil Lupu

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.

[BibT_eX]

[DOI]

Oliver Ray

Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

2002

Labelled Natural Deduction for Conditional Logics of Normality.

[BibT_eX]

[DOI]

Log. J. IGPL, 2002

An Abductive Approach for Analysing Event-Based Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Making inconsistency respectable in software development.

[BibT_eX]

[DOI]

Steve M. Easterbrook

J. Syst. Softw., 2001

An Analysis-Revision Cycle to Evolve Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Leveraging Inconsistency in Software Development.

[BibT_eX]

[DOI]

Steve M. Easterbrook

Computer, 2000

1999

Labelled Natural Deduction for Substructural Logics.

[BibT_eX]

[DOI]

Marcelo Finger

Log. J. IGPL, 1999

Restructuring requirement specifications.

[BibT_eX]

[DOI]

IEE Proc. Softw., 1999

Using Abduction to Evolve Inconsistent Requirements Specification.

[BibT_eX]

[DOI]

Australas. J. Inf. Syst., 1999

1998

On the Consequences of Acting in the Presence of Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1997

Grafting Modalities onto Substructural Implication Systems.

[BibT_eX]

[DOI]

Marcello D'Agostino

Dov M. Gabbay

Stud Logica, 1997

1996

Generalising Propositional Modal Logic Using Labelled Deductive Systems.

[BibT_eX]