5 citations · 7 across the 6 of their papers we have counts for
6 papers
ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web
Kwabena Nuamah, Alan Bundy
Recent developments in support for constructing knowledge graphs have led to a rapid rise in their creation both on the Web and within organisations. Added to existing sources of d…
Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system
Nick Ferguson, Liane Guillou, Kwabena Nuamah +1
We present a study into the ability of paraphrase generation methods to increase the variety of natural language questions that the FRANK Question Answering system can answer. We f…
Signature Entrenchment and Conceptual Changes in Automated Theory Repair
Xue Li, Alan Bundy, Eugene Philalithis
Human beliefs change, but so do the concepts that underpin them. The recent Abduction, Belief Revision and Conceptual Change (ABC) repair system combines several methods from autom…
Automating change of representation for proofs in discrete mathematics
Daniel Raggi, Alan Bundy, Gudmund Grov +1
Representation determines how we can reason about a specific problem. Sometimes one representation helps us find a proof more easily than others. Most current automated reasoning t…
Incidence Calculus: A Mechanism for Probabilistic Reasoning
Alan Bundy
Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. A purely numeric me…
On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence
F. Correa da Silva, Alan Bundy
Incidence Calculus and Dempster-Shafer Theory of Evidence are both theories to describe agents' degrees of belief in propositions, thus being appropriate to represent uncertainty i…