research
∙
03/12/2023
ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web
Recent developments in support for constructing knowledge graphs have le...
share
research
∙
06/06/2022
Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system
We present a study into the ability of paraphrase generation methods to ...
research
∙
01/20/2022
Signature Entrenchment and Conceptual Changes in Automated Theory Repair
Human beliefs change, but so do the concepts that underpin them. The rec...
research
∙
05/10/2015
Automating change of representation for proofs in discrete mathematics
Representation determines how we can reason about a specific problem. So...
research
∙
03/27/2013
Incidence Calculus: A Mechanism for Probabilistic Reasoning
Mechanisms for the automation of uncertainty are required for expert sys...
research
∙
03/27/2013