5 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.AI2015
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…
cs.AI2013★ 2 cited
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…
cs.AI2013★ 5 cited
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…