Picture for Alan Bundy

Alan Bundy

ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web

Add code
Mar 12, 2023
Viaarxiv icon

Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system

Add code
Jun 06, 2022
Figure 1 for Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system
Figure 2 for Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system
Figure 3 for Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system
Figure 4 for Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system
Viaarxiv icon

Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Add code
Jan 20, 2022
Viaarxiv icon

Automating change of representation for proofs in discrete mathematics

Add code
May 10, 2015
Figure 1 for Automating change of representation for proofs in discrete mathematics
Figure 2 for Automating change of representation for proofs in discrete mathematics
Figure 3 for Automating change of representation for proofs in discrete mathematics
Viaarxiv icon

Incidence Calculus: A Mechanism for Probabilistic Reasoning

Add code
Mar 27, 2013
Figure 1 for Incidence Calculus: A Mechanism for Probabilistic Reasoning
Viaarxiv icon

On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence

Add code
Mar 27, 2013
Viaarxiv icon