25 citations · 97 across the 22 of their papers we have counts for
25 papers
Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
Anne-Marie George, Nic Wilson, Barry O'Sullivan
In this paper, we construct and compare algorithmic approaches to solve the Preference Consistency Problem for preference statements based on hierarchical models. Instances of this…
Computation and Complexity of Preference Inference Based on Hierarchical Models
Nic Wilson, Anne-Marie George, Barry O'Sullivan
Preference Inference involves inferring additional user preferences from elicited or observed preferences, based on assumptions regarding the form of the user's preference relation…
Generation and Prediction of Difficult Model Counting Instances
Guillaume Escamocher, Barry O'Sullivan
We present a way to create small yet difficult model counting instances. Our generator is highly parameterizable: the number of variables of the instances it produces, as well as t…
SATfeatPy -- A Python-based Feature Extraction System for Satisfiability
Benjamin Provan-Bessell, Marco Dalla, Andrea Visentin +1
Feature extraction is a fundamental task in the application of machine learning methods to SAT solving. It is used in algorithm selection and configuration for solver portfolios an…
Finding Counterfactual Explanations through Constraint Relaxations
Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan
Interactive constraint systems often suffer from infeasibility (no solution) due to conflicting user constraints. A common approach to recover infeasibility is to eliminate the con…
Privacy Interpretation of Behavioural-based Anomaly Detection Approaches
Muhammad Imran Khan, Simon Foley, Barry O'Sullivan
This paper proposes the notion of 'Privacy-Anomaly Detection' and considers the question of whether behavioural-based anomaly detection approaches can have a privacy semantic inter…