3.8k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University College LondonGB53 papers
- University of LondonGB49 papers
- Centre National de la Recherche ScientifiqueFR17 papers
- Free University of Bozen-BolzanoIT13 papers
- University of OxfordGB13 papers
- Imperial College LondonGB10 papers
- University of LiverpoolGB10 papers
- King's College LondonGB9 papers
- Institute for Nuclear Research and Nuclear EnergyBG8 papers
- University of ManchesterGB8 papers
- Johns Hopkins University Applied Physics LaboratoryUS7 papers
- The University of SydneyAU7 papers
10 papers · 1 filter
Can counterfactual explanations of AI systems' predictions skew lay users' causal intuitions about the world? If so, can we correct for that?
Marko Tesic, Ulrike Hahn
Counterfactual (CF) explanations have been employed as one of the modes of explainability in explainable AI-both to increase the transparency of AI systems and to provide recourse.…
BARD: A structured technique for group elicitation of Bayesian networks to support analytic reasoning
Ann E. Nicholson, Kevin B. Korb, Erik P. Nyberg +13
In many complex, real-world situations, problem solving and decision making require effective reasoning about causation and uncertainty. However, human reasoning in these cases is…
The Temporal Dynamics of Belief-based Updating of Epistemic Trust: Light at the End of the Tunnel?
Momme von Sydow, Christoph Merdes, Ulrike Hahn
We start with the distinction of outcome- and belief-based Bayesian models of the sequential update of agents' beliefs and subjective reliability of sources (trust). We then focus…
Query Inseparability for ALC Ontologies
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov +2
We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering…
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
Alternating-time temporal logics (ATL/ATL*) represent a family of modal logics for reasoning about agents' strategic abilities in multiagent systems (MAS). The interpretations of A…
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Elena Botoeva, Boris Konev, Carsten Lutz +3
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for exam…
Comparing Typical Opening Move Choices Made by Humans and Chess Engines
Mark Levene, Judit Bar-Ilan
The opening book is an important component of a chess engine, and thus computer chess programmers have been developing automated methods to improve the quality of their books. For…
Evaluating Variable Length Markov Chain Models for Analysis of User Web Navigation Sessions
Jose Borges, Mark Levene
Markov models have been widely used to represent and analyse user web navigation data. In previous work we have proposed a method to dynamically extend the order of a Markov chain…
A Suffix Tree Approach to Email Filtering
Rajesh M. Pampapathi, Boris Mirkin, Mark Levene
We present an approach to email filtering based on the suffix tree data structure. A method for the scoring of emails using the suffix tree is developed and a number of scoring and…
Ranking Pages by Topology and Popularity within Web Sites
Jose Borges, Mark Levene
We compare two link analysis ranking methods of web pages in a site. The first, called Site Rank, is an adaptation of PageRank to the granularity of a web site and the second, call…