7 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Maastricht UniversityNL6 papers
- University of TübingenDE2 papers
- Australian National UniversityAU1 paper
- ETH ZurichCH1 paper
- New York UniversityUS1 paper
- South China University of TechnologyCN1 paper
- Swedish University of Agricultural SciencesSE1 paper
- Université Montpellier 21 paper
- University of CanterburyNZ1 paper
- University of StrathclydeGB1 paper
9 papers
On resolving conflicts between arguments
Nico Roos
Argument systems are based on the idea that one can construct arguments for propositions; i.e., structured reasons justifying the belief in a proposition. Using defeasible rules, a…
Efficient Model Based Diagnosis
Nico Roos
In this paper an efficient model based diagnostic process is described for systems whose components possess a causal relation between their inputs and their outputs. In this diagno…
LoGAN: Generating Logos with a Generative Adversarial Neural Network Conditioned on color
Ajkel Mino, Gerasimos Spanakis
Designing a logo is a long, complicated, and expensive process for any designer. However, recent advancements in generative algorithms provide models that could offer a possible so…
MaaSim: A Liveability Simulation for Improving the Quality of Life in Cities
Dominika Woszczyk, Gerasimos Spanakis
Urbanism is no longer planned on paper thanks to powerful models and 3D simulation platforms. However, current work is not open to the public and lacks an optimisation agent that c…
A Continuous Information Gain Measure to Find the Most Discriminatory Problems for AI Benchmarking
Matthew Stephenson, Damien Anderson, Ahmed Khalifa +4
This paper introduces an information-theoretic method for selecting a subset of problems which gives the most information about a group of problem-solving algorithms. This method w…
Sequential Solutions in Machine Scheduling Games
Cong Chen, Paul Giessler, Akaki Mamageishvili +2
We consider the classical machine scheduling, where jobs need to be scheduled on machines, and where job scheduled on machine contributes to…
Fighting network space: it is time for an SQL-type language to filter phylogenetic networks
Steven Kelk, Simone Linz, David A. Morrison
The search space of rooted phylogenetic trees is vast and a major research focus of recent decades has been the development of algorithms to effectively navigate this space. Howeve…
Connectivity Structure of Systems
Remco Bras
In this paper, we consider to what degree the structure of a linear system is determined by the system's input/output behavior. The structure of a linear system is a directed graph…
Constructing minimal phylogenetic networks from softwired clusters is fixed parameter tractable
Steven Kelk, Celine Scornavacca
Here we show that, given a set of clusters C on a set of taxa X, where |X|=n, it is possible to determine in time f(k).poly(n) whether there exists a level-<= k network (i.e. a net…